Skip to Main content Skip to Navigation
Conference papers

Business Processes Meet Spatial Concerns: the sBPMN Verification Framework

Abstract : 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Pascal Poizat Connect in order to contact the contributor
Submitted on : Monday, July 19, 2021 - 9:55:41 AM
Last modification on : Friday, June 17, 2022 - 1:26:57 PM


  • HAL Id : hal-03289951, version 1


Rim Saddem-yagoubi, Pascal Poizat, Sara Houhou. Business Processes Meet Spatial Concerns: the sBPMN Verification Framework. International Symposium on Formal Methods (FM 2021), Nov 2021, Beijing, China. ⟨hal-03289951⟩



Record views