A Direct Formal Semantics for BPMN Time-Related Constructs - Assistance à la Certification d’Applications DIstribuées et Embarquées Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

A Direct Formal Semantics for BPMN Time-Related Constructs

Résumé

BPMN supports the design of intra-organization workflows and inter-organization collaborations. This rich notation includes elements to deal with models where time is central. However, the expressiveness of the BPMN time-related constructs hampers the definition of a formal semantics including them, and the provision of formal analysis means for timed process models. We propose here a first-order logic semantics for a subset of BPMN that includes its time-related constructs. With reference to related work, we support the specification of datetimes, durations, and cycles, using ISO-8601 formats as specified in the standard. Our approach is tool-supported by a model transformation into the Alloy formal language and its bounded counter-example generator. Our tool and model database are open source and freely available.
Fichier principal
Vignette du fichier
ENASE.pdf (724.12 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03170814 , version 1 (16-03-2021)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

Citer

Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec. A Direct Formal Semantics for BPMN Time-Related Constructs. ENASE 2021 - 16th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2021, online, Czech Republic. pp.138-149, ⟨10.5220/0010462901380149⟩. ⟨hal-03170814⟩
295 Consultations
467 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More