Deciding behaviour compatibility of complex correspondences between process models
BPM'10 Proceedings of the 8th international conference on Business process management
Survey paper: Refactoring large process model repositories
Computers in Industry
Generalised computation of behavioural profiles based on petri-net unfoldings
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Process compliance analysis based on behavioural profiles
Information Systems
A foundational approach for managing process variability
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Validation of families of business processes
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Behavioral similarity: a proper metric
BPM'11 Proceedings of the 9th international conference on Business process management
Event-based monitoring of process execution violations
BPM'11 Proceedings of the 9th international conference on Business process management
Perceived consistency between process models
Information Systems
Action patterns in business process model repositories
Computers in Industry
A comparative survey of business process similarity measures
Computers in Industry
State propagation in abstracted business processes
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Propagating changes between aligned process models
Journal of Systems and Software
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
On profiles and footprints --- relational semantics for petri nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
A framework for behavior-consistent specialization of artifact-centric business processes
BPM'12 Proceedings of the 10th international conference on Business Process Management
Probabilistic optimization of semantic process model matching
BPM'12 Proceedings of the 10th international conference on Business Process Management
Modeling and validation of business process families
Information Systems
Eye-tracking the factors of process model comprehension tasks
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Behavioral consistency measurement and analysis of WS-BPEL processes
WAIM'13 Proceedings of the 14th international conference on Web-Age Information Management
COCO: consistency analysis of process-driven internetware applications
Proceedings of the 5th Asia-Pacific Symposium on Internetware
Querying business process model repositories
World Wide Web
Hi-index | 0.00 |
Engineering of process-driven business applications can be supported by process modeling efforts in order to bridge the gap between business requirements and system specifications. However, diverging purposes of business process modeling initiatives have led to significant problems in aligning related models at different abstract levels and different perspectives. Checking the consistency of such corresponding models is a major challenge for process modeling theory and practice. In this paper, we take the inappropriateness of existing strict notions of behavioral equivalence as a starting point. Our contribution is a concept called behavioral profile that captures the essential behavioral constraints of a process model. We show that these profiles can be computed efficiently, i.e., in cubic time for sound free-choice Petri nets w.r.t. their number of places and transitions. We use behavioral profiles for the definition of a formal notion of consistency which is less sensitive to model projections than common criteria of behavioral equivalence and allows for quantifying deviation in a metric way. The derivation of behavioral profiles and the calculation of a degree of consistency have been implemented to demonstrate the applicability of our approach. We also report the findings from checking consistency between partially overlapping models of the SAP reference model.