Vérification d'une architecture UML 2.0 avec l'ADL Wright
2005
UML2.0 offre des nouveaux concepts tels que composant, port, interfaces offertes, interfaces requises, connecteur, structure composite permettant de decrire une architecture logicielle. Mais UML2.0 ne permet pas letude formelle de deux criteres fondamentaux sur une architecture logicielle qui sont la coherence et la completude. Par contre certains ADL comme Wright autorisent une telle etude. Dans cet article, nous preconisons une approche de traduction permettant de transformer une architecture UML2.0 en une architecture Wright afin de realiser des verifications formelle darchitectures UML2.0.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI