Mathias Weske - Böcker

This book constitutes the proceedings of the BPM 2025 Responsible BPM Forum, Process Technology Forum, and Educators Forum held at the 23rd International Conference on Business Process Management, BPM 2025, which took place in Seville, Spain, during August/September 2025.

This textbook introduces the basis for modelling and analysing discrete dynamic systems, such as computer programmes, soft- and hardware systems, and business processes. The underlying concepts are introduced and concrete modelling techniques are described, such as finite automata, state machines, and Petri nets. The concepts are related to concrete application scenarios, among which business processes play a prominent role. The book consists of three parts, the first of which addresses the foundations of behavioural modelling. After a general introduction to modelling, it introduces transition systems as a basic formalism for representing the behaviour of discrete dynamic systems. This section also discusses causality, a fundamental concept for modelling and reasoning about behaviour. In turn, Part II forms the heart of the book and is devoted to models of behaviour. It details both sequential and concurrent systems and introduces finite automata, state machinesand several different types of Petri nets. One chapter is especially devoted to business process models, workflow patterns and BPMN, the industry standard for modelling business processes. Lastly, Part III investigates how the behaviour of systems can be analysed. To this end, it introduces readers to the concept of state spaces. Further chapters cover the comparison of behaviour and the formal analysis and verification of behavioural models.The book was written for students of computer science and software engineering, as well as for programmers and system analysts interested in the behaviour of the systems they work on. It takes readers on a journey from the fundamentals of behavioural modelling to advanced techniques for modelling and analysing sequential and concurrent systems, and thus provides them a deep understanding of the concepts and techniques introduced and how they can be applied to concrete application scenarios.

This textbook introduces the basis for modelling and analysing discrete dynamic systems, such as computer programmes, soft- and hardware systems, and business processes.

This book constitutes the proceedings of the 16th International Conference on Business Process Management, BPM 2018, held in Sydney, Australia, in September 2018.The 27 papers presented in this volume were carefully reviewed and selected from 140 submissions. They were organized in topical sections named: reflections on BPM; concepts and methods in business process modeling and analysis; foundations of process discovery; alignments and conformance checking; process model analysis and machine learning; digital process innovation; and method analysis and selection.

This book constitutes the proceedings of the BPM Forum held during the 16th International Conference on Business Process Management, BPM 2018, which took place in Sydney, Australia, in September 2018. The BPM Forum hosts innovative research which has a high potential of stimulating discussions.

This book constitutes the refereed proceedings of the second International Conference on Business Process Management, BPM 2004, held in Potsdam, Germany in June 2004.The 19 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on business process modeling, formal models in business process management miscellaneous, analysis and verification of business processes, process mining, and workflow management.

Based on the Net.ObjectDays tradition of bringing together researchers from academia and industry on the one hand and system architects, developers, and users fromindustry andadministrationon the other hand, this year'sconference took an international research perspective, so that we see the ?rst volume of Net.ObjectDays main conference proceedings published in the Springer Lecture Notes in Computer Science series. This volume consists of 16 papers carefully selected in a rigorous reviewing process by an international program committee; to provide a concise overview, these papers are brie?y described. In the Languages and Models session, Beate Ritterbach proposes a new l- guage element for object-oriented programming languages that supports ar- trary value types. In her contribution Support for Value Types in an Object- OrientedProgramming Language shedescribesthecorrespondingkeywords,s- tax, and consistency checks, thereby giving an impression of the look and feel of value types from an application programmer's perspective. Walter Binder and Jarle Hulaas look at portable CPU accounting and control in Java, which is based on program transformation techniques.In their paper Self-accounting as Principle for Portable CPU Control in Java periodically the threads of an application component aggregate the information of their respective CPU c- sumption within a shared account; scheduling functions make sure applications do not exceed their allowed CPU share.

The 21st century is increasingly shaped by the expansion of software applications and digital networking. This book analyzes the dynamics and impacts of software development and discusses new institutional and economic changes in the context of digital market economies. Regulatory approaches in OECD countries are compared and country studies evaluated with respect to innovation and welfare aspects. The book furthermore examines telecommunications regulation of fixed line networks, cable TV and mobile communications. There is also focus on the role of EU framework regulation and issues of market power as well as Schumpeterian dynamics.

The refereed proceedings of the International Conference on Business Process Management, BPM 2003, held in Eindhoven, The Netherlands, in June 2003. The 25 revised full papers presented together with an introductory survey article were carefully reviewed and selected from 77 submissions. Among the issues addressed are Web services, workflow modeling, business process modeling, collaborative computing, computer-supported collaborative work, workflow patterns, business process engineering, business process patterns, workflow systems, Petri nets, process services, business process reengineering, and business process management tools.

