Abstract is missing.
- Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT SolvingThomas S. Heinze, Wolfram Amme, Simon Moser. 1-8 [doi]
- Consolidation of Interacting BPEL Process Models with Fault HandlersSebastian Wagner, Oliver Kopp, Frank Leymann. 9-16 [doi]
- Business Process Mining for Collaborative Service-Oriented Systems - "Duality" of Process Representations and the Need for Statistical TreatmentJörg Becker, Dominic Breuker. 17-19 [doi]
- Improving Process Monitoring and Progress Prediction with Data State Transition EventsNico Herzberg, Andreas Meyer 0001. 20-23 [doi]
- Improving Portability of Cloud Service Topology Models Relying on Script-Based DeploymentJohannes Wettinger, Oliver Kopp, Frank Leymann. 24-27 [doi]
- Towards Integrating TOSCA and ITILChristoph Demont, Uwe Breitenbücher, Oliver Kopp, Frank Leymann, Johannes Wettinger. 28-31 [doi]
- Fast Soundness Verification of Workflow GraphsThomas Prinz. 32-40 [doi]
- Detecting Interoperability and Correctness Issues in BPMN 2.0 Process ModelsMatthias Geiger, Guido Wirtz. 41-44 [doi]
- A new approach for WS-Policy Intersection using Partial Ordered SetsAbeer Elsafie, Christian Mainka, Jörg Schwenk. 45-48 [doi]
- Goal-Oriented Enterprise Architecture AnalysisEvellin Cardoso. 49-57 [doi]