Une Approche De Transformation Des Diagrammes D'activités UML Vers Les Réseaux De Pétri Temporellement Temporisés / Hacid ,Sihem  

Public ISBD Titre : Une Approche De Transformation Des Diagrammes D'activités UML Vers Les Réseaux De Pétri Temporellement Temporisés Type de document : texte imprimé Auteurs : Hacid ,Sihem, Auteur ; Khababa,Abdellah, Directeur de thèse Editeur : Setif:UFA Année de publication : 2019 Importance : 1 vol (66 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Ingénierie dirigée par les modèles Méta-modélisation Transformation de graphes Grammaires de graphes Réseaux de pétri temporisés RPTT Diagrammes d'activité Index. décimale : 004 - Informatique Résumé : De nos jours les systèmes sont souvent critiques et très complexes dans leur structure ainsi que leur composition. L’évolution technologique dans le domaine développement des logiciel ,nous poussait à faire développer des applications bien appropriées à ces nouveaux progrès, telles que les protocoles de communication et les systèmes repartis. Ces derniers appréhendent l’aspect temporel. En effet, la modélisation doit faire intervenir des mécanismes de gestion du temps et d’évènements où la notion d’évolutions simultanées d’actions est prise en compte. Par conséquent, nous avons besoin d’un modèle sémantique du parallélisme qui supporte l’expression d’actions non atomiques structurellement et temporellement, c’est-à-dire d’actions divisibles et non nécessairement de durée nulle. Cependant, les réseaux de Pétri temporellement temporisés(RPTT) dans lesquels les actions peuvent durer dans le temps ont apporté la possibilité d’exprimer ce type de comportements. Le travail présenté dans ce projet est une contribution dans le domaine de l'ingénierie dirigée par les modèles (MDI). Son objectif principal est l'application de techniques de transformation de modèles, et plus précisément de transformations de graphes, pour pouvoir appliquer des outils d'analyse et de vérification au cours du processus de développement de systèmes complexes. Par conséquent, nous proposons une approche et un outil pour la modélisation et la transformation des diagrammes d'activité en modèles de réseaux de pétri à temporisation temporelle. La mise en Å“uvre de cette approche nécessite l'utilisation de l'outil AToM3 et du langage PYTHON Note de contenu : Sommaire Introduction générale ..................................................................................................................................... - 1 - I. Modélisation et specification formalle de logiciel......................................................................................- 4 - I.1 Introduction ......................................................................................................................................... - 4 - I.2- Définitions ................................................................................................................................. - 4 - I.2 .1-La modélisation ....................................................................................................................... - 6 - I. .2-La spécification............................................................................................. ……………………8 - I.3-Les méthodes formelles.................................................................................................................. - 8 - I.4- Intérêts des méthodes et langages formel ......................................................................... …- 9 - I.5- Les langages de spécification formel ................................................................................... - 10 - I.5.1- Classification des langages formels ................................................................................. - 10 - I.6- Les Réseaux de Petri............................................................................................................ - 11 – I.6.1-Un peut d’historique sur les réseau de Petri ......................................................................- 12 - I.6.2-Concepts de base ..................................................................................................................... ….- 14 – I.6.2.1-Notion de graphe orienté ......................................................................................................... - 14 - I.6.2.2-Le vocabulaire ........................................................................................................................ - 15 - I.7-Présentation des réseaux de Petri .............................................................................................. - 16 - I.7.1-Définition Formelle .................................................................................................................. - 17 - I.7.2-Marquage d'un Réseau de Petri................................................................................................... - 18 - I.7.3- Dynamique des Réseaux de Petri (Evolution du arquage)................................................. - 18 - I.7.4-Marquages Accessibles & Graphe des Marquages ............................. ………………….....- 18 - I.7.5-Propriétés des réseaux de Petri............................................................................................... ..- 19 - I.7.6-Quelques structures particulières des réseaux de Petri......................................................... - 20 - I.7.7-Les Réseaux de Pétri de Haut Niveau...................................................................................... - 21 - I.7.7.1- Réseau de pétri Coloré .......................................................................................................... - 21 - I.7.7.2- Réseaux de Pétri temporellement temporisés (RPTT).......................................................... - 23 - I.8- Technique de vérification formelle.............................................................................................. … 24 - I.8. 1- Le model checkin................................................................................................................................... - 26 - I.8. 2- Techniques basées sur la simulation :........................................................................................ - 26 - I.8. 3- Techniques basées sur le test..................................................................................................... - 26 - I.8. 4- Techniques basées sur la preuve de théorème ............................................................. - 27 - I.9 -Conclusion ........................................................................................................................................... - 27 - Le langage De Modélisation Orientée Objet UML........................................................................ - 28 - II. 1-Introduction................................................................................................................................... - 29 - II. 2- Que ce que UML ?...................................................................................................................... - 29 - II. 3 -Points forts d’UML..................................................................................................................... - 30 - II. 4 -Points faibles d’UML ............................................................................................................... - 32 – II. 5 -Modélisation avec UML ................................................................................................. …..- 32 – II. 5 .1-Des Définitions ................................................................................................................... - 33 - II. 5 .1.1- un modèle............................................................................................................................ - 34 – II. 5 .1.2- Caractéristiques fondamentales des modèles................................................................ - 35 - II. 5 .1.3- Méta-modèles et méta-odélisation................................................................................... - 35 - II. 5 .1.4- L’Ingénierie Dirigée par les Modèles.............................................................................. - 41 - II. 6- les défirent démarche de modélisation avec UML ........................................................... - 42 - II. 6.2 - Une démarche pilotée par les besoins des utilisateurs ................................................. - 42 - II. 6.3 - Une démarche centrée sur l'architecture ........................................................................ - 43 - II. 6.3 .1-La vue logique vue concerne.................................................................................................. - 43 - II. 6.3 .2- La vue des composants ............................................................................................................... - 43 II. 6.3 .3- La vue des processus............................................................................................................... - 44 - II. 6.3 .4- La vue de déploiement............................................................................................................ - 44 II. 6.3 .5- La vue des cas d’utilisation : ............................................................................................ - 44 - II. 7- L’utilisation de diagrammes........................................................................................................... - 45 - II. 7.1-Définition d’un diagramme....................................................................................................- 47 - II. 7.2-Les différents types de diagrammes UML............................................................................... - 47 - II. 7.3-Diagrammes de cas d'utilisation....................................................................................................... - 47 - II. 7.4- Diagrammes de classes .............................................................................................................. - 48 - II. 7.5- Diagrammes de composants................................................................................................. - 48 - II. 7.6- Diagrammes de déploiement................................................................................................. - 48 - II. 7.7- Vues dynamiques du système............................................................................................... - 49 - II. 7.8-diagrammes de collaboration..................................................................................................... - 49 - II. 7.9-Diagrammes de séquence............................................................................................................ - 51 - II. 7.10-diagrammes d'états-transitions............................................................................................... - 51 - II. 7.11. 1-Intérêts des diagrammes d’activité..................................................................................... - 53 - II. 7.11. 2- Composition d’un diagramme d’activité ............................................................. - 54 - II. 8-UML et la vérification................................................................................................................ - 54 - II. 9-UML et la transformation de modèles....................................................................................... - 54 – II.10- Conclusion ................................................................................................................................. - 55 - III :Contribution ................................................................................................................................ - 55 - III.1. Introduction ................................................................................................................................ - 56 - III.2. Définition ......................................................................................................................-............... 56 - III.3. Caractéristiques des approches de transformation..................................................... ………- 57 III.4. Mécanismes de Transformation................................................................................................ - 57 - III.5. Système de transformation de graphes..................................................................................... - 57 - III.6. Outils de transformations de graphes........................................................................................... - 58 - III.7-AToM3................................................................................................................................................ - 58 - III.8- Formalisme Diagrammes de Classes dans AToM3…………………………………..- 59 - III.9-Contraintes........................................................... ………………………………………………………- 59 – III.10-Action............................................................................................................................................ - 59 - III.11-Attributs …………………………………………………………………………………..…..-60- III.12-Transformation de Graphes...................................................................................................... - 61 - III.13-Présentation de l’approche de transformation……………………………………………..……..-62- III.14-Etude de cas.................................................................................................................................... - 63 - III.14.1-Etude de cas: le processus de réalisation d'un mémoire de fin d'étude.......................................... - 64 - III.15-Conclusion........................................................................................................................................ - 65 - Conclusion Général.................................................................................................................................. - 65 Bibliographiques …………………………………………….………………………………-66- Côte titre : MAI/0306 En ligne : https://drive.google.com/file/d/1X7DhoENPdUbFowQnouEEnTK14zp6VXDa/view?usp=shari [...] Format de la ressource électronique : docx Une Approche De Transformation Des Diagrammes D'activités UML Vers Les Réseaux De Pétri Temporellement Temporisés [texte imprimé] / Hacid ,Sihem, Auteur ; Khababa,Abdellah, Directeur de thèse . - [S.l.] : Setif:UFA, 2019 . - 1 vol (66 f .) ; 29 cm. Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Ingénierie dirigée par les modèles Méta-modélisation Transformation de graphes Grammaires de graphes Réseaux de pétri temporisés RPTT Diagrammes d'activité Index. décimale : 004 - Informatique Résumé : De nos jours les systèmes sont souvent critiques et très complexes dans leur structure ainsi que leur composition. L’évolution technologique dans le domaine développement des logiciel ,nous poussait à faire développer des applications bien appropriées à ces nouveaux progrès, telles que les protocoles de communication et les systèmes repartis. Ces derniers appréhendent l’aspect temporel. En effet, la modélisation doit faire intervenir des mécanismes de gestion du temps et d’évènements où la notion d’évolutions simultanées d’actions est prise en compte. Par conséquent, nous avons besoin d’un modèle sémantique du parallélisme qui supporte l’expression d’actions non atomiques structurellement et temporellement, c’est-à-dire d’actions divisibles et non nécessairement de durée nulle. Cependant, les réseaux de Pétri temporellement temporisés(RPTT) dans lesquels les actions peuvent durer dans le temps ont apporté la possibilité d’exprimer ce type de comportements. Le travail présenté dans ce projet est une contribution dans le domaine de l'ingénierie dirigée par les modèles (MDI). Son objectif principal est l'application de techniques de transformation de modèles, et plus précisément de transformations de graphes, pour pouvoir appliquer des outils d'analyse et de vérification au cours du processus de développement de systèmes complexes. Par conséquent, nous proposons une approche et un outil pour la modélisation et la transformation des diagrammes d'activité en modèles de réseaux de pétri à temporisation temporelle. La mise en Å“uvre de cette approche nécessite l'utilisation de l'outil AToM3 et du langage PYTHON Note de contenu : Sommaire Introduction générale ..................................................................................................................................... - 1 - I. Modélisation et specification formalle de logiciel......................................................................................- 4 - I.1 Introduction ......................................................................................................................................... - 4 - I.2- Définitions ................................................................................................................................. - 4 - I.2 .1-La modélisation ....................................................................................................................... - 6 - I. .2-La spécification............................................................................................. ……………………8 - I.3-Les méthodes formelles.................................................................................................................. - 8 - I.4- Intérêts des méthodes et langages formel ......................................................................... …- 9 - I.5- Les langages de spécification formel ................................................................................... - 10 - I.5.1- Classification des langages formels ................................................................................. - 10 - I.6- Les Réseaux de Petri............................................................................................................ - 11 – I.6.1-Un peut d’historique sur les réseau de Petri ......................................................................- 12 - I.6.2-Concepts de base ..................................................................................................................... ….- 14 – I.6.2.1-Notion de graphe orienté ......................................................................................................... - 14 - I.6.2.2-Le vocabulaire ........................................................................................................................ - 15 - I.7-Présentation des réseaux de Petri .............................................................................................. - 16 - I.7.1-Définition Formelle .................................................................................................................. - 17 - I.7.2-Marquage d'un Réseau de Petri................................................................................................... - 18 - I.7.3- Dynamique des Réseaux de Petri (Evolution du arquage)................................................. - 18 - I.7.4-Marquages Accessibles & Graphe des Marquages ............................. ………………….....- 18 - I.7.5-Propriétés des réseaux de Petri............................................................................................... ..- 19 - I.7.6-Quelques structures particulières des réseaux de Petri......................................................... - 20 - I.7.7-Les Réseaux de Pétri de Haut Niveau...................................................................................... - 21 - I.7.7.1- Réseau de pétri Coloré .......................................................................................................... - 21 - I.7.7.2- Réseaux de Pétri temporellement temporisés (RPTT).......................................................... - 23 - I.8- Technique de vérification formelle.............................................................................................. … 24 - I.8. 1- Le model checkin................................................................................................................................... - 26 - I.8. 2- Techniques basées sur la simulation :........................................................................................ - 26 - I.8. 3- Techniques basées sur le test..................................................................................................... - 26 - I.8. 4- Techniques basées sur la preuve de théorème ............................................................. - 27 - I.9 -Conclusion ........................................................................................................................................... - 27 - Le langage De Modélisation Orientée Objet UML........................................................................ - 28 - II. 1-Introduction................................................................................................................................... - 29 - II. 2- Que ce que UML ?...................................................................................................................... - 29 - II. 3 -Points forts d’UML..................................................................................................................... - 30 - II. 4 -Points faibles d’UML ............................................................................................................... - 32 – II. 5 -Modélisation avec UML ................................................................................................. …..- 32 – II. 5 .1-Des Définitions ................................................................................................................... - 33 - II. 5 .1.1- un modèle............................................................................................................................ - 34 – II. 5 .1.2- Caractéristiques fondamentales des modèles................................................................ - 35 - II. 5 .1.3- Méta-modèles et méta-odélisation................................................................................... - 35 - II. 5 .1.4- L’Ingénierie Dirigée par les Modèles.............................................................................. - 41 - II. 6- les défirent démarche de modélisation avec UML ........................................................... - 42 - II. 6.2 - Une démarche pilotée par les besoins des utilisateurs ................................................. - 42 - II. 6.3 - Une démarche centrée sur l'architecture ........................................................................ - 43 - II. 6.3 .1-La vue logique vue concerne.................................................................................................. - 43 - II. 6.3 .2- La vue des composants ............................................................................................................... - 43 II. 6.3 .3- La vue des processus............................................................................................................... - 44 - II. 6.3 .4- La vue de déploiement............................................................................................................ - 44 II. 6.3 .5- La vue des cas d’utilisation : ............................................................................................ - 44 - II. 7- L’utilisation de diagrammes........................................................................................................... - 45 - II. 7.1-Définition d’un diagramme....................................................................................................- 47 - II. 7.2-Les différents types de diagrammes UML............................................................................... - 47 - II. 7.3-Diagrammes de cas d'utilisation....................................................................................................... - 47 - II. 7.4- Diagrammes de classes .............................................................................................................. - 48 - II. 7.5- Diagrammes de composants................................................................................................. - 48 - II. 7.6- Diagrammes de déploiement................................................................................................. - 48 - II. 7.7- Vues dynamiques du système............................................................................................... - 49 - II. 7.8-diagrammes de collaboration..................................................................................................... - 49 - II. 7.9-Diagrammes de séquence............................................................................................................ - 51 - II. 7.10-diagrammes d'états-transitions............................................................................................... - 51 - II. 7.11. 1-Intérêts des diagrammes d’activité..................................................................................... - 53 - II. 7.11. 2- Composition d’un diagramme d’activité ............................................................. - 54 - II. 8-UML et la vérification................................................................................................................ - 54 - II. 9-UML et la transformation de modèles....................................................................................... - 54 – II.10- Conclusion ................................................................................................................................. - 55 - III :Contribution ................................................................................................................................ - 55 - III.1. Introduction ................................................................................................................................ - 56 - III.2. Définition ......................................................................................................................-............... 56 - III.3. Caractéristiques des approches de transformation..................................................... ………- 57 III.4. Mécanismes de Transformation................................................................................................ - 57 - III.5. Système de transformation de graphes..................................................................................... - 57 - III.6. Outils de transformations de graphes........................................................................................... - 58 - III.7-AToM3................................................................................................................................................ - 58 - III.8- Formalisme Diagrammes de Classes dans AToM3…………………………………..- 59 - III.9-Contraintes........................................................... ………………………………………………………- 59 – III.10-Action............................................................................................................................................ - 59 - III.11-Attributs …………………………………………………………………………………..…..-60- III.12-Transformation de Graphes...................................................................................................... - 61 - III.13-Présentation de l’approche de transformation……………………………………………..……..-62- III.14-Etude de cas.................................................................................................................................... - 63 - III.14.1-Etude de cas: le processus de réalisation d'un mémoire de fin d'étude.......................................... - 64 - III.15-Conclusion........................................................................................................................................ - 65 - Conclusion Général.................................................................................................................................. - 65 Bibliographiques …………………………………………….………………………………-66- Côte titre : MAI/0306 En ligne : https://drive.google.com/file/d/1X7DhoENPdUbFowQnouEEnTK14zp6VXDa/view?usp=shari [...] Format de la ressource électronique : docx

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
MAI/0306	MAI/0306	Mémoire	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 1 / 1)