Business Process Management Workshops BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers

Discovering and Navigating a Collection of Process Models using Multiple Quality Dimensions.- Discovering Stochastic Petri Nets with Arbitrary Delay Distributions From Event Logs.- Discovering Unbounded Synchronization Conditions in Artifact-Centric Process Models.- Uncovering the Relationship between Event Log Characteristics and Process Discovery Techniques.- Process remaining time prediction using query catalogs.- Discovering Block-Structured Process Models From Event Logs Containing Infrequent Behaviour.- Business Process Intelligence Challenge 2013.- Enabling Workflow Composition within a Social Network Environment.- Towards A Meta-Model for Goal-Based Social BPM.- An experiment on the capture of business processes from knowledge workers.- ISEAsy: a social business process management platform.- Towards a Reference Implementation for Data Centric Dynamic Systems.- Synthesizing Object-Centric Models from Business Process Models.- Activity-centric and Artifact-centric Process Model Round trip.- Automatic Generation of Business Process Models based on Attribute Relationship Diagrams.- Enriching Business Process Models with Decision Rules.- Validating and Enhancing Declarative Business Process Models Based on Allowed and Non-Occurring Past Behavior.- Constructing Decision Trees from Process Logs for Performer Recommendation.- An Exploratory Approach for Understanding Customer Behavior Processes Based on Clustering and Sequence Mining.- The Design of a Workflow Recommendation System for Workflow as a Service in the Cloud.- Business Process Assignment and Execution from Cloud to Mobile.- Monitoring of Business Processes with Complex Event Processing.- Bringing Semantics to Aspect-Oriented Business Process Management.- Towards the Enhancement of Business Process Monitoring for Complex Logistics Chains.- Investigating Service Behavior Variance in Port Logistics from a Process Perspective.- A Petri Net Approach for Green Supply Chain Network Modeling and Performance Analysis.- Towards a DSL-based approach for specifying and monitoring home care plans.- Urban Congestion: Arrangement of Aamriw intersection in Bejaia's city.- Supply Chain Uncertainty under ARIMA Demand Process.- Methods for Evaluating Process Model Search.- Decomposition and Hierarchization of EPCs: A Case Study.- Process Model Fragmentization, Clustering and Merging: An Empirical Study.- Towards Measuring Process Model Granularity via Natural Language Analysis.- Automatic Extraction of Process Categories from Process Model Collections.- The Process Model Matching Contest 2013.- Keynote: Specification and Conflict Detection for GTRBAC in Multi-domain Environment.- Multi-dimensional Secure Service Orchestration.- Explication of Termination Semantics as a Security-Relevant Feature in Business Process Modeling Languages.- Supporting Domain Experts to Select and Configure Precise Compliance Rules.- A Framework for the Privacy Access Control Model.- Role-based Access Control for Securing Dynamically Created Documents.- Towards Enhancing Business Process Monitoring with Sonification.- A Navigation Metaphor to Support Mobile Workflow Systems.- Evaluating KIPN for Modeling KIP.