业务流程管理/会议录LNCS-4102: Business process management

This book constitutes the refereed proceedings of the 4th International Conference on Business Process Management, BPM 2006, held in Vienna, Austria in September 2006.
　　The 20 revised full papers, 5 industrial papers, and 15 short papers presented together with an invited paper and the abstract of an invited talk were carefully reviewed and selected from 138 submissions. The papers are organized in topical sections on monitoring and mining, service composition, process models and languages, dynamic process management, Web service composition, and applied business process management.

The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science research forum available.
The scope of LNCS，including its subseries LNAI，spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes.
—proceedings （published in time for the respective conference）
—post-proceedings （consisting of thoroughly revised final full papers）
—research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.）.

Invited Talks
　Enterprise Business Process Management - Architecture, Technology　and Standards
BizTalk Server, Windows Workflow Foundation, and BPM
Monitoring and Mining
　Analyzing Interacting BPEL Processes
　Tracking over Collaborative Business Processes
　Beyond Workflow Mining
Service Composition
　Adapt or Perish: Algebra and Visual Notation for Service Interface　Adaptation
　Automated Service Composition Using Heuristic Search
　Structured Service Composition
　Isolating Process-Level Concerns Using Padus
Process Models and Languages
　Process Equivalence: Comparing Two Process Models Based on Observed Behavior
　Investigations on Soundness Regarding Lazy Activities
　On the Suitability of BPMN for Business Process Modelling
　Workflow Model Compositions Preserving Relaxed Soundness
Dynamic Process Management
　Semantic Correctness in Adaptive Process Management Systems
　A Framework for the Development and Execution of Horizontal　Protocols in Open BPM Systems
　History-Based Joins: Semantics, Soundness and Implementation
　On Representing, Purging, and Utilizing Change Logs in Process　Management Systems
Service Composition
　Towards Formal Verification of Web Service Composition
　E-Service/Process Composition Through Multi-Agent Constraint　Management
……
Applied BPM
Indusrial Papers
Short Papers
Author Index