Business Process Management: 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings

Front Matter....Pages -
Business Process Management: Today and Tomorrow....Pages 1-1
Understanding and Impacting the Practice of Business Process Management....Pages 2-2
The Future of BPM: Flying with the Eagles or Scratching with the Chickens?....Pages 3-3
Applying Patterns during Business Process Modeling....Pages 4-19
Modularity in Process Models: Review and Effects....Pages 20-35
Model Driven Business Transformation – An Experience Report....Pages 36-50
Supporting Flexible Processes through Recommendations Based on History....Pages 51-66
Visual Support for Work Assignment in Process-Aware Information Systems....Pages 67-83
From Personal Task Management to End-User Driven Business Process Modeling....Pages 84-99
The Refined Process Structure Tree....Pages 100-115
Covering Places and Transitions in Open Nets....Pages 116-131
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance....Pages 132-147
Predicting Coupling of Object-Centric Business Process Implementations....Pages 148-163
Instantiation Semantics for Process Models....Pages 164-179
A Probabilistic Strategy for Setting Temporal Constraints in Scientific Workflows....Pages 180-195
Workflow Simulation for Operational Decision Support Using Design, Historic and State Information....Pages 196-211
Analyzing Business Continuity through a Multi-layers Model....Pages 212-227
Resource Allocation vs. Business Process Improvement: How They Impact on Each Other....Pages 228-243
Detecting and Resolving Process Model Differences in the Absence of a Change Log....Pages 244-260
Diagnosing Differences between Business Process Models....Pages 261-277
BPEL for REST....Pages 278-293
Scaling Choreography Modelling for B2B Value-Chain Analysis....Pages 294-309
Evaluation of OrViA Framework for Model-Driven SOA Implementations: An Industrial Case Study....Pages 310-325
Efficient Compliance Checking Using BPMN-Q and Temporal Logic....Pages 326-341
Automatic Extraction of Process Control Flow from I/O Operations....Pages 342-357
A Region-Based Algorithm for Discovering Petri Nets from Event Logs....Pages 358-373
BESERIAL: Behavioural Service Interface Analyser....Pages 374-377
Business Transformation Workbench: A Practitioner’s Tool for Business Transformation....Pages 378-381
Oryx – An Open Modeling Platform for the BPM Community....Pages 382-385
Transforming BPMN Diagrams into YAWL Nets....Pages 386-389
Goal-Oriented Autonomic Business Process Modeling and Execution: Engineering Change Management Demonstration....Pages 390-393
COREPRO Sim : A Tool for Modeling, Simulating and Adapting Data-Driven Process Structures....Pages 394-397
Back Matter....Pages -