Business Processes Meet Spatial Concerns: the sBPMN Verification Framework - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Business Processes Meet Spatial Concerns: the sBPMN Verification Framework

Résumé

BPMN is the standard for business process modeling. It includes a rich set of constructs for control-flow, inter-process communication, and time-related concerns. However, spatial concerns are left apart while being essential to several application domains. We propose a comprehensive extension of BPMN to deal with this. Our proposal includes an integrated notation, a first-order logic semantics of the extension, and tool-supported verification means through the implementation of the semantics in TLA . Our tool support and our model database are open source and freely available online.
Fichier principal
Vignette du fichier
FM 2021.pdf (1.56 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03289951 , version 1 (18-01-2023)

Identifiants

Citer

Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou. Business Processes Meet Spatial Concerns: the sBPMN Verification Framework. FM 2021 - 24th International Symposium on Formal Methods, Nov 2021, Beijing, China. pp.218-234, ⟨10.1007/978-3-030-90870-6_12⟩. ⟨hal-03289951⟩
247 Consultations
89 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More