On Formal Choreographic Modelling: A Case Study in EU Business Processes - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

On Formal Choreographic Modelling: A Case Study in EU Business Processes

Résumé

Formal choreographic modelling advocates a correctness-byconstruction principle for the development of sound communication protocols. This principle usually hinges on syntactic or semantic restrictions to rule out models that could lead to communication glitches like message losses or deadlocks. This paper explores how these restrictions impact on the usability of formal modelling. More precisely, we benchmark the use of a formal choreographic modelling language designed to support the correctnessby-construction principle of message-passing systems. To this purpose, we consider the formal choreographic modelling of real business processes taken from the official documentation of European customs business process models. In fact, following a steadily increasing trend, the European Union started to use BPMN to support the legal provisions of the customs business process models.

Mots clés

Fichier principal
Vignette du fichier
main.pdf (734.23 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03915950 , version 1 (30-12-2022)

Identifiants

Citer

Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto. On Formal Choreographic Modelling: A Case Study in EU Business Processes. Leveraging Applications of Formal Methods, Verification and Validation, Oct 2022, Rhodes (Grèce), Greece. pp.205-219, ⟨10.1007/978-3-031-19849-6_13⟩. ⟨hal-03915950⟩
18 Consultations
27 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More