Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

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

Ingénierie des systèmes logiciels © 2003 ATLAS Nantes . - 1 - Ingénierie des Modèles Logiciels Ingénierie des Modèles Logiciels Cours #1 Cours #1 Rappels sur UML Rappels sur UML Jean Bézivin Jean.Bezivin@irin.univ-nantes.fr Equipe ATLAS (INRIA & IRIN), Nantes Ingénierie des systèmes logiciels © 2003 ATLAS Nantes . - 2 - Note liminaire • Ce cours porte principalement sur l'approche MDA™ (Model Driven Architecture) qui constitue une nouvelle alternative en génie logiciel. • La vision MDA, les formalismes normes et outils associés sont actuellement en évolution très rapide. • Au mois de juin 2003 de nombreuses décisions portant sur les normes et les évolutions seront prises (UML 2.0, MOF 2.0, etc.) et de nouvelles orientations engagées (QVT, etc.) pour 2003/2004. • Le présent support de cours ne constitue donc qu'une présentation transitoire et partielle de ce domaine en évolution rapide. Il a pour intention d'illustrer des tendances plutôt que de présenter des solutions définitives. • Il est fait pour être utilisé uniquement dans le contexte spécifique de l'école d'été EDF/CEA/INRIA du 16 au 27 juin 2003. • De nouvelles version de ce support seront élaborées au cours des prochains mois. Jean Bézivin, Mai 2003 Ingénierie des systèmes logiciels © 2003 ATLAS Nantes . - 3 - Plan général du cours • Cours #1 Rappels sur UML • Cours #2 Sur l'intégration, l'interopérabilité et les modèles • Cours #3 De l'OMA vers le MDA, des objets vers les modèles • Cours #4 La pile de modélisation de l'OMG et le MOF • Cours #5 Visite guidée des standards ADTF de l'OMG • Cours #6 La transformation de modèles • Cours #7 Les modèles de processus • Cours #8 La liaison à la plateforme • Cours #9 Bases conceptuelles du MDA • Cours #10 Études de cas, outillage et retours d'expérience Ingénierie des systèmes logiciels © 2003 ATLAS Nantes . - 4 - Les travaux pratiques •TD #1 •Modélisation d'un site Web : les rudiments de UML •TD #2 •Génération de code avec XSLT •TD #3 •Transformation de modèles dans le MDA Ingénierie des systèmes logiciels © 2003 ATLAS Nantes . - 5 - Les conférences •Une conférence double •Le MDA chez Thales •par Serge Salicki •Le MDA chez France Télécom •par Mariano Belaunde Ingénierie des systèmes logiciels © 2003 ATLAS Nantes . - 6 - Plan du cours #1 • Introduction • Historique de l'introduction du formalisme UML • Les neuf types de diagrammes • Classes, Objets, Etats, Activités, Séquences, Collaboration,Composants, Déployement, Cas d'utilisation • Les mécanismes de base • Paquetages • Les mécanismes d'extension • Contraintes, stéréotypes, valeurs marquées • Le formalisme OCL • Présentation du TP #1 Ingénierie des systèmes logiciels © 2003 ATLAS Nantes . - 7 - Historique : Évolution de UML 0.8 ->0.9 0.9->0.91->1.0 1.0->1.1->1.2->1.3->1.4 UML d'après les «amigos» OMT Objectory Booch UML Jim Rumbaugh Grady Booch Ivar Jacobson 1.5 2.0 x.y Comprendre la logique d’évolution d’UML. Ingénierie des systèmes logiciels © 2003 ATLAS Nantes . - 8 - De Rational à l'OMG Fragmentation Unification Standardisation Industrialisation Autres méthodes ( 50) Booch 91 OOSE OMT-1 Booch 93 OMT-2 OOPSLA’95 Unified Method O.8 UML 0.9 & 0.91 UML partners expertise UML 1.0 Soumission de UML 1.0 à OMG pour adoption (janvier 1997). (juin 96 - oct. 96) public feedback ? 1.1 -> 1.2. -> 1.3 -> 1.4 -> 1.5 -> 2.0 Ingénierie des systèmes logiciels © 2003 ATLAS Nantes . - 9 - Devant et derrière, Avant et après ... UML OMT Merise SA/RT ERD ERD SADT SADT DFD DFD DFD DFD etc. procédés industriels de production de logiciels et de systèmes. JSD JSD Méthode = Langage(s) + Démarche + Outils Ingénierie des systèmes logiciels © 2003 ATLAS Nantes . - 10 - L'image globale (roadmap) Procedural ADM OOADM e.g. OMT UML UPM SPEM >2001 07/2001 11/1997 Network of models + profiles + other MMs + specific processes (RUP, IBM SI, etc.) Method = notation + process + tools Model weaving Unified Method: impossible 1. Comment séparer les aspects ? 2. Comment tisser les aspects ? 1985-1995 Ingénierie des systèmes logiciels © 2003 ATLAS Nantes . - 11 - Et un langage unique, un! La définition du formalisme UML ne résulte pas d'un processus innovant de recherche mais d'un processus consensuel de stabilisation des pratiques Industrielles éprouvées. UML n'est que le reflet fidèle des pratiques majoritaires utilisées vers la fin des années 2000 par la profession. UML ne vise pas l'innovation, mais la consensualité. Il y a deux façons de réaliser un consensus: à minima (par intersection) ou à maxima (par union). Ces deux tendances se retrouvent dans les groupes d'influence qui gèrent l'évolution du langage (vendeurs d'AGL, etc.) La tendance maximaliste a souvent été majoritaire (!) Ingénierie des systèmes logiciels © 2003 ATLAS Nantes . - 12 - UML n'est pas un projet de recherche "In short: the time for experimentation is past; the time for stability and use is now." Grady Booch Chief Scientist Rational Software Corporation Ingénierie des systèmes logiciels © 2003 ATLAS Nantes . - 13 - Evolution de la terminologie Booch Coad Jacobson Odell Rumbaugh Shlaer/Mellor UML Classe Classe/Objet Objet Objet/Type Classe Objet Classe Utilise Connexion d'instance Accointance Association Relation Association Relation Association Hérite Gen/Spec Hérite Sous-type Généralisation Sous-type Généralisation Contient Tout/Partie ConsisteEn Composition Aggrégation N/D Aggrégation Ingénierie des systèmes logiciels © 2003 ATLAS Nantes . - 14 - Quelques notations de cardinalité A B 1 A B + A B ? A B * A B 1 A B 1,m A B 0,1 A B 0,m A B A B 1+ A B A B A B 1 A B 1..* A B 0..1 A B * UML Rumbaugh Coad Booch.1 un A toujours associé avec un B. un A toujours associé avec un ou plusieurs B. un A associé avec zéro ou un B. un A associé avec zéro, un ou plusieurs B. Ingénierie des systèmes logiciels © 2003 ATLAS Nantes . - 15 - Vues multiples (aspects d'un système logiciel) Vue du notaire Vue du maçon Vue du plombier Vue de l'électricien Vue du locataire Vue du propriétaire Vue de l'architecte Vue du service des impots locaux Vue du cadastre Ingénierie des systèmes logiciels © 2003 ATLAS Nantes . - 16 - Vues multiples (aspects d'un système logiciel) Fonctions du système du point de vue de l’utilisateur. Composants physiques d’une application. Représentation du comportement en termes d’états. Structure statique des classes et des relations entre ces classes. Schémas de l’installation des composants sur les dispositifs matériels. Représentation du comportement des opérations en termes d’actions. Représentation des objets et de leurs interactions temporelles. Représentation des objets, des liens mutuels et des interactions potentielles. Les objets et les relations de base entre ces objets. Ingénierie des systèmes logiciels © 2003 ATLAS Nantes . - 17 - < < d o c u m e n t > > U M L 1 . 1 < < d o c u m e n t > > U M L 1 . 2 < < d o c u m e n t > > U M L 1 . 3 < < r e f i n e > > < < d o c u m e n t > > U M L 1 . 4 < < d o c u m e n t > > U M L 2 . 0 < < r e f i n e > > < < r e f i n e > > < < r e f i n e > > Q 3 1 9 9 7 ( O M G A d o p t e d T e c h n o l o g y ) Q 2 1 9 9 8 Q 3 1 9 9 9 Q 3 2 0 0 0 ( p l a n n e d m i n o r r e v i s i o n ) 2 0 0 1 ( p l a n n e d m a j o r r e v i s i o n ) E d i t o r i a l r e v i s i o n w i t h n o s i g n i f i c a n t t e c h n i c a l c h a n g e s . I S O P u b l i c l y A v a i l a b l e S p e c i f i c a t i o n s ( P A S ) O t h e r r e l e v a n t s t a n d a r d s T B A < < i n f o r m a l L i a i s o n > > < < f o r m a l L i a i s o n > > uploads/Ingenierie_Lourd/ cours01-v1-01.pdf