Vérification d'une architecture UML 2.0 avec l'ADL Wright - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

Vérification d'une architecture UML 2.0 avec l'ADL Wright

Abstract

UML2.0 offre des nouveaux concepts tels que composant, port, interfaces offertes, interfaces requises, connecteur, structure composite permettant de décrire une architecture logicielle. Mais UML2.0 ne permet pas l’étude formelle de deux critères fondamentaux sur une architecture logicielle qui sont la cohérence et la complétude. Par contre certains ADL comme Wright autorisent une telle étude. Dans cet article, nous préconisons une approche de traduction permettant de transformer une architecture UML2.0 en une architecture Wright afin de réaliser des vérifications formelle d’architectures UML2.0.
Fichier principal
Vignette du fichier
61.pdf (131.27 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00000687 , version 1 (14-11-2005)

Identifiers

  • HAL Id : inria-00000687 , version 1

Cite

Mohamed Graiet, Mohamed Tahar Bhiri, Jean-Pierre Giraudin, Abdelmaj Hamadou. Vérification d'une architecture UML 2.0 avec l'ADL Wright. MajecSTIC 2005 : Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC, IRISA – IETR – LTSI, Nov 2005, Rennes, pp.167-171. ⟨inria-00000687⟩
169 View
525 Download

Share

Gmail Facebook Twitter LinkedIn More