Skip to Main content Skip to Navigation
Journal articles

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.
Complete list of metadatas

Cited literature [86 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01517375
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Wednesday, May 3, 2017 - 10:28:41 AM
Last modification on : Thursday, March 26, 2020 - 8:23:55 PM
Document(s) archivé(s) le : Friday, August 4, 2017 - 12:40:16 PM

File

lambolais_17014.pdf
Files produced by the author(s)

Identifiers

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, 2016, vol. 113, pp. 275-295. ⟨10.1016/j.jss.2015.11.020⟩. ⟨hal-01517375⟩

Share

Metrics

Record views

267

Files downloads

627