Business process management

More about the book

The content covers various aspects of enterprise business process management, including architecture, technology, and standards. It discusses tools like BizTalk Server and Windows Workflow Foundation, and delves into monitoring and mining techniques for collaborative business processes. The text explores service composition, emphasizing the importance of adaptation and automation, and presents methodologies for structured service composition while isolating process-level concerns. Investigations into process models and languages reveal insights on process equivalence and soundness, particularly regarding lazy activities and BPMN's suitability for modeling. Dynamic process management and semantic correctness in adaptive systems are also addressed, alongside frameworks for developing horizontal protocols in open BPM systems. The annotation includes proposals for integrating business processes, enhancing BPM tools, and introducing case management. It highlights experiences in IT support for release management in the automotive industry and presents methods for verifying workflows, optimizing exception handling, and managing process variants. Additionally, it discusses verification of BPEL workflows under authorization constraints and the generation of compatible WS-BPEL partner processes. The content concludes with a focus on behavioral techniques for workflow abstraction and matching, alongside formal verification of web se