Business Process Management: 3rd International Conference, Bpm 2005, Nancy, France, September 5-8, 2005, Proceedings (Paperback, 2005)

Research Papers.- Modeling and Analysis of Mobile Service Processes by Example of the Housing Industry.- An Organisational Perspective on Collaborative Business Processes.- Mining Hierarchies of Models: From Abstract Views to Concrete Specifications.- Flexible Business Process Management Using Forward Stepping and Alternative Paths.- Semi-automatic Generation of Web Services and BPEL Processes - A Model-Driven Approach.- A Human-Oriented Tuning of Workflow Management Systems.- The Price of Coordination in Resource Management.- sPAC (Web Services Performance Analysis Center): Performance Analysis and Estimation Tool of Web Services.- Specifying Web Workflow Services for Finding Partners in the Context of Loose Inter-organizational Workflow.- An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis.- Using the ?-Calculus for Formalizing Workflow Patterns.- Mining Workflow Recovery from Event Based Logs.- Behavior Based Integration of Composite Business Processes.- Visualization Support for Managing Large Business Process Specifications.- Transforming BPEL to Petri Nets.- Event-Based Coordination of Process-Oriented Composite Applications.- Integrating Process Learning and Process Evolution - A Semantics Based Approach.- An Analysis and Taxonomy of Unstructured Workflows.- A Framework for Document-Driven Workflow Systems.- Service Interaction Patterns.- Industrial Papers.- Modeling and Assessment of Production Printing Workflows Using Petri Nets.- Process Management in Health Care: A System for Preventing Risks and Medical Errors.- A Pathway for Process Improvement Activities in a Production Environment: A Case Study in a Rework Department.- IT Support for Healthcare Processes.- From RosettaNet PIPs to BPEL Processes: A Three Level Approach for Business Protocols.- Short Papers.- Using Software Quality Characteristics to Measure Business Process Quality.- Business Process Modelling and Improvement Using TAD Methodology.- On the Suitability of Correctness Criteria for Business Process Models.- Service Retrieval Based on Behavioral Specifications and Quality Requirements.- On the Semantics of EPCs: Efficient Calculation and Simulation.- Towards Integrating Business Policies with Business Processes.- A Contract Layered Architecture for Regulating Cross-Organisational Business Processes.- An Effective Content Management Methodology for Business Process Management.- Specification and Management of Policies in Service Oriented Business Collaboration.- Yet Another Event-Driven Process Chain.- Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective.- Overview of Transactional Patterns: Combining Workflow Flexibility and Transactional Reliability for Composite Web Services.- Accelerated Enterprise Process Modeling Through a Formalized Functional Typology.- Introducing Business Process into Legacy Information Systems.- Spheres of Isolation: Adaptation of Isolation Levels to Transactional Workflow.- Verification of SAP Reference Models.