Accepted Papers

Stefan Fenz, Andreas Ekelhart and Thomas Neubauer 
Process-based Resource Importance Determination

Diogo Ferreira and Daniel Gillblad
Discovering Process Models from Unlabelled Event Logs

Remco Dijkman, Marlon Dumas and Luciano García-Bañuelos
Graph Matching Algorithms for Business Process Model Similarity Search

Thomas Heinze, Wolfram Amme and Simon Moser
A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs

Chen Li, Manfred Reichert and Andreas Wombacher
Discovering Reference Models by Mining Process Variants Using a Heuristic Approach

Carlo Combi and Roberto Posenato
Controllability in Temporal Conceptual Workflow Schemata

Josep Carmona, Jordi Cortadella and Michael Kishinevsky
Divide-and-Conquer Strategies for Process Mining

Marcio Oikawa, João Ferreira, Simon Malkowski and Calton Pu
Towards Algoritmic Generation of Business Processes: From Business Steps Dependencies to Process Algebra Expressions

Mathias Fritzsche, Michael Picht, Wasif Gilani, Ivor Spence, John Brown and Peter Kilpatrick
Extending BPM Environments of your choice with performance related Decision Support

Irfan Ul Haq, Altaf Ahmad Huqqani and Erich Schikuta
Aggregating Hierarchical Service Level Agreements in Business Value Networks

Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer and Karsten Wolf
Instantaneous Soundness Checking of Industrial Business Process Models

Artem Polyvyanyy, Sergey Smirnov and Mathias Weske
The Triconnected Abstraction of Process Models

Michael Rohloff
Case Study and Maturity Model for Business Process Management Implementation

Jagadeesh Chandra Bose Rantham Prabhakara and Wil van der Aalst
Abstractions in Process Mining: A Taxonomy of Patterns

Karsten Wolf and Kathrin Kaschner
Set Algebra for Service Behavior: Constructions and Applications

Yurdaer Doganata and Francisco Curbera
Effect of Using Automated Auditing Tools on Detecting Compliance Failures in Unmanaged Processes

Kais Klai, Samir Tata and Jörg Desel
Symbolic Abstraction and Deadlock Freeness Verification of Inter-Enterprise Processes

John Vergo
Artifact-based Transformation of IBM Global Financing, A Case Study

Oliver Holschke, Jannis Rake and Olga Levina
Granularity as a Cognitive Factor in the Effectiveness of Business Process Model Reuse