La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

Spécification et Vérification de Modèles de Procédés de Développement Directeur de Recherche : Bernard COULETTE, Université Toulouse II Encadrants : Xavier.

Présentations similaires


Présentation au sujet: "Spécification et Vérification de Modèles de Procédés de Développement Directeur de Recherche : Bernard COULETTE, Université Toulouse II Encadrants : Xavier."— Transcription de la présentation:

1 Spécification et Vérification de Modèles de Procédés de Développement Directeur de Recherche : Bernard COULETTE, Université Toulouse II Encadrants : Xavier CRÉGUT, ENSEEIHT INPT Alain CAPLAIN, Université Toulouse II Master Recherche SLCP – Laboratoire GRIMM ISYCOM – Jeudi 23 juin 2005 Soutenance présentée par Benoît COMBEMALE

2 23 juin Problématique La mise au point dun procédé est une tâche complexe besoin dun méta procédé outillé, associé à un ensemble de notations cohérentes Même problématique que lingénierie du logiciel: Langages + Démarche + Outils = Méthode Lingénierie des modèles peut-elle répondre à la problématique des procédés de développement ? Master Recherche SLCP - Laboratoire GRIMM ISYCOM, Université Toulouse II

3 23 juin PLAN 1.Problématique 2.Spécification de procédés Software Process Engineering Metamodel (SPEM) Object Constraint Language (OCL) 3.Clarification de lutilisation de SPEM Spécialisation du méta-modèle SPEM Proposition dun cadre méthodologique Évaluation des outils supportant SPEM et OCL 4.Modélisation de MACAO 5.Conclusion & Perspectives Master Recherche SLCP - Laboratoire GRIMM ISYCOM, Université Toulouse II

4 23 juin PLAN 1.Problématique 2.Spécification de procédés Software Process Engineering Metamodel (SPEM) Object Constraint Language (OCL) 3.Clarification de lutilisation de SPEM Spécialisation du méta-modèle SPEM Proposition dun cadre méthodologique Évaluation des outils supportant SPEM et OCL 4.Modélisation de MACAO 5.Conclusion & Perspectives Master Recherche SLCP - Laboratoire GRIMM ISYCOM, Université Toulouse II

5 23 juin Langage de modélisation semi-formel pour les procédés de développement (OMG) : Version courante: 1.1 formal/ Vers une version 2.0: RFP ad/ Concept de base : Constat sur lutilisation de SPEM : Sémantique partiellement formalisée, Pas de directive sur la structuration dun procédé, Possibilité dengendrer des modèles incohérents. SPEM 1. Objectifs | 2. Spécification de procédés | 3. Clarification de lutilisation de SPEM | 4. Modélisation de MACAO | 5. Conclusion & Perspectives Master Recherche SLCP - Laboratoire GRIMM ISYCOM, Université Toulouse II

6 23 juin OCL Langage formel pour lexpression de contraintes au sein des modèles (OMG) : Version courante: 2.0 ptc/ Offre une syntaxe concrète et abstraite (v2), Précise la sémantique structurelle des modèles mais a un pouvoir dexpressivité limité Proposition de nombreuses extensions pour la logique temporelle: TOCL, OCL+, etc. pour la fermeture transitive: OCL+ Master Recherche SLCP - Laboratoire GRIMM ISYCOM, Université Toulouse II 1. Objectifs | 2. Spécification de procédés | 3. Clarification de lutilisation de SPEM | 4. Modélisation de MACAO | 5. Conclusion & Perspectives

7 23 juin PLAN 1.Problématique 2.Spécification de procédés Software Process Engineering Metamodel (SPEM) Object Constraint Language (OCL) 3.Clarification de lutilisation de SPEM Spécialisation du méta-modèle SPEM Proposition dun cadre méthodologique Évaluation des outils supportant SPEM et OCL 4.Modélisation de MACAO 5.Conclusion & Perspectives Master Recherche SLCP - Laboratoire GRIMM ISYCOM, Université Toulouse II

8 23 juin 20058

9 9 Spécialisation du méta modèle SPEM Une activité doit, de manière exclusive, être associée à une phase ou une itération : context Activity inv : self.itParentWork notEmpty () xor self.phParentWork notEmpty () Une activité doit utiliser ou réaliser au moins un produit : context Activity inv : self.input notEmpty () or self.output notEmpty () La réalisation d'une activité ne peut pas être assistée par le rôle qui en a déjà la responsabilité : context Activity inv : self.assistant excludes(self.performer ) Master Recherche SLCP - Laboratoire GRIMM ISYCOM, Université Toulouse II 1. Objectifs | 2. Spécification de procédés | 3. Clarification de lutilisation de SPEM | 4. Modélisation de MACAO | 5. Conclusion & Perspectives

10 23 juin Objectifs | 2. Spécification de procédés | 3. Clarification de lutilisation de SPEM | 4. Modélisation de MACAO | 5. Conclusion & Perspectives La démarche Donne un cadre méthodologique pour lutilisation de SPEM, Formalise progressivement les vues structurelle et descriptive. Spécification cohérente et rigoureuse Master Recherche SLCP - Laboratoire GRIMM ISYCOM, Université Toulouse II

