Workflow Control Flow Patterns

Verification of Workflow Control-flow Patterns with the SPIN Model Checker

Process-Aware Information Systems

A unifying foundation to design and implement process-aware information systems This publication takes on the formidable task of establishing a unifying foundation and set of common underlying principles to effectively model, design, and implement process-aware information systems. Authored by leading authorities and pioneers in the field, Process-Aware Information Systems helps readers gain a thorough understanding of major concepts, languages, and techniques for building process-aware applications, including: * UML and EPCs: two of the most widely used notations for business process modeling * Concrete techniques for process design and analysis * Process execution standards: WfMC and BPEL * Representative commercial tools: ARIS, TIBCO Staffware, and FLOWer Each chapter begins with a description of the problem domain and then progressively unveils relevant concepts and techniques. Examples and illustrations are used extensively to clarify and simplify complex material. Each chapter ends with a set of exercises, ranging from simple questions to thought-provoking assignments. Sample solutions for many of the exercises are available on the companion Web site. Armed with a new and deeper understanding, readers are better positioned to make their own contributions to the field and evaluate various approaches to a particular task or problem. This publication is recommended as a textbook for graduate and advanced undergraduate students in computer science and information systems, as well as for professionals involved in workflow and business process management, groupware and teamwork, enterprise application integration, and business-to-business integration. A Solution's Manual is available online. An Instructor Support FTP site is also available.

Enterprise Interoperability

This book constitutes the proceedings of the Fourth International IFIP Working Conference on Enterprise Interoperability (IWEI 2012) , held in Harbin, China, September 6-7, 2012. The theme for IWEI 2012 was “Collaboration, Interoperability and Services for Networked Enterprises”, so submissions and discussions focused on these three areas critical for enterprise interoperability. The 10 full papers, 3 short papers, and 4 invited papers presented in this volume were carefully selected from 21 submissions, following a thorough reviewing process, during which each paper was scrutinized by at least three experts in the field. The papers cover a wide spectrum of enterprise interoperability issues, ranging from foundational theories, frameworks, architectures, methods and guidelines to applications, and case studies. In addition, this volume also includes the two invited keynotes. The 10 full papers, 3 short papers, and 4 invited papers presented in this volume were carefully selected from 21 submissions, following a thorough reviewing process, during which each paper was scrutinized by at least three experts in the field. The papers cover a wide spectrum of enterprise interoperability issues, ranging from foundational theories, frameworks, architectures, methods and guidelines to applications, and case studies. In addition, this volume also includes the two invited keynotes.