Implementation of Conformance relation for incremental development of behavioural models - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Implementation of Conformance relation for incremental development of behavioural models

Résumé

In this paper, we show how to implement the conformance relation on transition systems. The computability of this relation relies on the composition of two operators: the reduction relation whose computability has been proven in our previous work, and the merge function of acceptance graphs associated with transition systems under comparison. It is formally demonstrated, and illustrated through a case study whose analysis is performed by a java prototype we have developed. This research work is developed in order to be applied in a larger context: our goal is to support modelers to develop UML state machine through an incremental modelling method which is able to guarantee that model upgrading does not introduce inconsistencies. Hence, these works lead to a semantics for the specialisation relation between UML State Machines.
Fichier principal
Vignette du fichier
Luong_2008LNCS.pdf (1.19 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00757192 , version 1 (26-11-2012)

Identifiants

  • HAL Id : hal-00757192 , version 1

Citer

Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis. Implementation of Conformance relation for incremental development of behavioural models. 11th International Conference on Model Driven Engineering Languages & Systems (MODELS), 2008, Toulouse, France. pp.356-370. ⟨hal-00757192⟩
61 Consultations
157 Téléchargements

Partager

Gmail Facebook X LinkedIn More