• THESE

Une approche basée transformation de graphes pour la génération de modèles de réseaux de Petri analysables à partir de diagrammes UML


Thèse de : Doctorat LMD 
Titre : Une approche basée transformation de graphes pour la génération de modèles de réseaux de Petri analysables à partir de diagrammes UML 
Auteur : Bouarioua Mouna 
Directeurs : Pr Chaoui Allaoua - Univeristé Constantine2 
Editeur : Université Constantine2 - Constantine 
Année de publication : 2013 
Langue de publication : Francais 
Catégorie : 600 - Informatique 
Mots Clés : Ingénierie Dirigée par les Modèles, Modélisation multi-paradigmes, Méta-modélisation, Transformation de Graphes, Grammaires de Graphes, Méthodes Formelles, Réseaux de Petri, GSPN, Diagrammes de séquence, Diagrammes d’états-transitions 
Mots Clés (Ar) : هندسة البرامج بواسطة النماذج, التصميم المتعدد النماذج, تحويل البينات, قواعد البينات, الطرقالتحليلية, نماذج 
Keywords : Model Driven Engineering, Multi-paradigm Modeling, Meta-modeling, Graph Transformation, Graph Grammar, Formal Methods, Petri Nets, GSPN, Sequence Diagram, Statechart 
En ligne : Une approche basée transformation de graphes pour la génération de modèles de réseaux de Petri analysables à partir de diagrammes UML

Scroll Up