IDF: A framework for the incremental development and conformance verification of UML active primitive components - Archive ouverte HAL Access content directly
Journal Articles Journal of Systems and Software Year : 2016

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.
Fichier principal
Vignette du fichier
lambolais_17014.pdf (1.4 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
221 View
578 Download

Altmetric

Share

Gmail Facebook X LinkedIn More