Verification of BPMN Models

  • Mihal BrumbulliEmail author
  • Emmanuel Gaudin
  • Frédéric Berre
Conference paper


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.


  1. 1.
    OMG: OMG Business Process Model and Notation (BPMN). Version 2.0.2. OMG Standard, Object Management Group (2013).
  2. 2.
    ITU-T: Specification and Description Language – Overview of SDL-2010. ITU-T Recommendation, International Telecommunication Union – Telecommunication Standardization Sector (2011).
  3. 3.
    Allani, O., Ghannouchi, S.: Verification of BPMN 2.0 process models: an event log-based approach. Proc. Comput. Sci. 100, 1064–1070 (2016)CrossRefGoogle Scholar
  4. 4.
    BIMP: BIMP - The Business Process Simulator (2019)Google Scholar
  5. 5.
    Aguilar, J., Hasebe, K., Mazzara, M., Kato, K.: Model Checking of BPMN Models for Reconfigurable Workflows. CoRR abs/1607.00478 (2016)Google Scholar
  6. 6.
    Freitas, A., Pereira, J.: Process simulation support in BPM tools: The case of BPMN (2015)Google Scholar
  7. 7.
    Krishna, A., Poizat, P., Salaün, G.: VBPMN: automated verification of BPMN processes. In: 13th International Conference on integrated Formal Methods (iFM 2017) (2017)Google Scholar
  8. 8.
    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)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • Mihal Brumbulli
    • 1
    Email author
  • Emmanuel Gaudin
    • 1
  • Frédéric Berre
    • 2
  1. 1.PragmaDevParisFrance
  2. 2.DGAArcueilFrance

Personalised recommendations