Skip to Main content Skip to Navigation
New interface
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 : Tuesday, September 13, 2022 - 3:50:47 PM



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⟩



Record views