Web Services and Formal Methods ; 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories inspired by developments in the field of Web services. The papers feature topics such as service-oriented analysis and design, formal approaches to enterprise modeling and business process modeling, model-driven development, testing, and analysis of Web services, Web services for business process management, security, performance and quality of Web services, Web service coordination and transactions, Web service ontologies and semantic description, goal-driven discovery and composition of Web services, complex event processing in service-oriented architectures, as well as semi-structured data management and XML technology.
Towards a Service-Based Internet ; 1st European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings
This volume includes adaption/monitoring, model driven architecture, network services, service oriented architecture, business process management, deployment/invocation, security, workflow as well as SLA/QoS.
The Practical Real-Time Enterprise : Facts and Perspectives
A guide and collection of ideas and time-proven concepts, the book highlight ways on how to accelerate a company, boost competitiveness, increase attractiveness for the customers and ultimately work more economically. Speed as a factor for success Our modern industrial society lives life in the fast lane. The catchwords “faster”, “shorter”, “more powerful” reflect what we experience in almost all aspects of our lives. Whether at home or at work, we are constantly on the move and in a rush. In our private lives we find rapid exchange of inf- mation most entertaining and we are fascinated by the wide range of inf- mation that pours in on us from all around the world, mainly via the new media. It gives us the feeling of being a part of the action everywhere and all the time. Seldom are we aware that the only reason this flood of inf- mation, often referred to as “overstimulation”
Technologies for Business Information Systems
Technologies for Business Information Systems The material collected in this book covers a broad range of applications of c- puter science methods and algorithms in business practice. It presents a research cutting edge in development, implementation, and improvement of computer s- tems. We publish this book with intention that it helps to establish strong foun- tions for further development of research in this area and support people involved in business computer applications, those implementing computer technology in industry. The computer science and information systems topics covered in the book include data warehouses, ERP, XML, ontologies, rule languages, Web s- vices.
Successfully Implementing Microsoft Dynamics™ : By Using the Regatta® Approach for Microsoft Dynamics™
Does the implementation of Microsoft Dynamics™ contribute to the goals of your company? Does your company itself have the capacity to build a bridge between the Business and IT? Can your employees adopt a flexible attitude on all the related changes ? And, probably even more important, is that what they are also willing to do If you are striving for a full-hearted yes to these questions, this is the book for you. In this book, we answer the questions mentioned above and describe pragmatically the full implementation process from A to Z. Emphasis is placed on the organizational component of the implementation process and the cohesion with functional and technical processes.
Strategies and Trends in Organizational and Project Management
Presents a comprehensive analysis of the problems of adaptation of traditional and new methods of operational and project management, development of technologies for business process and supply chain management, development trends in financial economy discussed both on a global scale and in the context of sustainable socio-economic development at the meso-level of regions and industries, which not only reveals the nature of the ongoing processes, but also demonstrates their specifics in industry, agriculture, service industry in Russia, CIS countries, Europe, and China.
Smart Business Networks
A number of scientists - from management and strategy, information systems, engineering and telecommunications - gathered at the Vanenburg castle in the Netherlands to discuss a novel concept: Smart Business Networks. They see the future as a developing web of people, organisations and IT/networking infrastructures, bound together in dynamic, unpredictable ways, creating smart outcomes from quickly (re-)configuring links between actors. They posed the question: What should be done to make the outcomes of such a network 'smart' that is just a little better than that of your competitor? More agile, with less pain, with more return to all the members of the network, now and over time? The answer was that we observe the emergence of "business operating systems" that run business processes on different organisational platforms while sharing elements of their infrastructures. Business processes become portable: The end-to-end management of different processes running across different organisations in many different forms becomes possible, while leaving to each actor the ultimate power of choosing its partners in different constellations. This book presents the outcomes of an energizing discussion of this emerging new direction in management science.
S-BPM in the Wild : Practical Value Creation
Presents field studies on the application of subject-oriented business process management (S-BPM). Each case presents a specific story and focuses on an essential modeling or implementation issue, and most end with implications or suggestions for further studies. Significant variables and success factors are identified that were discovered during the respective study and lead to suggesting S-BPM novelties. For each case, the authors explain step-by-step how the story develops, and provide readers guidance by detailing the respective rationale.
S-BPM in the Production Industry : A Stakeholder Approach
This volume presents several case studies highlighting the latest findings in Industry 4.0 projects utilizing S-BPM features. Their potential is explored in detail, while the limits of engineering a company from a communication-centred perspective are also discussed.
Research and Practical Issues of Enterprise Information Systems II Vol. 1 ; IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China
This book includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction.
Product lifecycle management ; Vol.1 : 21st Century paradigm for product realisation ; 5th ed.
Describes the relationships of PLM with the Internet of Things, Industry 4.0, Digital Twins and Digital Threads. “Product Lifecycle Management” (5th edition) explains what PLM is, and why it is needed. It describes the environment in which products are ideated, developed, manufactured, supported and retired, before addressing the main components of PLM and PLM Initiatives. Key activities in PLM Initiatives described include organisational change management (OCM) and project management. The final part of the book addresses the PLM Initiative, showing the typical steps and activities of a PLM project or initiative.
Process Mining Workshops ; ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31 – November 4, 2021, Revised Selected Papers
This open access book constitutes revised selected papers from the International Workshops held at the Third International Conference on Process Mining, ICPM 2021, which took place in Eindhoven, The Netherlands, during October 31–November 4, 2021. The conference focuses on the area of process mining research and practice, including theory, algorithmic challenges, and applications. The co-located workshops provided a forum for novel research ideas.
Process Mining Handbook
Comprises all the single courses given as part of the First Summer School on Process Mining, PMSS 2022, which was held in Aachen, Germany, during July 4-8, 2022. The 17 chapters presented in this volume were organized in the following topical sections: introduction; process discovery; conformance checking; data preprocessing; process enhancement and monitoring; assorted process mining topics; industrial perspective and applications; and closing.
Organizational Models for Industry 4.0 : Lean, Agile and Service-Oriented Organizations
Shows which digital manufacturing innovations, lean practices, and services contribute to leanness-related performance capabilities like quality and costs; agility-related capabilities like fast delivery, flexibility and innovation; and service-oriented capabilities like high service performance and digitalization. In addition, it explores the question of whether lean, agile, and service-oriented performance capabilities contribute to financial performance separately or jointly.
On the move to meaningful internet systems 2007 : CoopIS, DOA, ODBASE, GADA, and IS ; OTM Confederated International Conferences, CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II
This two-volume set LNCS 4803/4804 constitutes the refereed proceedings of the five confederated international conferences on Cooperative Information Systems (CoopIS 2007), Distributed Objects and Applications (DOA 2007), Ontologies, Databases and Applications of Semantics (ODBASE 2007), Grid computing, high performance and Distributed Applications (GADA 2007), and Information Security (IS 2007) held as OTM 2007 in Vilamoura, Portugal, in November 2007.
On the move to meaningful internet systems 2007 : CoopIS, DOA, ODBASE, GADA, and IS ; OTM Confederated International Conferences, CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I
Constitutes the proceedings of the 5 confederated international conferences on Cooperative Information Systems, Distributed Objects and Applications, Ontologies, Databases and Applications of Semantics, Grid computing, high performance and Distributed Applications, and Information Security held as OTM 2007 in Vilamoura, Portugal, in November 2007.
On the Move to Meaningful Internet Systems : OTM 2008 ; OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part II
This two-volume set LNCS 5331/5332 constitutes the refereed proceedings of the five confederated international conferences on Cooperative Information Systems (CoopIS 2008), Distributed Objects and Applications (DOA 2008), Grid computing, high performAnce and Distributed Applications (GADA 2008), Information Security (IS 2008), and Ontologies, Databases and Applications of Semantics (ODBASE 2008), held as OTM 2008 in Monterrey, Mexico, in November 2008.
Obstructions in Security-Aware Business Processes : Analysis, Detection, and Handling
This book explores the dilemma-like stalemate between security and regulatory compliance in business processes on the one hand and business continuity and governance on the other. The growing number of regulations, e.g., on information security, data protection, or privacy, implemented in increasingly digitized businesses can have an obstructive effect on the automated execution of business processes. Such security-related obstructions can particularly occur when an access control-based implementation of regulations blocks the execution of business processes. By handling obstructions, security in business processes is supposed to be improved. For this, the book presents a framework that allows the comprehensive analysis, detection, and handling of obstructions in a security-sensitive way. Thereby, methods based on common organizational security policies, process models, and logs are proposed. The Petri net-based modeling and related semantic and language-based research, as well as the analysis of event data and machine learning methods finally lead to the development of algorithms and experiments that can detect and resolve obstructions and are reproducible with the provided software.
Internal Crowdsourcing in Companies : Theoretical Foundations and Practical Applications
This book examines the implications of internal crowdsourcing (IC) in companies. Presenting an employee-oriented, cross-sector reference model for good IC practice, it discusses the core theoretical foundations, and offers guidelines for process-management and blueprints for the implementation of IC. Furthermore, it examines solutions for employee training and competence development based on crowdsourcing.
Information systems and e-business technologies ; 2nd International United Information Systems Conference UNISCON 2008 Klagenfurt, Austria, April 22–25, 2008 Proceedings
This book constitutes the refereed proceedings of UNISCON 2008 held in Klagenfurt, Austria, during April 22-25, 2008.UNISCON combines the ECOMO workshop series and the ISTA conference series. The 19 papers dealing with conceptual modeling, model-driven software development and information systems applications represent a 30% selection from the original set of submissions.



















