Génération automatique des modèles de réseaux de pétri associes au comportement des system de production en utilisant la transformation de graphe

Abstract

L'ingénierie basée sur les modèles joue un rôle très important dans le développement logiciel où la transformation de modèle consiste à transformer le modèle source en modèle cible selon les méta-modèles source et cible, en corrigeant plusieurs problèmes (réutilisation, interopérabilité, migration de modèle). La représentation graphique joue un rôle très important dans le développement logiciel, ce qui nous ramène à l'intégration des graphes dans les transformations de modèles et les transformations de graphes. Pour cela, il est important de proposer des solutions qui intègrent les graphes au processus de transformation. L'idée de base de notre travail est de créer un pont technologique entre l'environnement IDM et l'environnement de grammaire Graph et d'effectuer une transformation bidirectionnelle à l'aide de l'outil d'interprétation TGG. Dans ce mémoire, nous avons présente une transformation de system de production vers les réseaux de pétri (RdP) nous nous basant sur la transformation de graphes. Notre approche consiste a Proposer une grammaire de graphes qui contient un ensemble de règles pour la transformation entre deux formalismes diffèrent. Nous avons réalisé ce travail a l'aide de l'outil éclipse, par la définition de les deux métas modèles (L’un pour le system de production et l'autre pour les réseaux de pétri) et la grammaire de graphes. Finalement nous terminons notre contribution par une étude de cas bien illustrée, et nous reModel-based engineering plays a very important role in software development where model transformation consists of transforming the source model into the target model according to the source and target meta-models, fixing several problems (reuse, interoperability, migration of model). Graph representation plays a very important role in software development, which brings us back to the integration of graphs in model transformations and graph transformations. For this, it is important to offer solutions that integrate graphs into the transformation process. The basic idea of our work is to create a technological bridge between the IDM environment and the Graph grammar environment and to perform a two-way transformation using the TGG interpretation tool. In this thesis, we have presented a transformation of a production system towards Petri nets (PnR) based on the transformation of graphs. Our approach consists in proposing a graph grammar which contains a set of rules for the transformation between two different formalisms. We carried out this work using the eclipse tool, by defining the two meta models (one for the production system and the other for the Petri nets) and the graph grammar.présentons les résultats qui agrémentent notre approche. تلعب الهندسة القائمة على النموذج دورًا مهمًا للغاية في تطوير البرامج حيث يتكون تحويل النموذج من تحويل النموذج المصدر إلى النموذج المستهدف وفقًا للنماذج الوصفية المصدر والهدف ، وإصلاح العديد من المشكلات )إعادة الاستخدام ، وإمكانية التشغيل البيني ، وترحيل النموذج(. يلعب تمثيل الرسم البياني دورًا مهمًا للغاية في تطوير البرامج ، مما يعيدنا إلى تكامل الرسوم البيانية في تحويلات النموذج وتحولات الرسم البياني. لهذا ، من المهم تقديم حلول تدمج الرسوم البيانية في عملية التحول. الفكرة الأساسية لعملنا هي إنشاء جسر تكنولوجي بين بيئة IDM وبيئة قواعد الرسم البياني وإجراء تحويل ثنائي الاتجاه باستخدام أداة تفسير TGG . في هذه الأطروحة ، قدمنا تحولًا في نظام الإنتاج نحو شبكات بتري ) PnR ( بناءً على تحويل الرسوم البيانية. يتمثل نهجنا في اقتراح قواعد نحوية للرسم البياني تحتوي على مجموعة من القواعد للتحول بين شكليتين مختلفتين. نفذنا هذا العمل باستخدام أداة الكسوف ، من خلال تحديد نموذجين ميتا )أحدهما لنظام الإنتاج والآخر لشبكات بتري( وقواعد الرسم البياني. أخيرًا ، ننهي مساهمتنا بدراسة حالة مصورة جيدًا ، ونمثل النتائج التي تكمل نهجنا.