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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...