A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation

Authors:
Elhillali Kerkouche;Allaoua Chaoui
Affiliations:
Department of Computer Science, University of Oum El Bouaghi, Algeria;Department of Computer Science, University of Constantine, Algeria
Venue:
ICDCN '09 Proceedings of the 10th International Conference on Distributed Computing and Networking
Year:
2009

Citing 5
Cited 1

Handbook of graph grammars and computing by graph transformation: volume I. foundations

Handbook of graph grammars and computing by graph transformation: volume I. foundations
MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment

CAiSE ;96 Proceedings of the 8th International Conference on Advances Information System Engineering
Meta-CASE in Practice: a Case for KOGGE

CAiSE '97 Proceedings of the 9th International Conference on Advanced Information Systems Engineering
Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems

Proceedings of the 14th International Conference on Application and Theory of Petri Nets
MULTIGRAPH: an architecture for model-integrated computing

ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems

Transforming Mobile UML Statecharts Models to Nested Nets Models Using Graph Grammars: An Approach for Modeling and Analysis of Mobile Agent-Based Software Systems

SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a formal framework and a tool based on graph transformation to facilitate the design and analysis of complex software systems using G-Nets formalism. A G-Nets specification can be translated (manually) into an equivalent Predicate/Transition Nets specification (PrT-Nets). This transformation aims to use the formal analysis techniques developed for PrT-Nets to analyze G-Nets specifications. PROD is used to describe PrT-Nets models. So, we have proposed two automatic steps to perform the transformation of G-Nets models to their equivalent in PROD Language. The first one deals with the transformation of G-Nets models into Prt-Nets models. The second one transforms the resulted Prt-Nets models into PROD language. This work is a key step in a large project aiming at using graph transformation to formalize UML diagrams using G-Nets models.