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. © 2009 Springer.
CITATION STYLE
Kerkouche, E., & Chaoui, A. (2009). A formal framework and a tool for the specification and analysis of G-Nets models based on graph transformation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5408 LNCS, pp. 206–211). https://doi.org/10.1007/978-3-540-92295-7_26
Mendeley helps you to discover research relevant for your work.