This book constitutes the joint refereed proceedings of six workshops held in conjunction with the 8th International Conference on Web Information Systems Engineering, WISE 2007 in Nancy, France, in December 2007. The 44 revised full papers presented were carefully reviewed and selected from numerous submissions for presentation in the six workshops. The workshops discuss a broad range of subjects.

Service-oriented computing has recently gained extensive momentum in both industry and academia, and major software vendors hook on to the service paradigm and tailor their software systems towards services in order to accommodate ever-changing process and product requirements in today’s dynamic market environments. While dynamic binding of services at runtime was identified as a core functionality of service-based environments as far back as 2000, its industrial-strength implementation has yet to be achieved. The main reason for this is the lack of rich service specifications, concepts, and tools to process them.This book introduces advanced concepts in service provisioning and service engineering, including semantic concepts, dynamic discovery and composition, and illustrates them in a concrete business use case scenario. To prove the validity of the concepts and technologies, a semantic service provisioning reference architecture framework as well as a prototypical implementation of its subsystems and a prototypical realization of a proper business scenario are presented. Thus the book goes way beyond current service-based software technologies by providing a coherent and consistent set of technologies and systems functionality that realizes advanced concepts in service provisioning.Both the use case scenario and the provisioning platform have already been substantiated and implemented by the EU-funded Adaptive Services Grid project. The book therefore presents state-of-the-art research results that have already passed a real industrial implementation evaluation which is based on the work of over 20 European partners cooperating in the field of semantic service provisioning.

The 21st century is increasingly shaped by the expansion of software applications and digital networking. This book analyzes the dynamics and impacts of software development and discusses new institutional and economic changes in the context of digital market economies. Regulatory approaches in OECD countries are compared and country studies evaluated with respect to innovation and welfare aspects. The book furthermore examines telecommunications regulation of fixed line networks, cable TV and mobile communications. There is also focus on the role of EU framework regulation and issues of market power as well as Schumpeterian dynamics.

Service-oriented computing has recently gained extensive momentum in both industry and academia, and major software vendors hook on to the service paradigm and tailor their software systems towards services in order to accommodate ever-changing process and product requirements in today’s dynamic market environments. While dynamic binding of services at runtime was identified as a core functionality of service-based environments as far back as 2000, its industrial-strength implementation has yet to be achieved. The main reason for this is the lack of rich service specifications, concepts, and tools to process them.This book introduces advanced concepts in service provisioning and service engineering, including semantic concepts, dynamic discovery and composition, and illustrates them in a concrete business use case scenario. To prove the validity of the concepts and technologies, a semantic service provisioning reference architecture framework as well as a prototypical implementation of its subsystems and a prototypical realization of a proper business scenario are presented. Thus the book goes way beyond current service-based software technologies by providing a coherent and consistent set of technologies and systems functionality that realizes advanced concepts in service provisioning.Both the use case scenario and the provisioning platform have already been substantiated and implemented by the EU-funded Adaptive Services Grid project. The book therefore presents state-of-the-art research results that have already passed a real industrial implementation evaluation which is based on the work of over 20 European partners cooperating in the field of semantic service provisioning.

TheBPMN2010workshopseriesprovidesa forumfor academicsandpractiti- ers that share an interest in business process modeling using Business Process Modeling Notation (BPMN) which has seen a huge uptake in both academia and industry. It is seen by many as the de facto standard for business process modeling.Ithasbecomeverypopularwithbusiness analysts,toolvendors,pr- titioners, and end users. BPMN promises to bridge business and IT, and brings process design and implementation closer together. BPMN 2010 was the second workshop of the series. It took place October 13–14, 2010 at the Hasso Plattner Institute at the University of Potsdam, Germany. This volume contains six contributed research papers that were - lected from 16 submissions. There was a thorough reviewing process, with each paper being reviewed by, on average, four Program Committee members. In addition to the contributed papers, these proceedings contain three short - pers and three extended abstracts of the invited keynote talks. In conjunction with the scienti?c workshop, a practitioners’ event took place the day after the workshop. We want to express our gratitude to all those who made BPMN 2010 pos- ble by generously and voluntarily sharing their knowledge, skills, and time. In particular, we thank the ProgramCommittee members as well as the additional reviewers for devoting their expertise and time to ensure the high quality of the workshop’s scienti?c program through an extensive review process. Finally, we are grateful to all the authors who showed their appreciation and support for the workshop by submitting their valuable work to it.

In its updated 2nd edition, this book details the complete business process lifecycle from modeling to process enactment and improvement, taking all stakeholders into account. Includes management architectures and such standards as WfMC, SOAP, WSDL and BPEL.

In this book, Mathias Weske details the complete business process lifecycle from process modeling to process enactment and process evaluation.