Mathias Weske Bücher

The book provides a comprehensive exploration of the business process lifecycle, encompassing modeling, enactment, and evaluation. It begins with foundational concepts in business process management before delving into process modeling languages and choreographies. The author discusses formal properties of processes and data, and concludes with an examination of various business process management architectures, including workflow management systems and service-oriented architectures, as well as innovative data-driven approaches.

This book constitutes the refereed proceedings of the 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts and Applications for a Networked World, Net. Object Days 2004, held in Erfurt, Germany, in September 2004. The 15 revised full papers presented togehter with an invited paper were carefully reviewed and selected from inclusion in the book. The papers are organised in topical sections on languages and models, agents and the semantic Web, supporting software processes, software porducti lines, and case studies and visions

This textbook introduces the fundamentals of modeling and analyzing discrete dynamic systems, including computer programs, hardware systems, and business processes. It covers essential concepts and concrete modeling techniques such as finite automata, state machines, and Petri nets, with a strong emphasis on business processes. The book is structured in three parts. The first part lays the groundwork for behavioral modeling, presenting transition systems as a formalism for representing discrete dynamic system behavior and discussing causality, a key concept for modeling and reasoning about behavior. Part II, the core of the book, focuses on behavior models, detailing sequential and concurrent systems, and introducing finite automata, state machines, and various types of Petri nets. A dedicated chapter discusses business process models, workflow patterns, and BPMN, the industry standard for business process modeling. Finally, Part III explores system behavior analysis, introducing state spaces and covering behavior comparison, as well as formal analysis and verification of behavioral models. This book is designed for computer science and software engineering students, as well as programmers and system analysts interested in understanding system behavior, guiding readers from basic concepts to advanced modeling and analysis techniques applicable to real-world scenarios.