Buscar

 

RI UFLA (Universidade Federal de Lavras) >
Revistas UFLA >
Infocomp >

Please use this identifier to cite or link to this item: http://repositorio.ufla.br/jspui/handle/1/10226

Title: A graphical tool support to process and simulate ECATNets models based on meta-modelling and graph grammars
???metadata.dc.creator???: Kerkouche, Elhillali
Chaou, Allaoua
Keywords: ECATNets
Rewriting logic
Maude
Meta-modelling
Graph grammars
Graph transformations
AToM3
Automatic code generation
Sistema de redução
Meta-modelagem
Reescrita de grafos
Gráfico de transformações
Geração automática de código
Publisher: Editora da UFLA
???metadata.dc.date???: 1-Dec-2009
Citation: KERKOUCHE, E.; CHAOU, A. A graphical tool support to process and simulate ECATNets models based on meta-modelling and graph grammars. INFOCOMP: Journal of Computer Science, Lavras, v. 8, n. 4, p. 37-44, Dec. 2009.
Abstract: ECATNets are an algebraic Petri net category based on a safe combination of algebraic abstract  types and high level Petri Nets. ECATNets’ semantic are defined in terms of rewriting logic allowing us to built models by formal reasoning. Furthermore, the rewriting logic language Maude gives to ECATNEts dynamic aspects which are not measurable without simulation. The building of a modelling tool for the design and analysis from scratch (for ECATNets for example) is generally prohibitive task. MetaModelling approach is useful to deal with this problem, as it allows (possibly is done graphically) the modelling 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 described graphically and formally as graph grammar. In this paper, we propose an approach based on the combined use of Meta-modelling and Graph Grammars to automatically generate a visual modelling tool for ECATNets for analysis and simulation purposes. In our approach, the UML Class diagram formalism is used to define a meta-model of ECATNets. The meta-modelling tool ATOM3 is used to generate a visual modelling tool according to the proposed ECATNets meta-model. We have also proposed a graph grammar to generate Maude description of the graphically specified ECATNets models. Then the rewriting logic language Maude is used to perform the simulation of the resulted Maude specification. Our approach is illustrated through an example.
Other Identifiers: http://www.dcc.ufla.br/infocomp/index.php/INFOCOMP/article/view/280
???metadata.dc.language???: eng
Appears in Collections:Infocomp

Files in This Item:

There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


View Statistics

 


DSpace Software Copyright © 2002-2010  Duraspace - Feedback