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

Designing, Animating, and Verifying Partial UML Models

Frédéric Jouault 1 Valentin Besnard 1 Théo Le Calvar 2 Ciprian Teodorov 3 Matthias Brun 1 J. Delatour 4
3 Lab-STICC_ENSTAB_ CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : Models have been shown to be useful during virtually all stages of the software lifecycle. They can be reverse engineered from existing artifacts, or created as part of a system’s execution, but in many cases models are created by designers from informal specifications. In the latter case, such design models are typically used as means of communication between designers, and developers. They can also in some cases be validated by simulation over test cases, or even by formal verification. However, most existing model simulation or verification approaches require relatively consistent and complete models, whereas design models often start small, incomplete, and inconsistent. Moreover, few design models actually reach the stage where they can be simulated, and even fewer the stage where they can be formally verified. In order to address this issue, we propose a partial modeling approach that makes it possible to animate incomplete and inconsistent models. This approach makes it possible to incrementally improve testable models, and can also help designers reach the stage where their models can be formally verified. A proof-of-concept tool called AnimUML has been created in order to provide means to evaluate the approach on several examples. They are all executable, and some can even undergo model-checking.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-02931876
Contributeur : Anne-Flore Jarry <>
Soumis le : lundi 7 septembre 2020 - 12:10:17
Dernière modification le : mercredi 9 septembre 2020 - 03:07:23

Identifiants

  • HAL Id : hal-02931876, version 1

Citation

Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, et al.. Designing, Animating, and Verifying Partial UML Models. 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. ⟨hal-02931876⟩

Partager

Métriques

Consultations de la notice

62