A Graphical Tool Support to Process and Simulate ECATNets Models based on Meta-Modelling and Graph Grammars
Autor(a) principal: | |
---|---|
Data de Publicação: | 2009 |
Outros Autores: | |
Tipo de documento: | Artigo |
Idioma: | eng |
Título da fonte: | INFOCOMP: Jornal de Ciência da Computação |
Texto Completo: | https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/280 |
Resumo: | 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. |
id |
UFLA-5_09e0a29965042fdfa0204f09285084d4 |
---|---|
oai_identifier_str |
oai:infocomp.dcc.ufla.br:article/280 |
network_acronym_str |
UFLA-5 |
network_name_str |
INFOCOMP: Jornal de Ciência da Computação |
repository_id_str |
|
spelling |
A Graphical Tool Support to Process and Simulate ECATNets Models based on Meta-Modelling and Graph GrammarsECATNetsRewriting LogicMaudeMeta-modellingGraph GrammarsGraph TransformationsAToM3Automatic Code GenerationECATNets 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.Editora da UFLA2009-12-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://infocomp.dcc.ufla.br/index.php/infocomp/article/view/280INFOCOMP Journal of Computer Science; Vol. 8 No. 4 (2009): December, 2009; 37-441982-33631807-4545reponame:INFOCOMP: Jornal de Ciência da Computaçãoinstname:Universidade Federal de Lavras (UFLA)instacron:UFLAenghttps://infocomp.dcc.ufla.br/index.php/infocomp/article/view/280/265Copyright (c) 2016 INFOCOMP Journal of Computer Scienceinfo:eu-repo/semantics/openAccessKerkouche, ElhillaliChaou, Allaoua2015-07-22T18:26:30Zoai:infocomp.dcc.ufla.br:article/280Revistahttps://infocomp.dcc.ufla.br/index.php/infocompPUBhttps://infocomp.dcc.ufla.br/index.php/infocomp/oaiinfocomp@dcc.ufla.br||apfreire@dcc.ufla.br1982-33631807-4545opendoar:2024-05-21T19:54:29.463771INFOCOMP: Jornal de Ciência da Computação - Universidade Federal de Lavras (UFLA)true |
dc.title.none.fl_str_mv |
A Graphical Tool Support to Process and Simulate ECATNets Models based on Meta-Modelling and Graph Grammars |
title |
A Graphical Tool Support to Process and Simulate ECATNets Models based on Meta-Modelling and Graph Grammars |
spellingShingle |
A Graphical Tool Support to Process and Simulate ECATNets Models based on Meta-Modelling and Graph Grammars Kerkouche, Elhillali ECATNets Rewriting Logic Maude Meta-modelling Graph Grammars Graph Transformations AToM3 Automatic Code Generation |
title_short |
A Graphical Tool Support to Process and Simulate ECATNets Models based on Meta-Modelling and Graph Grammars |
title_full |
A Graphical Tool Support to Process and Simulate ECATNets Models based on Meta-Modelling and Graph Grammars |
title_fullStr |
A Graphical Tool Support to Process and Simulate ECATNets Models based on Meta-Modelling and Graph Grammars |
title_full_unstemmed |
A Graphical Tool Support to Process and Simulate ECATNets Models based on Meta-Modelling and Graph Grammars |
title_sort |
A Graphical Tool Support to Process and Simulate ECATNets Models based on Meta-Modelling and Graph Grammars |
author |
Kerkouche, Elhillali |
author_facet |
Kerkouche, Elhillali Chaou, Allaoua |
author_role |
author |
author2 |
Chaou, Allaoua |
author2_role |
author |
dc.contributor.author.fl_str_mv |
Kerkouche, Elhillali Chaou, Allaoua |
dc.subject.por.fl_str_mv |
ECATNets Rewriting Logic Maude Meta-modelling Graph Grammars Graph Transformations AToM3 Automatic Code Generation |
topic |
ECATNets Rewriting Logic Maude Meta-modelling Graph Grammars Graph Transformations AToM3 Automatic Code Generation |
description |
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. |
publishDate |
2009 |
dc.date.none.fl_str_mv |
2009-12-01 |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/280 |
url |
https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/280 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/280/265 |
dc.rights.driver.fl_str_mv |
Copyright (c) 2016 INFOCOMP Journal of Computer Science info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Copyright (c) 2016 INFOCOMP Journal of Computer Science |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Editora da UFLA |
publisher.none.fl_str_mv |
Editora da UFLA |
dc.source.none.fl_str_mv |
INFOCOMP Journal of Computer Science; Vol. 8 No. 4 (2009): December, 2009; 37-44 1982-3363 1807-4545 reponame:INFOCOMP: Jornal de Ciência da Computação instname:Universidade Federal de Lavras (UFLA) instacron:UFLA |
instname_str |
Universidade Federal de Lavras (UFLA) |
instacron_str |
UFLA |
institution |
UFLA |
reponame_str |
INFOCOMP: Jornal de Ciência da Computação |
collection |
INFOCOMP: Jornal de Ciência da Computação |
repository.name.fl_str_mv |
INFOCOMP: Jornal de Ciência da Computação - Universidade Federal de Lavras (UFLA) |
repository.mail.fl_str_mv |
infocomp@dcc.ufla.br||apfreire@dcc.ufla.br |
_version_ |
1799874740911865856 |