11 23 juin Indispensables pour la modélisation et pour la vérification. Outils de modélisation : Outils de vérification : Vérification des contraintes exprimées au niveau modèle et métamodèle Outils: USE, Neptune, OCLE, KMF, OCL Compiler, Key Tool, BoldSoft, … Les outils Syntaxe SPEM Sémantique SPEM Saisie des contraintes OCL Vérification des contraintes OCL Objecteering /UML XXX Enterprise Architect XX Master Recherche SLCP - Laboratoire GRIMM ISYCOM, Université Toulouse II 1. Objectifs | 2. Spécification de procédés | 3. Clarification de lutilisation de SPEM | 4. Modélisation de MACAO | 5. Conclusion & Perspectives

12 23 juin PLAN 1.Problématique 2.Spécification de procédés Software Process Engineering Metamodel (SPEM) Object Constraint Language (OCL) 3.Clarification de lutilisation de SPEM Spécialisation du méta-modèle SPEM Proposition dun cadre méthodologique Évaluation des outils supportant SPEM et OCL 4.Modélisation de MACAO 5.Conclusion & Perspectives Master Recherche SLCP - Laboratoire GRIMM ISYCOM, Université Toulouse II

13 23 juin MACAO Procédé de développement complet Étape 1 Analyse globale Étape 2 Conception globale Étape 3 : Développement Étape 4 Finalisation Prototype 3 Prototype N DéfinitionConception Intégration Bêta-Tests Codage Prototype 2 Prototype 1 Master Recherche SLCP - Laboratoire GRIMM ISYCOM, Université Toulouse II 1. Objectifs | 2. Spécification de procédés | 3. Clarification de lutilisation de SPEM | 4. Modélisation de MACAO | 5. Conclusion & Perspectives

14 23 juin Analyse Globale Conception Globale DéveloppementFinalisation Phases Itérations * AGCGDev#1Dev#2Dev#nFin Disciplines Analyse Conception Développement Finalisation * La notion ditération est ici utilisée au sens RUP du terme. MACAO Procédé de développement complet Master Recherche SLCP - Laboratoire GRIMM ISYCOM, Université Toulouse II 1. Objectifs | 2. Spécification de procédés | 3. Clarification de lutilisation de SPEM | 4. Modélisation de MACAO | 5. Conclusion & Perspectives

15 23 juin MACAO Point de vue Structurel Master Recherche SLCP - Laboratoire GRIMM ISYCOM, Université Toulouse II 1. Objectifs | 2. Spécification de procédés | 3. Clarification de lutilisation de SPEM | 4. Modélisation de MACAO | 5. Conclusion & Perspectives

16 23 juin MACAO Point de vue Descriptif Master Recherche SLCP - Laboratoire GRIMM ISYCOM, Université Toulouse II 1. Objectifs | 2. Spécification de procédés | 3. Clarification de lutilisation de SPEM | 4. Modélisation de MACAO | 5. Conclusion & Perspectives

17 23 juin PLAN 1.Problématique 2.Spécification de procédés Software Process Engineering Metamodel (SPEM) Object Constraint Language (OCL) 3.Clarification de lutilisation de SPEM Spécialisation du méta-modèle SPEM Proposition dun cadre méthodologique Évaluation des outils supportant SPEM et OCL 4.Modélisation de MACAO 5.Conclusion & Perspectives Master Recherche SLCP - Laboratoire GRIMM ISYCOM, Université Toulouse II

18 23 juin Précision sémantique des concepts de SPEM, Spécialisation du méta-modèle dorigine, Proposition dune démarche méthodologique pour la formalisation des procédés, Évaluation doutils supportant SPEM et OCL, Application au procédé MACAO. Conclusion Master Recherche SLCP - Laboratoire GRIMM ISYCOM, Université Toulouse II 1. Objectifs | 2. Spécification de procédés | 3. Clarification de lutilisation de SPEM | 4. Modélisation de MACAO | 5. Conclusion & Perspectives

19 23 juin Implémentation de notre proposition de méta- modèle en tant que profil SPEM, Étude et classification des règles applicables aux procédés de développement, Vérification formelle des règles à travers des outils (Neptune, OCLE, etc…), Étude dune sémantique opérationnelle applicable aux procédés de développement. Perspectives Master Recherche SLCP - Laboratoire GRIMM ISYCOM, Université Toulouse II 1. Objectifs | 2. Spécification de procédés | 3. Clarification de lutilisation de SPEM | 4. Modélisation de MACAO | 5. Conclusion & Perspectives

20 MERCI de votre attention des questions ? Mémoire:


Télécharger ppt "Spécification et Vérification de Modèles de Procédés de Développement Directeur de Recherche : Bernard COULETTE, Université Toulouse II Encadrants : Xavier."

Présentations similaires


Annonces Google