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

Hong-Viet Luong (1) , Anne-Lise Courbis (2) , Thomas Lambolais (2) , Thanh-Liem Phan (2)

1 AMPERE - Ampère
2 LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production

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).

Domaines: Génie logiciel [cs.SE]; Architectures Matérielles [cs.AR]

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⟩