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⟩
240 Consultations
63 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More