Skip to Main content Skip to Navigation

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 metadatas

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 : Sunday, February 16, 2020 - 1:02:41 AM
Document(s) archivé(s) le : 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

357

Files downloads

123