| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Vérification d'une architecture UML 2.0 avec l'ADL Wright
Résumé : 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 darchitectures UML2.0.
Cited literature [3 references]
https://hal.inria.fr/inria-00000687
Contributor : Elodie Foret Connect in order to contact the contributor
Submitted on : Monday, November 14, 2005 - 4:31:57 PM
Last modification on : Wednesday, June 30, 2021 - 10:14:01 AM
Long-term archiving on: : Friday, April 2, 2010 - 7:11:42 PM
Contributor : Elodie Foret Connect in order to contact the contributor
Submitted on : Monday, November 14, 2005 - 4:31:57 PM
Last modification on : Wednesday, June 30, 2021 - 10:14:01 AM
Long-term archiving on: : Friday, April 2, 2010 - 7:11:42 PM