Skip to Main content Skip to Navigation
Conference papers

IDCM : un outil d'analyse de composants et d'architectures dédié à la construction incrémentale

Abstract : IDCM (Incremental Development of Conforming Models) is a JAVA tool providing a set of conformance relations allowing behavioural model releases to be compared. It includes a translator allowing UML state machines to be transformed into LTS (labelled transition systems). Behavioural model releases may evolve by a refinement process through two axes : an horizontal axe allowing a new functionnality to be specified (extension conformance relation) ; vertical axe allowing specification to be detailed and undeterminism to be reduced (reduction conformance relation). Whatever the strategy of refinement may be, the model obtained at the end of the refinement process conforms the initial specification (implementation conformance relation).
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00756230
Contributor : Anne-Lise Courbis <>
Submitted on : Thursday, November 22, 2012 - 4:03:02 PM
Last modification on : Thursday, June 17, 2021 - 2:58:04 PM
Long-term archiving on: : Saturday, February 23, 2013 - 3:45:45 AM

File

Afadl_2012_Version_Finale.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00756230, version 1

Citation

Hong-Viet Luong, Anne-Lise Courbis, Thomas Lambolais, Thanh-Liem Phan. IDCM : un outil d'analyse de composants et d'architectures dédié à la construction incrémentale. 11èmes Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.50-53. ⟨hal-00756230⟩

Share

Metrics

Record views

400

Files downloads

141