Analyse de l'interopérabilité et de la conformité d'architectures logicielles - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Analyse de l'interopérabilité et de la conformité d'architectures logicielles

Résumé

This work deals with the interopeability analysis of UML components described by state machines. Two levels of interoperability are defined : the system has to be dead-lock free and it must conform a protocol and a set of provided services. We have defined and implemented some relations to verify these two levels of interoperability. It is based on the formal representation of state machines into LTS (labelled transition system). Furtermore, we deal with the problem of the substitution of a component by another one, while maintaining architecture interoperability.
Fichier principal
Vignette du fichier
CAL2011.pdf (134.08 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00756092 , version 1 (23-11-2012)

Identifiants

  • HAL Id : hal-00756092 , version 1

Citer

Anne-Lise Courbis, Thomas Lambolais, Hong-Viet Luong, Than-Liem Phan. Analyse de l'interopérabilité et de la conformité d'architectures logicielles. 5ème Conférence Francophone sur les Architectures Logicielles (CAL 2011), Jun 2011, Lille, France. pp.49-58. ⟨hal-00756092⟩
64 Consultations
90 Téléchargements

Partager

Gmail Facebook X LinkedIn More