Mihal Brumbulli
ABSTRACT
Models of complex systems and systems of systems are described with NAF (NATO Architecture Framework) or DoDAF (DoD Architecture Framework). Business Process Model and Notation (BPMN) is part of NAF and allows describing the behaviour 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 was a research project financed by the DGA (Direction Générale de l'Armement) which aimed at developing a tool that will help users to validate their BPMN models among the stakeholders. The tool had to cover three main aspects: a static verification, an interactive execution, and an automatic exploration of the possible scenarios. This paper will present the work done trying to convert BPMN to SDL in order to fulfil this objective with an existing toolset.
- Madis Abel. 2011. Lightning fast business process simulator. Master's thesis. Institute of Computer Science, University of Tartu.Google Scholar
- Juan Carlos Polanco Aguilar, Koji Hasebe, Manuel Mazzara, and Kazuhiko Kato. 2016. Model Checking of BPMN Models for Reconfigurable Workflows. CoRR (2016).Google Scholar
- Olfa Allani and Sonia Ayachi Ghannouchi. 2016. Verification of BPMN 2.0 Process Models: An Event Log-based Approach. Procedia Computer Science 100 (2016), 1064--1070.Google ScholarCross Ref
- Thomas Allweyer and Stefan Schweitzer. 2012. A Tool for Animating BPMN Token Flow. In Business Process Model and Notation - 4th International Workshop, BPMN 2012, Vienna, Austria, September 12-13, 2012. Proceedings (Lecture Notes in Business Information Processing, Vol. 125), Jan Mendling and Matthias Weidlich (Eds.). Springer, 98--106.Google Scholar
- Mihal Brumbulli, Emmanuel Gaudin, and Frédéric Berre. 2020. Verification of BPMN Models. In Complex Systems Design & Management, Guy André Boy, Alan Guegan, Daniel Krob, and Vincent Vion (Eds.). Springer International Publishing, 27--36.Google Scholar
- Mihal Brumbulli, Emmanuel Gaudin, and Ciprian Teodorov. 2020. Automatic Verification of BPMN Models. In 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020). Toulouse, France.Google Scholar
- ITU-T. 2019. Specification and Description Language -- Overview of SDL-2010. ITU-T Recommendation Z.100. International Telecommunication Union -- Telecommunication Standardization Sector. http://handle.itu.int/11.1002/1000/14048.Google Scholar
- Ajay Krishna, Pascal Poizat, and Gwen Salaün. 2017. VBPMN: Automated Verification of BPMN Processes (Tool Paper). In Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings (Lecture Notes in Computer Science, Vol. 10510), Nadia Polikarpova and Steve Schneider (Eds.). Springer, 323--331.Google Scholar
- OMG. 2014. OMG Business Process Model and Notation (BPMN). Version 2.0.2. OMG Standard. Object Management Group. https://www.omg.org/spec/BPMN/2.0.Google Scholar
- José Luís Pereira and António Paulo Freitas. 2016. Simulation of BPMN Process Models: Current BPM Tools Capabilities. In New Advances in Information Systems and Technologies - Volume 1 [WorldCIST'16, Recife, Pernambuco, Brazil, March 22-24, 2016] (Advances in Intelligent Systems and Computing, Vol. 444), Álvaro Rocha, Ana Maria Ramalho Correia, Hojjat Adeli, Luís Paulo Reis, and Marcelo Mendonça Teixeira (Eds.). Springer, 557--566.Google Scholar
- Kristina Rosenthal, Benjamin Ternes, and Stefan Strecker. 2018. Business Process Simulation: A Systematic Literature Review. In ECIS.Google Scholar
- Anna Suchenia, Piotr Wisniewski, and Antoni Ligeza. 2017. 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, September 3-6, 2017 (Annals of Computer Science and Information Systems, Vol. 13), Maria Ganzha, Leszek A. Maciaszek, and Marcin Paprzycki (Eds.). 295--302.Google Scholar
Recommendations
Transformations from SPEM work sequences to BPMN sequence flows for the automation of software development process
Special Supplement Issue in Section A and B: Selected Papers from the ISCA International Conference on Software Engineering and Data Engineering, 2009Generally, different companies use distinct software development process. Due to it, OMG has specified an architecture to can define a software development process. This architecture uses a metamodel which is able to be abstracted from particular ...
Executing and debugging UML models: an fUML extension
SAC '13: Proceedings of the 28th Annual ACM Symposium on Applied ComputingWith the widespread of the Model-Driven Development (MDD) and surfing on the success of the Unified Modeling Language (UML), software development is shifting from being code-centric to model-centric. Models become the key artefacts in the software ...
BPMN Model Interchange: The Quest for Interoperability
S-BPM '16: Proceedings of the 8th International Conference on Subject-oriented Business Process ManagementBPMN (Business Process Model and Notation) is a widely used standard for modeling business processes. In order to facilitate working with BPMN processes, businesses must be able to exchange process models across applications from various vendors. The ...
Comments