Vérification d'une architecture UML 2.0 avec l'ADL Wright
Overview & Synopsis
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.
Indexed from repository: HAL Open Science
(
hal.science)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Vérification d'une architecture UML 2.0 avec l'ADL Wright |
|---|---|
| Author / Organization | Mohamed Graiet, Mohamed Tahar Bhiri, Jean-Pierre Giraudin, Abdelmaj Hamadou |
| Subject & Discipline | Multidisciplinary Academic Open Research |
| Categories | Science & Mathematics |
| Publication Year | 2005 |
| License / Rights | Open Access / Creative Commons |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
HAL Open Science
(hal.science)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-258280 |
| Original Source Link | Visit Source Page on hal.science » |