Preserving correctness during business process model configuration

Authors:
Wil M. P. van der Aalst;Marlon Dumas;Florian Gottschalk;Arthur H. M. ter Hofstede;Marcello La Rosa;Jan Mendling
Affiliations:
Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands and Queensland University of Technology, Brisbane, Australia;University of Tartu, Tartu, Estonia and Queensland University of Technology, Brisbane, Australia;Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands;Queensland University of Technology, Brisbane, Australia;Queensland University of Technology, Brisbane, Australia;Humboldt University of Berlin, Berlin, Germany
Venue:
Formal Aspects of Computing
Year:
2010

Citing 0
Cited 16

Correctness ensuring process configuration: an approach based on partner synthesis

BPM'10 Proceedings of the 8th international conference on Business process management
Configurable multi-perspective business process models

Information Systems
Configurable services in the cloud: supporting variability while enabling cross-organizational process mining

OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Survey paper: Refactoring large process model repositories

Computers in Industry
A model-checking tool for families of services

FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Validation of families of business processes

CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
An automation support for creating configurable process models

WISE'11 Proceedings of the 12th international conference on Web information system engineering
Design and management of flexible process variants using templates and rules

Computers in Industry
Ensuring correctness during process configuration via partner synthesis

Information Systems
Configurable process models for the swedish public sector

CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Validation of user intentions in process models

CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Business Process Model Merging: An Approach to Business Process Consolidation

ACM Transactions on Software Engineering and Methodology (TOSEM)
Complementing Business Process Verification by Validity Analysis: A Theoretical and Empirical Evaluation

Journal of Database Management
Modeling and validation of business process families

Information Systems
Configuring business process models

ACM SIGSOFT Software Engineering Notes
Version management for business process schema evolution

Information Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

A configurable process model captures a family of related process models in a single artifact. Such models are intended to be configured to fit the requirements of specific organizations or projects, leading to individualized process models that are subsequently used for domain analysis or solution design. This article proposes a formal foundation for individualizing configurable process models incrementally, while preserving correctness, both with respect to syntax and behavioral semantics. Specifically, assuming the configurable process model is behaviorally sound, the individualized process models are guaranteed to be sound. The theory is first developed in the context of Petri nets and then extended to a process modeling notation widely used in practice, namely Event-driven Process Chains.