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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
AGG Home page, http://tfs.cs.tu-berlin.de/agg/
AToM3 Home page, version 3.00, http://atom3.cs.mcgill.ca/
Bardohl, R., Ehrig, H., De Lara, J., Taentzer, G.: Integrating Meta Modelling with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 214–228. Springer, Heidelberg (2004)
De Lara, J., Vangheluwe, H.: Meta-Modelling and Graph Grammars for Multi-Paradigm Modelling in AToM3. Manuel Alfonseca, Software and Systems Modelling 3, 194–209 (2004); Special Section on Graph Transformations and Visual Modeling Techniques
Deng, Y., Chang, S.K., De Figueired, J.C.A., Psrkusich, A.: Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems. In: Proceeding of The 14th International Conference on Application and Theory of Petri Nets, Chicago, June 21-25, pp. 206–223 (1993)
DOME Home page, Honeywell Technology Center. Honeywell, version 5.2.1 (1999), http://www.htc.honeywell.com/dome/
Ebert, J., Sttenbach, R., Uhe, I.: Meta-CASE in Practice: a Case for KOGGE. In: Olivé, À., Pastor, J.A. (eds.) CAiSE 1997. LNCS, vol. 1250, pp. 203–216. Springer, Heidelberg (1997), KOGGE Home page, http://www.uni-koblenz.de/_ist/kogge.en.html
GRACE Home page, http://www.informatik.uni-bremen.de/theorie/GRACEland/GRACEland.html
Kelly, S., Lyytinen, K., Rossi, M.: MetaEdit+: A fully configurable Multi-User and Multi-Tool CASE and CAME Environment. In: Constantopoulos, P., Vassiliou, Y., Mylopoulos, J. (eds.) CAiSE 1996. LNCS, vol. 1080. Springer, Heidelberg (1996), MetaEdit+ Home page, http://www.MetaCase.com
PROD Home page, version 3.4.01, http://www.tcs.hut.fi/Software/prod/
PROGRES Home page, http://www-i3.informatik.rwth-aachen.de/research/projects/progres/main
Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1. World Scientific, Singapore (1999)
Sztipanovits, J., Karsai, G., Biegl, C., Bapty, T., Ledeczi, A., Misra, A.: MULTIGRAPH: An architecture for model-integrated computing. In: ICECCS 1995, Ft. Lauderdale, Lorida, pp. 361–368 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kerkouche, E., Chaoui, A. (2008). A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation. In: Garg, V., Wattenhofer, R., Kothapalli, K. (eds) Distributed Computing and Networking. ICDCN 2009. Lecture Notes in Computer Science, vol 5408. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-92295-7_26
Download citation
DOI: https://doi.org/10.1007/978-3-540-92295-7_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-92294-0
Online ISBN: 978-3-540-92295-7
eBook Packages: Computer ScienceComputer Science (R0)