IDF: A framework for the incremental development and conformance verification of UML active primitive components - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Systems and Software Année : 2016

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

Résumé

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.
Fichier principal
Vignette du fichier
lambolais_17014.pdf (1.4 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01517375 , version 1 (03-05-2017)

Identifiants

Citer

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, 2016, vol. 113, pp. 275-295. ⟨10.1016/j.jss.2015.11.020⟩. ⟨hal-01517375⟩
226 Consultations
588 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More