Vrification dune architecture UML 2'0 avec lADL Wright

1

• Vérification dune architecture UML 2.0 avec
  lADL Wright
• Présenté par 
• Mohamed GRAIET (EQUIPE SIGMA-LSRLARIM)
• Mohamed Tahar Bhiri (FSS)
• Jean-Pierre GIRAUDIN (EQUIPE SIGMA-LSR)
• Abdelmajid BEN HAMADOU (LARIM-Sfax)

2
Plan de lexposé

• Problématique
• Architecture logicielle UML 2.0
• LADL Wright
• Traduction de spécifications UML 2.0 en Wright
• Bilan
• Perspective

3
Problématique

• Cadre  architecture logicielle des systèmes
  dinformation et les systèmes logiciels
• Une activité de conception explicite dans le
  processus de développement.
• Modulatrise un système sous forme dune
  configuration de composants et de connecteurs.
• Naissance de plusieurs ADL (Architecture
  Description Language )

4
Problématique

• . Aesop les styles architecturaux
• . C2 les systèmes distribués et évolutifs
• . Darwin les systèmes denvoi de messages
  distribués
• . Rapide la simulation
• . Wright la description comportementale et la
  vérification formelle des propriétés sur une
  architecture logicielle
• Larchitecture logicielle reste immature

5
Problématique

• Les progrès réalisés par la communauté
  scientifique restent essentiellement académiques
• Les retombées de ces recherches ont du mal à
  pénétrer le milieu industriel
• Intégration des ADLs dans UML

6
Problématique

• Lapproche dintégration se heurte à deux types
  de problèmes fondamentaux 
• Les écarts sémantiques entre les deux notations
  ADL et UML
• Des fonctionnalités offertes par les ADL ne
  peuvent pas être intégrées dans UML
• une approche de transformation permettant la
  traduction dune architecture logicielle décrite
  en UML 2.0 en une architecture décrite en Wright

7
Architecture Logicielle UML 2.0

• Les nouveaux concepts dUML 2.0
• composant
• Port
• Interface
• connecteur
• Permettant de définir larchitecture de
  lapplication que lon désire développer.

8
Architecture Logicielle UML 2.0

• Composant UML 2.0
• Composant atomique (ou basique) et composant
  composite (structure composite).
• Unité modulaire réutilisable qui interagit avec
  son environnement par lintermédiaire de points
  dinteractions appelés ports.
• Port
• Les ports sont typés par les interfaces.
• Le comportement dun port est décrit à laide
  dun protocole machine à états (protocol state
  machine)

9
Architecture Logicielle UML 2.0

• Interface
• Interface offerte et interface requise
• Contient des opérations
• Le comportement dune interface est décrit à
  laide dun protocole machine à état
  (protocol state machine)
• Connecteur
• La connexion entre les ports requis et les ports
  fournis
• Connecteur de délégation
• Connecteur dassemblage

10
LADL Wright

• Les principaux concepts offerts par Wright sont 
  
• Composant
• Connecteur
• Configuration
• Style

11
LADL Wright

• Composant
• Interfaces
• - Ensemble des ports
• Port interaction avec lextérieur
• Le comportement partiel attendu du composant et
  ce que le composant attend du système dans lequel
  il va interagir
• Le calcul
• - Décrit ce que le composant fait de point de vue
  comportemental
• Ces deux parties sont décrites en CSP
  

12
LADL Wright

• Connecteur
• Interfaces
• - Ensemble des rôles
• Rôle décrit les attentes du connecteur dans ses
  interactions avec les composants.
• Glue
• décrit comment les Rôles travaillent ensemble
  pour créer cette interaction
• Ces deux parties sont décrites en CSP

13
LADL Wright

• Configuration
• Les définitions des types composant et
  connecteur
• Les instances
• Les liens
• Les hérarchies (connecteurs composites et
  composants composites)
• Style
• - Regroupent une famille darchitectures ayant un
  ensemble de propriétés communes caractérisant
  cette famille

14
Traduction de spécifications UML 2.0 en
Wright

• Composant de communication dans architecture
  logicielle UML 2.0
• Traduction du composant fonctionnel
• Traduction du composant de communication
• Traduction dune architecture logicielle UML 2.0
• Expression en CSP-Wright des protocoles machine
  à états UML 2.0

15
Traduction de spécifications UML 2.0 en Wright

• Composant de communication dans architecture
  logicielle UML 2.0
• Un composant fonctionnel est modélisé par le
  concept de composant dUML 2.0 doté des ports
• Un composant de communication est modélisé par le
  concept de classe dUML 2.0 doté des ports. Une
  telle classe sera stéréotypée  communication 
  avec une contrainte de ports obligatoires.

16
Traduction de spécifications UML 2.0 en Wright

• Traduction du composant fonctionnel

17
Traduction de spécifications UML 2.0 en Wright
Traduction du composant de communication
18
Traduction de spécifications UML 2.0 en Wright
Traduction dune architecture logicielle UML 2.0
19
Traduction de spécifications UML 2.0 en Wright

• Expression en CSP-Wright des protocoles machine
  à états UML 2.0
• - Description en UML 2.0 du connecteur Pipe

20
Traduction de spécifications UML 2.0 en Wright

• Expression en CSP-Wright des protocoles machine
  à états UML 2.0
• - Expressions CSP associées aux ports Source et
  Destination du connecteur Pipe

Source ecrire!x Source ? fermer
Destination lire
(obtention?x Destination? finDeDonnees
fermer )
21
Bilan

• Composant de communication dans architecture
  logicielle UML 2.O
• Proposition des règles permettant de traduire une
  architecture UML 2.0 en une architecture Wright.
• (aspect structurel et comportemental)
• - composant de communication
• - composant fonctionnel
• -architecture logicielle UML 2.0

22
Perspectives

• Evaluer la pertinence des propriétés liée à
  wright (appelées tests, permettant de vérifier la
  cohérence et la complétude dune architecture
  wright ) vis-à-vis dune architecture en UML 2.0.
• Les contraintes OCL 2.0 associées à des
  spécifications UML 2.0 sont à combiner avec les
  expressions Wright issues des traductions que
  nous proposons.
• MDA