Marlon Dumas Boeken

This book constitutes the refereed proceedings of the 6th International Conference on Business Process Management, BPM 2008, held in Milan, Italy, in September 2008. The volume contains 20 revised full research papers and 3 industrial papers carefully reviewed and selected from 154 submissions, as well as 8 prototype demonstration papers selected out of 15 demo submissions. In addition three invited keynote papers are presented. The conference has a record of attracting innovative research of the highest quality related to all aspects of BPM, including theory, frameworks, methods, techniques, architectures, standards, and empirical findings.

This volume presents papers from WS-FM 2007, the 4th International Workshop on Web Services and Formal Methods, held on September 28-29, 2007, in Brisbane, Australia. Web service technology empowers service providers to package and deliver services through software applications on the Web. Current infrastructures allow providers to describe services in terms of structure, access policy, and behavior, facilitating service location, interaction, and the bundling of simpler services into complex ones. However, innovations are essential to address challenges like managing interactions with stateful and long-running services, handling large numbers of services with multiple interfaces and versions, and ensuring the quality of service delivery. Formal methods are crucial in advancing Web service technology. They aid in defining and understanding the semantics of languages and protocols that support existing infrastructures and identifying missing features. Additionally, formal methods provide a framework for reasoning about service behavior, enabling the discovery of individual services that meet specific goals or the composition of multiple services to achieve collective objectives. Furthermore, formal analysis of security properties and performance is vital in various Web service applications, including e-commerce and e-business.

Business Process Management (BPM) focuses on how work should be performed within an organization to ensure consistent outputs and capitalize on improvement opportunities, such as reducing costs and error rates. BPM emphasizes managing entire chains of events, activities, and decisions that create value for both the organization and its customers, rather than just enhancing individual tasks. This textbook covers the complete BPM lifecycle, including process identification, modeling, analysis, redesign, and automation. It integrates concepts, methods, and tools from business management, computer science, and industrial engineering into a comprehensive approach. The BPMN industry standard, endorsed by practitioners and vendors, is used for illustration. Alongside the conceptual background, the book offers numerous examples, over 100 hands-on exercises (many with solutions), and suggestions for further reading. Drawing from years of teaching experience at both undergraduate and graduate levels, the textbook is designed for students and professionals in business management and computer science, featuring a step-by-step style that emphasizes fundamental concepts and proven methods. Lecturers will find the class-tested format and additional resources on the accompanying website beneficial.

This book constitutes the revised papers of the ten international workshops that were held at BPM 2016, the 14 th International Conference on Business Process Management, held in Rio de Janeiro, Brazil, in September 2016.The 36 papers included in this volume were carefully reviewed and selected from a total of 64 submissions. They are from the following BPI 2016 – 12th International Workshop on Business Process Intelligence; BPMO 2016 – 1st Workshop on Workshop on Business Process Management and Ontologies; BPMS2 2016 – 9th Workshop on Social and Human Aspects of Business Process Management; DeMiMoP 2016 – 4th International Workshop on Decision Mining & Modeling for Business Processes; IWPE 2016 – 2nd International Workshop on Process Engineering; PQ 2016 – 1st International Workshop on Process Querying; ReMa 2016 – 1st Workshop on Resource Management in Business Processes; PRAISE 2016 – 1st International Workshop on Runtime Analysis of Process-Aware Information Systems; SABPM 2016 – 1st International Workshop on Sustainability-Aware Business Process Management; TAProViz 2016 – 5th International Workshop on Theory and Application of Visualizations and Human-centric Aspects in Processes.

Dieses Lehrbuch behandelt den gesamten Lebenszyklus des Geschäftsprozessmanagements (BPM) und bietet einen interdisziplinären Ansatz mit Konzepten, Methoden und Werkzeugen aus Betriebswirtschaft, Informatik und Ingenieurwissenschaften. Es enthält zahlreiche Beispiele, Übungen und aktuelle Themen wie Prozess-Mining und Automatisierung.