La transformation automatique des diagrammes d’états-transitions vers les réseaux de Petri

Abstract

Triple graph grammars allow us to define the relationship between different types of models and to transform one type of model into another, and Graphical presentation plays a very important role in software development which brings us back to the integration of graphs in model transformations and graph transformation. To this end, it is important to propose solutions to integrate graphs into the transformation process. Our approach is based on meta-models, the basic idea of our work is to create a technological bridge between the environment of the IDM and the environment of grammars of Graphs and to make a transformation of a diagram of state transition to petri nets, using the TGG interpreter tool. To do this, we will need to define a set of trتت رٍ ننب قىاعذ انشسىو انب بٍن تٍ انثلاث تٍ تسذ ذٌ انعلاقت ب نٍ أنىاع يختهفت ين انن بًرج وتسى مٌ نىع وازذ ين انن بًرج إنى آخش ، ك بً هٌعب انعشض انشسىي دوسًا يه بًً نهغب تٌ ف تطى شٌ انبشايح ي بً عٌ ذٍنب إنى تكبيم انشسىو انب بٍن تٍ ف تسى لٌاث انن ىًرج وتسى مٌ انشسى انب بٍن .ً تسق قٍب نهزه انغب تٌ ، ين ان هًى اقتشاذ زهىل نذيح انشسىو انب بٍن تٍ ف ع هً تٍ انتسىل. عٌت ذً نهدنب عهى انن بًرج انىصف تٍ ، وانفكشة الأسبس تٍ نع هًنب ه إنشبء خسش تكنىنىخ ب نٍ ب ئٍت IDM وب ئٍت انقىاعذ اننسى تٌ نهشسىو انب بٍن تٍ وإخشاء تسىل ف سسى تخط طٍ لانتقبل انسبنت إنى شبكبث بتشي ( PDR ( ، ببستخذاو أداة قىاعذ انشسى انب بٍن انثلاث ) TGG (. نهق بٍو بزنك ، سنستبج إنى تسذ ذٌ يد ىًعت ين قىاعذ انتسى مٌ انت ستس رً بتنف زٍ هزه انع هً تٍ تهقبئ بًٍ.

ansformation rules that will allow this process to be carried out automatically. Triple graph grammars allow us to define the relationship between different types of models and to transform one type of model into another, and Graphical presentation plays a very important role in software development which brings us back to the integration of graphs in model transformations and graph transformation. To this end, it is important to propose solutions to integrate graphs into the transformation process. Our approach is based on meta-models, the basic idea of our work is to create a technological bridge between the environment of the IDM and the environment of grammars of Graphs and to make a transformation of a diagram of state transition to petri nets, using the TGG interpreter tool. To do this, we will need to define a set of transformation rules that will allow this process to be carried out automatically.