Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Automatic Verification of BPMN Models

Mihal Brumbulli 1 Emmanuel Gaudin 1 Ciprian Teodorov 2
2 Lab-STICC_ENSTAB_ CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
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 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.
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-02441878
Contributeur : Mihal Brumbulli <>
Soumis le : jeudi 16 janvier 2020 - 11:16:25
Dernière modification le : mercredi 24 juin 2020 - 16:19:56
Archivage à long terme le : : vendredi 17 avril 2020 - 17:26:42

Fichier

20200129_paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-02441878, version 1

Citation

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⟩

Partager

Métriques

Consultations de la notice

173

Téléchargements de fichiers

193