Ingnierie des systmes logiciels Ingnierie des Modles Logiciels

Ingénierie des systèmes logiciels Ingénierie des Modèles Logiciels Cours #9 Bases conceptuelles du MDA Jean Bézivin Jean. Bezivin@irin. univ-nantes. fr Equipe ATLAS (INRIA & IRIN), Nantes http: //sciences. univ-nantes. fr/info/perso/permanents/bezivin/ecoete . -1 - © 2003 ATLAS Nantes

Ingénierie des systèmes logiciels . -2 - © 2003 ATLAS Nantes

Ingénierie des systèmes logiciels Plan du cours #9 • Introduction • Ontologie et méta-modèles • Les s. Nets • un exemple de rche de minimalité • Conclusion . -3 - © 2003 ATLAS Nantes

Ingénierie des systèmes logiciels Une théorie des modèles pour le MDA ? • Quels sont les outils théoriques qui pourraient nous aider en ingénierie des modèles ? • Réponse essentielle : Ontologies (Gruber, Guarino, etc. ) . -4 - © 2003 ATLAS Nantes

Ingénierie des systèmes logiciels Méta-modèle M S M* La correspondance entre un modèle et un système est définie par un méta-modèle. . -8 - © 2003 ATLAS Nantes

Ingénierie des systèmes logiciels Ontologies • Les ontologies apportent : • Abstraction • Consensus et partage . - 12 - © 2003 ATLAS Nantes

Ingénierie des systèmes logiciels Ontologies stratifiées Concepts et Relations p. ex. diagrammes UML terminologique pragm l e n o i sert atiqu e as p. ex. comment dessiner une classe? pbs de présentation, etc. . p. ex. instructions OCL, Alloy, CG, KIF, Z, etc. - 13 - © 2003 ATLAS Nantes

Ingénierie des systèmes logiciels Les s. Nets : Un méta-modèle minimal s. Nets • une plate-forme de recherche en ingénierie de modélisation. • un MOF minimal • un MOF sans les contraintes industrielles • une organisation plus régulière (univers). - 14 - © 2003 ATLAS Nantes

Ingénierie des systèmes logiciels Le méta-modèle contraint les graphes utilisés General Trees Directed Labelled Graphs Un réseau sémantique général (non contraint) Typed Partitioned Reflexive Semantic Networks . - 15 - © 2003 ATLAS Nantes

Ingénierie des systèmes logiciels s. Nets : les influences Smalltalk PIE (PARC) CDIF Graphes conceptuels Systèmes ontologiques s. Nets . - 16 - © 2003 ATLAS Nantes

Ingénierie des systèmes logiciels un chat sur un tapis Cat a. Cat Mat a. Mat on . - 17 - © 2003 ATLAS Nantes

Ingénierie des systèmes logiciels Un chat sur un tapis Chat Tapis Chat un. Chat s. Nets : Réseaux Sémantiques Partitionnés Typés Réflexifs. meta un. Chat sur un. Tapis $ x, $ y : Chat (x) Ù Tapis (y) Ù sur (x, y). - 18 - © 2003 ATLAS Nantes

Ingénierie des systèmes logiciels Vers un noyau réflexif minimal de modélisation meta Node Chat meta sur meta Chat Tapis meta un. Chat Node meta sur un. Chat . meta Tapis meta un. Tapis Link sur - 19 - un. Tapis © 2003 ATLAS Nantes

Ingénierie des systèmes logiciels La méthode M est définie dans la classe C meta Node meta Chat Class Method meta on meta Tapis meta un. Chat Node meta un. Tapis M . method. Of - 20 - C © 2003 ATLAS Nantes

Ingénierie des systèmes logiciels La notion d'univers Universe part. Of U part. Of ? ? part. Of a U a b x Universe y V V part. Of b part. Of ? ? x y Un Univers est une région (partition) dans le graphe, un ensemble de liens et de nœuds. Il est représenté d façon explicite. . - 21 - © 2003 ATLAS Nantes

Ingénierie des systèmes logiciels Les espaces M 1, M 2 et M 3 dans les s. Nets sem meta Node Method out. Going in. Coming Class Link in. Coming meta Link out. Going Link meta method. Of M 2 meta sem M 1 Method M metho. Of in. Coming out. Going Node M 3 Class C Link sem . - 57 - © 2003 ATLAS Nantes

Ingénierie des systèmes logiciels Exemple de base s. Net p 1 t 1 p 2 p 3 t 2 Universe Petri. Example 1; sem Petri. Sem; node p 1, p 2, p 3: Place; t 1, t 2: Transition; link p. TOt (p 1, t 1); t. TOp (t 1, p 2); t. TOp (t 1, p 3); p. TOt (p 2, t 2); p. TOt (p 3, t 2); t. TOp (t 2, p 1); end Universe Petri. Example 1; . Universe Petri. Sem; sem Semantic; node Place, Transition; link t. TOp* [Transition, Place]; p. TOt* [Place , Transition]; end Universe Petri. Example 1; sem - 58 - © 2003 ATLAS Nantes

Ingénierie des systèmes logiciels Fin du cours <Merci <Questions ? <Commentaires ? Jean Bézivin Jean. Bezivin@irin. univ-nantes. fr Equipe ATLAS, INRIA & IRIN, Nantes . - 92 - © 2003 ATLAS Nantes