Abstract
Models of complex systems and systems of systems are described with NAF (NATO Architecture Framework) or DoDAF (DoD Architecture Framework). Business Process Model Notation (BPMN) is part of NAF and allows describing the behavior of the different participants in the model. This notation is used by the French Army as well as its main suppliers to describe the interactions between participants involved in a mission. It is therefore important the models are correct. The VeriMoB project is a research project financed by the DGA (Direction Générale de l’Armement) in collaboration with Eurocontrol and Airbus DS who provided some real use cases. The project aims at developing a tool that will help users to verify their BPMN models. This tool covers three main aspects: a static verification, an interactive execution, an automatic exploration of the possible scenarios. This paper will present the results from this project.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The BPMN standard describes the execution semantics using tokens. However, execution tools are not required to implement any form of token.
- 2.
The “Close Air Support” model is used by the DGA for training proposes.
References
OMG: OMG Business Process Model and Notation (BPMN). Version 2.0.2. OMG Standard, Object Management Group (2013). http://www.omg.org/spec/UML/2.5
ITU-T: Specification and Description Language – Overview of SDL-2010. ITU-T Recommendation, International Telecommunication Union – Telecommunication Standardization Sector (2011). http://handle.itu.int/11.1002/1000/11387
Allani, O., Ghannouchi, S.: Verification of BPMN 2.0 process models: an event log-based approach. Proc. Comput. Sci. 100, 1064–1070 (2016)
BIMP: BIMP - The Business Process Simulator (2019)
Aguilar, J., Hasebe, K., Mazzara, M., Kato, K.: Model Checking of BPMN Models for Reconfigurable Workflows. CoRR abs/1607.00478 (2016)
Freitas, A., Pereira, J.: Process simulation support in BPM tools: The case of BPMN (2015)
Krishna, A., Poizat, P., Salaün, G.: VBPMN: automated verification of BPMN processes. In: 13th International Conference on integrated Formal Methods (iFM 2017) (2017)
Suchenia, A., Wisniewski, P., Ligeza, A.: Overview of verification tools for business process models. In: Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, 3–6 September 2017, pp. 295–302 (2017)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Brumbulli, M., Gaudin, E., Berre, F. (2020). Verification of BPMN Models. In: Boy, G., Guegan, A., Krob, D., Vion, V. (eds) Complex Systems Design & Management. CSDM 2019. Springer, Cham. https://doi.org/10.1007/978-3-030-34843-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-34843-4_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-34842-7
Online ISBN: 978-3-030-34843-4
eBook Packages: EngineeringEngineering (R0)