Business Process Management
9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011, Proceedings
Published on 31. August 2011
420 pages
978-3-642-23059-2 (ISBN)
Description
This book constitutes the refereed proceedings of the 9th International Conference on Business Process Management, BPM 2011, held in Clermont-Ferrand, France, in August/September 2011.
The volume contains 22 revised full research papers carefully reviewed and selected from 157 submissions, as well as 5 industrial track papers and abstracts of three invited talkes. The papers address innovative research of highest quality from computer science, management information science, service-oriented computing, and technology management.
More details
Other editions
Additional editions
Stefanie Rinderle-Ma | Farouk Toumani | Karsten Wolf
Business Process Management
9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011, Proceedings
Book
08/2011
Springer
€53.49
Shipment within 7-9 days
Content
- Title
- Preface
- Organization
- Table of Contents
- Keynotes
- Some Thoughts on Behavioral Programming
- The Changing Nature ofWork: From Structured to Unstructured, from Controlled to Social
- Automatic Verification of Data-Centric Business Processes
- Introduction
- Artifact Systems
- Temporal Properties of Artifact Systems
- Automatic Verification of Artifact Systems
- Conclusions
- References
- Industrial Track
- A Blueprint for Event-Driven Business Activity Management
- Introduction
- Related Work
- Processes and Activities
- Business Process Analytics
- Complex Event Processing
- A Blueprint for Event-Driven Business Activity Management
- Interaction Points of BPM and CEP
- Event-Driven Business Activity Management
- Conclusion
- References
- On Cross-Enterprise Collaboration
- Introduction
- Goal and Scope
- Existing Research
- Work Streams
- Mapping the Domain
- Formalisms and Standards
- Technologies
- Abstractions and Models
- Closing Remarks
- References
- Source Code Partitioning Using Process Mining
- Introduction
- BPM-E
- Events
- Classification of Tables
- Problem and Notations
- Processing Procedures
- Extracting Work Packages
- Estimating the Source Code Which Corresponds to Events Directly
- Determine the Relevant Source Code
- Experimental Results
- Results of Work Package Extraction
- Results of Work Package-Source Code Relation
- Discussion
- Evaluation of Work Package Extraction
- Evaluation of Event-Method Relationships
- Related Work
- Conclusions
- References
- Next Best Step and Expert Recommendation for Collaborative Processes in IT Service Management
- Introduction
- Automated Guidance in Collaborative Processes: Background and Challenges
- Next Step and Expert Recommendation
- The Model Discovery Component
- The Steps/Experts Recommendation Component
- Implementation and Experiments
- Related Work
- Conclusions and Future Work
- Conclusions and Future Work
- References
- Process Variation Analysis Using Empirical Methods: A Case Study
- Introduction
- Work Practice Design Case Study
- Results and Conclusion
- References
- Research Track
- Stimulating Skill Evolution in Market-Based Crowdsourcing
- Introduction
- Related Work
- Design of Marketplaces in Crowdsourcing
- Skill-Based Task Markets
- Towards Auction-Based Crowdsourcing
- Auction-Based Task Assignment
- Processing of Transactions
- Skill Evolution
- Implementation and Evaluation
- Simulation Environment
- Experiment Design and Results
- Conclusions and Future Work
- References
- Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL
- Introduction
- Background
- Algorithm
- Experimental Validation
- Conclusion and Future Work
- References
- Compliance by Design for Artifact-Centric Business Processes
- Introduction
- Running Example: Insurance Claim Handling
- Artifact-Centric Business Processes
- Informal Overview
- Formalization
- Modeling Compliance Rules
- Enforcing Policies vs. Monitoring Compliance Rules
- Expressiveness of Compliance Rules
- Formalization
- Discussion
- Compliance by Design
- Constructing Compliant Models
- Diagnosing Noncompliant Models
- Related Work
- Conclusion
- References
- Refining Process Models through the Analysis of Informal Work Practice
- Introduction
- Related Work
- Agile Process Modelling and Execution
- Process Mining
- Discovering Information Work Practice
- Resource Recommendation
- Task Refinement
- Experiments
- Implementation
- Experimental Setup
- Results
- Discussion
- Conclusions
- References
- Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata
- Introduction
- Background
- Running Example Using Declare
- LTL Semantics for Runtime Verification
- Translation of a Declare Constraint Model to Automata
- Colored Automata for Runtime Verification
- Strategies for Continuous Support
- Recovery by Ignoring Violated Constraints
- Recovery by Resetting Violated Constraints
- Recovery by Skipping Events for Violated Constraints
- Runtime Modification
- Related Work
- Conclusion
- References
- Automated Error Correction of Business Process Models
- Introduction and Background
- Preliminaries
- Automatic Process Model Correction
- Petri Nets Simulated Annealing
- Structural Distance
- Behavioral Distance
- Badness
- Dominance-Based Simulated Annealing
- Experimental Results
- Conclusion
- References
- Behavioral Similarity - A Proper Metric
- Introduction
- Background
- Similarity Search
- Process Model Similarity
- Preliminaries
- A Spectrum of Behavioral Similarity Metrics
- Similarity Based on Behavioral Profiles
- Elementary Similarity Measures
- Aggregated Metric for Behavioral Profiles
- Experimental Evaluation
- Setup
- Evaluation
- Related Work
- Conclusion
- References
- Event-Based Monitoring of Process Execution Violations
- Introduction
- Preliminaries
- Process Models
- Complex Event Processing
- Causal Behavioural Profiles
- Monitoring Based on Event Queries
- Architecture
- Derivation of Event Queries from Process Models
- Feedback on Behavioural Deviations
- Exclusiveness Violations
- Order Violations
- Occurrence Violations
- Case Study: SIMP
- Background
- Results
- Related Work
- Conclusion
- References
- Towards Efficient Business Process Clustering and Retrieval: Combining Language Modeling and Structure Matching
- Introduction
- Related Work
- Business Process Clustering and Retrieval
- Two-Level Business Process Clustering
- Language Modeling and Structure Matching Based Business Process Retrieval
- Experimental Results
- Business Process Clustering Evaluation
- Business Processes Retrieval Evaluation
- Conclusions and Future Work
- References
- Self-learning Predictor Aggregation for the Evolution of People-Driven Ad-Hoc Processes
- Introduction
- Reference Scenario
- Preliminaries
- Document Alignment
- People-Driven Ad-Hoc Processes
- A Framework for Self-learning Document Predictors
- Document Predictors
- Predictor Based on Process Progress
- Predictor Based on Document Alignment
- Self-adjusting Predictor Aggregation
- Evaluation
- Experimental Setup
- Experiments and Results
- Discussion and Related Work
- Conclusions
- References
- Serving Information Needs in Business Process Consulting
- Introduction
- Background
- Potential for Reuse : An Empirical Study
- Study 1: Presence of Similar Records in the Repository
- Study 2: Measuring Reuse in an Actual Project
- Contextual and Semantic Search
- Context Determination and Biasing
- Architecture
- Empirical Evaluation
- Experimental Setup, Method, and Measures
- Study 1: Effectiveness of Our Approach
- Study 2: Effect of Context on Accuracy
- Related Work
- Summary and Future Work
- References
- Clone Detection in Repositories of Business Process Models
- Introduction
- Background
- RPST
- Canonical Labeling of Graphs
- Clone Detection Method
- Index Structure and Clone Detection
- Insertion and Deletion
- Evaluation
- Related Work
- Conclusion
- References
- Business Artifact-Centric Modeling for Real-Time Performance Monitoring
- Introduction
- Preliminaries: Business Artifacts and the Restaurant Example
- Real-Time Performance Monitoring Model
- Deriving Monitoring Models from Business Artifacts
- Monitoring Models in Business Artifact-Centric Paradigm
- Method for Creating Monitoring Context Skeleton
- Algorithm for Generating the Complete Monitoring Contexts
- Implementation
- Discussion and Evaluation
- Related Work
- Conclusion
- References
- A Query Language for Analyzing Business Processes Execution
- Introduction
- Event Log Analysis: Example Scenario
- A Query Language for Analyzing Process Logs
- Overview
- Data Model and Abstractions
- Querying Process Logs
- Entity-Level Queries
- Aggregation-Level Queries
- Using FPSPARQL on SCM Scenario
- Implementation and Experiments
- Related Work
- Conclusion
- References
- Discovering Characteristics of Stochastic Collections of Process Models
- Introduction
- Preliminaries
- Generation of Petri Nets
- Construction Rules
- Generation ofWorkflow Nets
- Discovery of Generation Parameters
- Evaluation of the Estimation Quality
- Evaluation with Industry Models
- Conclusion
- References
- Wiki-Based Maturing of Process Descriptions
- Introduction
- RequirementAnalysis
- Requirements from Literature
- Requirements from Use Cases
- Summary of Requirements
- Approach
- Implementation
- Transformation of Existing Textual Processes
- Single Wiki Page Transforming
- Multi Wiki Page Transforming
- Evaluation
- Related Work
- Conclusion
- References
- A-Posteriori Detection of Sensor Infrastructure Errors in Correlated Sensor Data and Business Workflows
- Introduction
- Scenario
- Correlation of Sensor Data and Workflow Systems
- Scope
- Workflow Model
- Sensor Data Model
- Approach
- Partition Optimization
- Sensor Infrastructure Errors
- Complete Observation of Objects
- Homogeneity of Observations
- Sensing Error
- Granularity
- Partition Optimization
- Sensor Infrastructure Errors
- Related Work
- Conclusion
- References
- Conformance Checking of Interacting Processes with Overlapping Instances
- Introduction
- Artifacts
- Artifacts and Proclets: An Example
- Instance-Aware Logs
- Proclets
- Semantics of Proclets: Overlapping Cases
- The Interaction Conformance Problem
- Solving Interaction Conformance
- Reducing Artifact Conformance to Existing Techniques
- Structural Viewpoint: A Proclet and Its Environment
- Behavioral Viewpoint: Extending Cases to Interaction Cases
- The Decomposition Is Correct
- Checking Interaction Conformance
- Implementation as a ProM Plug-in
- Conclusion
- References
- Simplifying Mined Process Models: An Approach Based on Unfoldings
- Introduction
- Causal Behavior of Process Models w.r.t. a Log
- Petri Nets and Logs
- Partially Ordered Runs and Branching Processes
- Operations to Simplify Process Models
- Starting Point: An Overfitting Model
- Generalizing and Simplifying an Overfitting Model
- Folding an Overfitting Model
- The Future Equivalence
- Removing Implicit Places
- Controlled Generalization of Process Models
- A Parameterized Process Model Simplification Algorithm
- Experimental Results
- Related Work
- Conclusion
- References
- Foundations of Relational Artifacts Verification
- Introduction
- Relational Artifacts Systems
- Dynamic Constraints Formalism
- Processes over Artifact Systems
- Undecidability of Conformance and Verification
- Decidability of Weakly Acyclic Processes
- Conclusions
- References
- On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard- Stage-Milestone Lifecycles
- Introduction
- Framework
- Intuitive Framework for GSM Systems
- Formal Framework
- Semantics
- GSM Business Steps (B-Steps)
- Prerequisite-Antecedent-Consequent Rules
- Polarized Dependency Graph and Well-Formedness
- Incremental Formulation
- Fixpoint Formulation
- The Closed-Form Formulation
- Discussion
- Related Work
- Conclusion
- References
- Compensation of Adapted Service Orchestration Logic in BPEL'n'Aspects
- Introduction
- BPEL'n'Aspects in a Nutshell
- Weaving
- Architecture
- Compensation in Adapted Service Orchestrations
- Compensation in BPEL
- Requirements on Aspect Compensation
- Realization of the Aspect Compensation Concept
- Scenario
- Prototype
- Related Work
- Conclusions
- References
- Author Index
