Beschreibung
L'approche par composants vise la réutilisation par assemblage aisé et cohérent des composants. Mais lobtention dun assemblage de composants cohérent nest pas un exercice facile. Pour y parvenir, nous préconisons une approche contractuelle distinguant divers contrats syntaxiques, structurels, sémantiques, de synchronisation et de qualité de services.Nous avons appliqué avec succès cette approche contractuelle sur deux modèles de composants semi-formels: UML2.0 et Ugatze. En effet, nous proposons deux démarches VerifComponentUML2.0 et VerifComponentUgatze. La démarche VerifComponentUML2.0 vise la vérification des contrats syntaxiques,structurels, de synchronisation et de qualité de services sur une assemblage de composants UML2.0 en passant par les deux modèles de composants formels Acme/Armani et Wright.VerifComponentUML2.0 est équipé de deux outils: Wr2fdr et Wright2Ada. Loutil Wr2fdr permet de traduire des Wright vers CSP afin de vérifier les contrats de synchronisation en utilisant le model-checker FDR. Loutil Wright2Ada est un outil IDM permettant de transformer de Wright en Ada afin douvrir UML2.0 sur les outils danalyse statique et dynamique associés à Ada.
Autorenporträt
Mourad Kmimech est enseignant à l'ISIMA de Mahdia. Il a soutenu en 2010 à Pau une thèse sur la vérification d'assemblages de composants logiciels. Mohamed Tahar Bhiri est enseignant à la FSS de Sfax. Il a conduit de nombreux travaux portant sur les trois paradigmes objet, composant et modèle en combinant des notations semi-formelles et formelles.
Herstellerkennzeichnung:
OmniScriptum SRL
Str. Armeneasca 28/1, office 1
2012 Chisinau
MD
E-Mail: info@omniscriptum.com
