Checking Business Process Evolution

Ajay Krishna 1 Pascal Poizat 2, 3 Gwen Salaün 1
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
3 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Business processes support the design and implementation of software as workflows of local and inter-organization activities. Tools provide the business process designer with modelling and execution facilities, but they barely provide formal analysis techniques. When one makes a process evolve, for example by refactoring it or by adding new features in it, it is important to be able to check whether, and how, this process has changed, and possibly correct evolution flaws. To reach this objective, we first present a model transformation from the BPMN standard notation to the LNT process algebra and LTS formal models. 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. We also support BPMN processes containing unbalanced structures among gateways. In order to make the checking of evolution convenient for business process designers, we have implemented tool support for our approach as a web application.
Document type :
Journal articles
Science of Computer Programming, Elsevier, In press, 170, pp.1-26. 〈10.1016/j.scico.2018.09.007〉
Liste complète des métadonnées

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/hal-01920273
Contributor : Ajay Krishna <>
Submitted on : Tuesday, November 13, 2018 - 10:25:59 AM
Last modification on : Friday, December 21, 2018 - 2:05:25 PM
Document(s) archivé(s) le : Thursday, February 14, 2019 - 12:59:08 PM

File

main_SCP_FACS.pdf
Files produced by the author(s)

Identifiers

Citation

Ajay Krishna, Pascal Poizat, Gwen Salaün. Checking Business Process Evolution. Science of Computer Programming, Elsevier, In press, 170, pp.1-26. 〈10.1016/j.scico.2018.09.007〉. 〈hal-01920273〉

Share

Metrics

Record views

122

Files downloads

59