Automatic Verification of BPMN Models - Département STIC Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Automatic Verification of BPMN Models

Mihal Brumbulli
  • Fonction : Auteur
  • PersonId : 1028185
Emmanuel Gaudin
  • Fonction : Auteur
Ciprian Teodorov

Résumé

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 to describe the behavior of the different participants in the model. This notation is used by the French Army and 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) which aims at developing a tool that will help users to verify their BPMN models. This tool covers three main aspects: static verification, interactive execution, automatic exploration of the possible scenarios. This paper focuses on the automatic exploration of the model with OBP technology coming from ENSTA Bretagne research lab.
Fichier principal
Vignette du fichier
20200129_paper.pdf (320.05 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02441878 , version 1 (16-01-2020)

Identifiants

  • HAL Id : hal-02441878 , version 1

Citer

Mihal Brumbulli, Emmanuel Gaudin, Ciprian Teodorov. Automatic Verification of BPMN Models. 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France. ⟨hal-02441878⟩
358 Consultations
560 Téléchargements

Partager

Gmail Facebook X LinkedIn More