Checking Business Process Evolution

Pascal Poizat 1, 2 Gwen Salaün 3 Ajay Krishna 3
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
3 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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.
Type de document :
Communication dans un congrès
13th International Conference on Formal Aspects of Component Software (FACS), Oct 2016, Besançon, France
Liste complète des métadonnées


https://hal.inria.fr/hal-01366641
Contributeur : Pascal Poizat <>
Soumis le : vendredi 16 septembre 2016 - 14:23:08
Dernière modification le : jeudi 20 juillet 2017 - 09:26:53
Document(s) archivé(s) le : samedi 17 décembre 2016 - 14:57:52

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01366641, version 1

Collections

Citation

Pascal Poizat, Gwen Salaün, Ajay Krishna. Checking Business Process Evolution. 13th International Conference on Formal Aspects of Component Software (FACS), Oct 2016, Besançon, France. <hal-01366641>

Partager

Métriques

Consultations de
la notice

368

Téléchargements du document

164