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).
Type de document :
Communication dans un congrès
Ioannis Parissis. 11èmes Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.50-53, 2012
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00756230
Contributeur : Anne-Lise Courbis <>
Soumis le : jeudi 22 novembre 2012 - 16:03:02
Dernière modification le : jeudi 22 février 2018 - 13:06:06
Document(s) archivé(s) le : samedi 23 février 2013 - 03:45:45

Fichier

Afadl_2012_Version_Finale.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00756230, version 1

Collections

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. Ioannis Parissis. 11èmes Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.50-53, 2012. 〈hal-00756230〉

Partager

Métriques

Consultations de la notice

291

Téléchargements de fichiers

95