IDF: A framework for the incremental development and conformance verification of UML active primitive components

Abstract : Modelling component behaviour is widely recognised as a complex task during the specification and design phases of reactive systems. Our proposal for treating this problem involves an incremental approach that allows UML state machines to be built using a composition of two types of development: model extension for adding services or behaviours, and refinement for adding details or eliminating non-determinism. At each step of the development process, the current model is verified for compliance with the model obtained during the previous step, in such a way that initial liveness properties are preserved. The novelty of this work lies in the possibility to combine and sequence both refinement and extension developments. This iterative process is usually not taken into account in conventional refinement relations. This set of development techniques and verification means are assembled into a framework called IDF (Incremental Development Framework), which is supported by a tool, under the acronym IDCM (Incremental Development of Compliant Models), developed herein in addition to the Topcased UML tool.
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01517375
Contributeur : Open Archive Toulouse Archive Ouverte (oatao) <>
Soumis le : mercredi 3 mai 2017 - 10:28:41
Dernière modification le : mercredi 12 septembre 2018 - 17:46:03
Document(s) archivé(s) le : vendredi 4 août 2017 - 12:40:16

Fichier

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

Identifiants

Collections

Citation

Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Christian Percebois. IDF: A framework for the incremental development and conformance verification of UML active primitive components. Journal of Systems and Software, Elsevier, 2015, vol. 113, pp. 275-295. 〈10.1016/j.jss.2015.11.020〉. 〈hal-01517375〉

Partager

Métriques

Consultations de la notice

109

Téléchargements de fichiers

101