Paper Info
Title
Checking Business Process Evolution.
Abstract
Business processes support the modeling and the implementation of software as workflows of local and inter-process activities. Taking over structuring and composition, evolution has become a central concern in software development. We advocate it should be taken into account as soon as the modeling of business processes, which can thereafter be made executable using process engines or model-to-code transformations. We show here that business process evolution needs formal analysis in order to compare different versions of processes, identify precisely the differences between them, and ensure the desired consistency. To reach this objective, we first present a model transformation from the BPMN standard notation to the LNT process algebra. We then propose a set of relations for comparing business processes at the formal model level. With reference to related work, we propose a richer set of comparison primitives supporting renaming, refinement, property-and context-awareness. Thanks to an implementation of our approach that can be used through a Web application, we put the checking of evolution within the reach of business process designers.
Year
DOI
Venue
2016
10.1007/978-3-319-57666-4_4
Lecture Notes in Computer Science
Field
DocType
Volume
Artifact-centric business process model,Business process management,Programming language,Business process,Computer science,Process modeling,Business process modeling,Business process discovery,Business Process Model and Notation,Business rule
Conference
10231
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Pascal Poizat100.34
Gwen Salaün298871.03
Ajay Krishna324.10