Management. ^ Springer. Business Process. Hagen Volzer (Eds.) Proceedings. Haifa, Israel, September 7-11, Shazia Sadiq Pnina Soffer

Transcription

1 Shazia Sadiq Pnina Soffer Hagen Volzer (Eds.) Business Process Management 12th International Conference, BPM 2014 Haifa, Israel, September 711, 2014 Proceedings ^ Springer

2 Declarative Processes Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces 1 Giuseppe De Giacomo, Biccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, and Marco Montali Hierarchical Declarative Modelling with Refinement and Subprocesses 18 S0ren Debois, Thomas Hildebrandt, and Tijs Slaats Discovering TargetBranched Declare Constraints 34 Claudio Di Ciccio, Fabrizio Maria Maggi, and Jan Mendling UserCentered Process Approaches CrowdBased Mining of Reusable Process Model Patterns 51 Cirlos Rodriguez, Florian Daniel, and Fabio Casati A P.ecommender System for Process Discovery 67 Joel B.ibeiro, Josep Carmona, Mustafa Misir, and Michele Sebag Listen to Me: Improving Process Model Matching through User Feedback 84 Christopher Klinkmiiller, Henrik Leopold, Ingo Weber, Jan Mendling, and Andre Ludwig Process Discovery Beyond Tasks and Gateways: Discovering BPMN Models with Subprocesses, Boundary Events and Activity Markers 101 Raffaele Conforti, Marlon Dumas, Luciano GarciaBanuelos, and Marcello La Rosa A Genetic Algorithm for Process Discovery Guided by Completeness, Precision and Simplicity 118 Borja VazquezBarreiros, Manuel Mucientes, and Manuel Lama Constructs Competition Miner: Process ControlFlow Discovery of BPDomain Constructs 134 David B.edlich, Thomas Molka, Wasif Gilani, Gordon Blair, and Awais B.ashid

3 Balancing XIV Integrative BPM Chopping Down Trees vs. Sharpening the Axe the Development of BPM Capabilities with Process Improvement 151 Martin Lehnert, Alexander Linhart, and Maximilian Roglinger Implicit BPM: A Business Process Platform for Transparent Workflow Weaving 168 Ruben Mondejar, Pedro GarciaLopez, Carles Pairot, and Enric Brull Modeling Concepts for Internal Controls in Business Processes An Empirically Grounded Extension of BPMN 184 Martin Schultz and Michael Radloff Resource and Time Management in BPM Mining Resource Scheduling Protocols 200 Arik Senderovich, Matthias Weidlich, Avigdor Gal, and Avishai Mandelbaum Dealing with Changes of TimeAware Processes 217 Andreas Lanz and Manfred Reichert Temporal Anomaly Detection in Business Processes 234 Andreas RoggeSolti and Gjergji Kasneci Process Analytics A General Framework for Correlating Business Process Characteristics 250 Massimiliano de Leoni, Wil M.P. van der Aalst, and Marcus Dees Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures 267 Abel ArmasCervantes, Paolo Baldan, Marlon Dumas, and Luciano GarciaBaiiuelos Where Did I Go Wrong? Explaining Errors in Business Process Models 283 Niels Lohmann and Dirk Fahland Industry Papers UserFriendly Property Specification and Process Verification A Case Study with VehicleCommissioning Processes 301 Richard Mrasek, Jutta Millie, Klemens Bdhm, Michael Becker, and Christian Allmann

4 A XV Analysis of Operational Data for Expertise Aware Staffing 317 Renuka Sindhgatta, Gaargi Banerjee Dasgupta, and Aditya Ghose From a Family of StateCentric PAIS to a Configurable and Parameterized Business Process Architecture 333 Andreas Rulle and Juliane Siegeris Short Papers: Process Enabled Environments DRain: An Engine for QualityofResult Driven ProcessBased Data Analytics 349 Aitor Murguzur, Johannes M. Schleicher, HongLinh Truong, Salvador Trujillo, and Schahram Dustdar Use Your Best Device! Enabling Device Changes at Runtime 357 Dermis Bokermann, Christian Gerth, and Gregor Engels Specifying Flexible Human Behavior in InteractionIntensive Process Environments 366 Christoph Dorn, Schahram Dustdar, and Leon J. Osterweil Separating Execution and Data Management: A Key to Business ProcessasaService (BPaaS) 374 Yutian Sun, Jianwen Su, and Jian Yang Assessing the Need for Visibility of Business Processes Process Visibility Fit Framework 383 Enrico Graupner, Martin Berner, Alexander Maedche, and Harshavardhan Jegadeesan Short Papers: Discovery and Monitoring The Automated Discovery of Hybrid Processes 392 Fabrizio Maria Maggi, Tijs Slaats, and Hajo A. Reijers Declarative Process Mining: Reducing Discovered Models Complexity by PreProcessing Event Logs 400 Pedro H. Piccoli Richetti, Fernanda Araujo Baiao, and Fldvia Maria Santoro SECPI: Searching for Explanations for Clustered Process Instances 408 Jochen De Weerdt and Seppe vanden Broucke Business Monitoring Framework for Process Discovery with RealLife Logs 416 Mari Abe and Michiharu Kudo

5 XVI Predictive Task Monitoring for Business Processes 424 Cristina Cabanillas, Claudio Di Ciccio, Jan Mendling, and Anne Baumgrass Author Index 433