Modélisation en UML/OCL des langages de programmation : vers un processus IDM incrémental

1 - Besoins industriels et processus de développement

• 1.1 - Langage de modélisation UML
  Figure 1 - Démarche de modélisation UML
• 1.2 - Processus IDM
• 1.3 - Besoins industriels
  Figure 2 - Exemple d'un processus déployé de manière opérationnelle à CS Communication et Systèmes
• 1.4 - Vers un processus IDM de développement logiciel incrémental
  Figure 3 - Architecture d'un processus intégrant un niveau de modélisation des codes Figure 4 - Architecture de métamodélisation de l'OMG, composée en quatre couches Figure 5 - Exemple d'utilisation d'une architecture de métamodélisation en quatre couches

2 - Modélisation en UML/OCL des propriétés des langages de programmation

• 2.1 - Grammaires et propriétés d'un langage
  Figure 6 - Règles syntaxiques d'un langage élémentaire procédural Figure 7 - Fragment du métamodèle du langage « L » en UML Figure 8 - Fragment du métamodèle du langage « L » en UML, concernant les expressions Figure 9 - Représentation simplifiée du métamodèle du langage L
• 2.2 - Modélisation des propriétés comportementales en UML/OCL
  Figure 10 - Définition de l'environnement d'exécution nécessaire à la description de la sémantique comportement d'un langage type procédural Figure 11 - Propriétés définissant la sémantique comportementale des expressions du langage « L » Figure 12 - Propriétés définissant la sémantique comportementale des instructions du langage « L »

3 - Diagramme d'activité

• 3.1 - Éléments de modélisation du diagramme d'activité
  Figure 13 - Exemple d'un diagramme d'activité Figure 14 - Diagramme d'activité élaboré à l'aide de nœuds d'activité structurée
• 3.2 - Fragment du métamodèle UML 2.0 du diagramme d'activité
  Figure 15 - Nœuds exécutables, nœuds de contrôle et flots de contrôle dans le métamodèle UML 2.0 Figure 16 - Exemple d'un fragment d'un diagramme d'activité et sa représentation interne (instance du métamodèle UML 2.0) Figure 17 - Exemple d'un fragment d'un diagramme d'activité et sa représentation interne (instance du métamodèle UML 2.0) Figure 18 - Différents types d'actions du métamodèle UML 2.0 Figure 19 - Appel d'un diagramme d'activité à partir d'un nœud exécutable de type CallBehaviorAction défini dans un diagramme d'activité Figure 20 - Représentation interne d'une action référençant un diagramme d'activité Figure 21 - Nœuds d'activité structurée dans le fragment du métamodèle UML 2.0 du diagramme d'activité Figure 22 - Sémantique opérationnelle des nœuds d'activité structurée Figure 23 - Fragment du métamodèle UML 20 montrant les liens existant entre un diagramme de classes et un diagramme d'activité

4 - Hiérarchisation des actions d'un diagramme d'activité

• 4.1 - Actions consécutives et nœud d'activité structurée de type SequenceNode
  Figure 27 - Représentation interne (Instance du métamodèle UML 2.0) d'une transformation de deux actions qui se succèdent en un nœud d'activité de type SequenceNode Figure 28 - Spécification de la précondition Figure 29 - Transformation de deux actions qui se succèdent en un nœud d'activité de type SequenceNode Figure 30 - Propriétés concernant la post-condition de la transformation
• 4.2 - Autres types de transformation élémentaire
• 4.3 - Enchaînement des transformations élémentaires
  Figure 31 - Fragment de diagramme d'activité transformable en un nœud d'activités structurée de type ConditionalNode Figure 32 - Fragment de diagramme d'activité transformable en un nœud d'activités structurée de type LoopNode Figure 33 - Hiérarchisation des actions d'un diagramme d'activité par itération des transformations élémentaires

5 - Vers une architecture d'un processus IDM incrémental

• 5.1 - Modèle de conception, modèle de programmation et code
• 5.2 - Point de vue de l'industriel

6 - Conclusions et perspectives