Titre : | Une Approche de transformation des diagrammes d’Activité SysML vers les Réseaux de Petri |
Auteurs : | Ala Eddine Fattouche, Auteur ; Fayçal Guerrouf, Directeur de thèse |
Type de document : | Monographie imprimée |
Editeur : | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider, 2018 |
Format : | 1 vol. (77 p.) / 30 cm |
Langues: | Français |
Résumé : |
SysML jouent un rôle important dans la phase de conception grâce à la modélisation graphique d'un système qui est facile à comprendre mais difficile a analysé.dans cette étude, nous avons proposé une nouvelle approche, permettant la modélisation avec la formaliste de la diagramme d'activité SysML.Ils sons compréhensible et facile mais souffre d'un manque de sémantique formelle, cependant ils ne permettant pas l'analyse et la vérification .Une grammaire de graphe généré avec l'outil AToM3 permet la transformation automatique des diagrammes d'activités SysML vers leurs équivalents des réseaux de Petri, ces derniers peuvent être utilisés comme base pour une éventuelle vérification et analyse |
Sommaire : |
1 SysML 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.2 Les normes d’IS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.3 Pourquoi SysML ? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.4 Différences UML 2/SysML . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.5 Le diagramme d’activité . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.5.1 Éléments de diagramme . . . . . . . . . . . . . . . . . . . . . . . . 12 1.6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2 .Réseaux de Petri 2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.2 Définition sous la forme d’un graphe . . . . . . . . . . . . . . . . . . . . . 2.3 Structure du réseau de Pétri . . . . . . . . . . . . . . . . . . . . . . . . . . 18 2.4 Règles de franchissement . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 2.4.1 Notion de changement d’état de règle de franchissement[30]19 2.4.2 Exécution d’un réseau de Petri : Notion de marquage . .. . 19 2.4.3 Représentation matricielle . . . . . . . . . . . . . . . . . . . . . . . 20 2.5 Modélisation Avec les Réseaux de Petri . . . . .. . . . . . . . . 21 2.5.1 Parallélisme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 2.5.2 Synchronisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 2.6 Quelques propriétés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 2.7 Méthodes d’analyse des réseaux de Petri . . . .. . . . . . 22 2.7.1 Analyse par I’arbre des marquages . . . . . . . . . . . . . . . . . . 23 2.7.2 Analyse par algèbre linéaire . . . . . . . . . . . . . . . . . . . . . . 23 2.7.3 Analyse par réduction . . . . . . . . . . . . . . . . . . . . . . . . . 24 2.7.4 Analyse par les verrous et les trappes . . . . . . . . . . . . . . . . . 24 2.8 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3 Approche de Transformation 26 3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3.2 Modèle et Méta-Modélisation . . . . . . . . . . . . . . . . . . . . . . . . . 26 3.2.1 Architecture Méta-Modèle . . . . . . . . . . . . . . . . . . . . . . . 27 3.3 Transformation de Modèle . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 3.3.1 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 3.3.2 Type de Transformation . . . . . . . . . . . . . . . . . . . . . . . . 28 3.4 Principe de transformation de graphes . . . . . . . . . . . . . 29 3.5 Grammaire de graphe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 3.6 Principe de déroulement de règles . . . . .. . . . . . . . . . 30 3.7 Système de transformation de graphes . . . .. . . . . . . . . . 31 3.8 Outils de transformations de graphes . . . . . . . .. . . . . . . . . 31 3.9 AToM3 . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . 32 3.9.1 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 3.9.2 Formalisme Diagrammes de Classes dans AToM3 . .. . 33 3.9.3 Transformation de Graphes . . . . . . . . . . . . . . . . . . . . . . 36 3.10 Présentation de l’Approche . . . . . .. . . . . . . . . . . . . . . . . . . . 37 3.10.1 Méta-Modèle des Diagrammes d’activités SysML . .. . . . 37 3.10.2 Méta-modèle de réseau de Petri . . . . . . . . . . . . . . . . . . 38 3.10.3 Définition des Règles de Transformation . . . .. . . . 39 3.10.4 Etude de cas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 3.10.5 Approche de transformation (PN vers fichier XML) . .. . 49 3.10.6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 |
Disponibilité (1)
Cote | Support | Localisation | Statut |
---|---|---|---|
MINF/354 | Mémoire master | bibliothèque sciences exactes | Consultable |