Business Process Management 2011: Clermont-Ferrand, France

Keynotes

• David Harel:
  Some Thoughts on Behavioral Programming. 1
  
• Sandy Kemsley:
  The Changing Nature of Work: From Structured to Unstructured, from Controlled to Social. 2
  
• Elio Damaggio, Alin Deutsch, Richard Hull, Victor Vianu:
  Automatic Verification of Data-Centric Business Processes. 3-16
  

Industrial Track

• Christian Janiesch, Martin Matzner, Oliver Müller:
  A Blueprint for Event-Driven Business Activity Management. 17-28
  
• Lav R. Varshney, Daniel Oppenheim:
  On Cross-Enterprise Collaboration. 29-37
  
• Koki Kato, Tsuyoshi Kanai, Sanya Uehara:
  Source Code Partitioning Using Process Mining. 38-49
  
• Hamid R. Motahari Nezhad, Claudio Bartolini:
  Next Best Step and Expert Recommendation for Collaborative Processes in IT Service Management. 50-61
  
• Heiko Ludwig, Yolanda Rankin, Robert Enyedi, Laura C. Anderson:
  Process Variation Analysis Using Empirical Methods: A Case Study. 62-65
  

Research Track

• Benjamin Satzger, Harald Psaier, Daniel Schall, Schahram Dustdar:
  Stimulating Skill Evolution in Market-Based Crowdsourcing. 66-82
  
• Michael Westergaard:
  Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL. 83-98
  
• Niels Lohmann:
  Compliance by Design for Artifact-Centric Business Processes. 99-115
  
• Simon Brander, Knut Hinkelmann, Bo Hu, Andreas Martin, Uwe V. Riss, Barbara Thönssen, Hans Friedrich Witschel:
  Refining Process Models through the Analysis of Informal Work Practice. 116-131
  
• Fabrizio Maria Maggi, Marco Montali, Michael Westergaard, Wil M. P. van der Aalst:
  Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. 132-147
  
• Mauro Gambini, Marcello La Rosa, Sara Migliorini, Arthur H. M. ter Hofstede:
  Automated Error Correction of Business Process Models. 148-165
  
• Matthias Kunze, Matthias Weidlich, Mathias Weske:
  Behavioral Similarity - A Proper Metric. 166-181
  
• Matthias Weidlich, Holger Ziekow, Jan Mendling, Oliver Günther, Mathias Weske, Nirmit Desai:
  Event-Based Monitoring of Process Execution Violations. 182-198
  
• Mu Qiao, Rama Akkiraju, Aubrey J. Rembert:
  Towards Efficient Business Process Clustering and Retrieval: Combining Language Modeling and Structure Matching. 199-214
  
• Christoph Dorn, César A. Marín, Nikolay Mehandjiev, Schahram Dustdar:
  Self-learning Predictor Aggregation for the Evolution of People-Driven Ad-Hoc Processes. 215-230
  
• Monika Gupta, Debdoot Mukherjee, Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha:
  Serving Information Needs in Business Process Consulting. 231-247
  
• Reina Uba, Marlon Dumas, Luciano García-Bañuelos, Marcello La Rosa:
  Clone Detection in Repositories of Business Process Models. 248-264
  
• Rong Liu, Roman Vaculín, Zhe Shan, Anil Nigam, Frederick Y. Wu:
  Business Artifact-Centric Modeling for Real-Time Performance Monitoring. 265-280
  
• Seyed-Mehdi-Reza Beheshti, Boualem Benatallah, Hamid R. Motahari Nezhad, Sherif Sakr:
  A Query Language for Analyzing Business Processes Execution. 281-297
  
• Kees M. van Hee, Marcello La Rosa, Zheng Liu, Natalia Sidorova:
  Discovering Characteristics of Stochastic Collections of Process Models. 298-312
  
• Frank Dengler, Denny Vrandecic:
  Wiki-Based Maturing of Process Descriptions. 313-328
  
• Andreas Wombacher:
  A-Posteriori Detection of Sensor Infrastructure Errors in Correlated Sensor Data and Business Workflows. 329-344
  
• Dirk Fahland, Massimiliano de Leoni, Boudewijn F. van Dongen, Wil M. P. van der Aalst:
  Conformance Checking of Interacting Processes with Overlapping Instances. 345-361
  
• Dirk Fahland, Wil M. P. van der Aalst:
  Simplifying Mined Process Models: An Approach Based on Unfoldings. 362-378
  
• Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli:
  Foundations of Relational Artifacts Verification. 379-395
  
• Elio Damaggio, Richard Hull, Roman Vaculín:
  On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles. 396-412
  
• Mirko Sonntag, Dimka Karastoyanova:
  Compensation of Adapted Service Orchestration Logic in BPEL'n'Aspects. 413-428
  

Last update Tue May 22 23:23:12 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page