A Graphical Tool Support to Process and Simulate ECATNets Models based on Meta-Modelling and Graph Grammars

ECATNets are an algebraic Petri net category based on a safe combination of algebraic abstracttypes and high level Petri Nets. ECATNets’ semantic are defined in terms of rewriting logic allowing us tobuilt models by formal reasoning. Furthermore, the rewriting logic language Maude gives to ECATNEtsdynamic aspects which are not measurable without simulation. The building of a modelling tool for thedesign and analysis from scratch (for ECATNets for example) is generally prohibitive task. Meta-Modelling approach is useful to deal with this problem, as it allows (possibly is done graphically) themodelling of the formalisms themselves. Since meta-model and model are graphs, further manipulationssimulation, transformation and code generation for an existing solverof the models can be describedgraphically and formally as graph grammar. In this paper, we propose an approach based on the combineduse of Meta-modelling and Graph Grammars to automatically generate a visual modelling tool forECATNets for analysis and simulation purposes. In our approach, the UML Class diagram formalism isused to define a meta-model of ECATNets. The meta-modelling tool ATOM3 is used to generate a visualmodelling tool according to the proposed ECATNets meta-model. We have also proposed a graph grammarto generate Maude description of the graphically specified ECATNets models. Then the rewriting logiclanguage Maude is used to perform the simulation of the resulted Maude specification. Our approach isillustrated through an example