Abstract
In this paper we discuss efficiency related constructs of a graph rewriting language, called Graph Rewriting and Transformation (GReAT), and introduce a code generator tool, which together provide a programming framework for the specification and efficient realization of graph rewriting systems. We argue that the performance problems frequently associated with the implementation of the transformation can be significantly reduced by partial evaluation and adopting language constructs that allow algorithmic optimizations.
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
Sztipanovits, J., Karsai, G.: Model-Integrated Computing. Computer, 110–112 (April 1997)
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1998)
The Model Driven Architecture OMG, Needham, MA (2002), http://www.omg.org/mda/
Request For Proposal: MOF 2.0 Query/Views/Transformations, OMG Document: ad/2002-04-10, OMG, Needham, MA (2002)
Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation. World Scientific Publishing Co. Pte. Ltd., Singapore (1997)
Blostein, D., Schürr, A.: Computing with Graphs and Graph Rewriting. Technical Report AIB 97-8, Fachgruppe Informatik, RWTH Aachen, Germany
Schürr, A.: PROGRES for Beginners., Technical Report, Lehrstuhl für Informatik III, RWTH Aachen, Germany
Gottler, H.: Attributed graph grammars for graphics. In: Ehrig, H., Nagl, M., Rozenberg, G. (eds.) Graph Grammars 1982. LNCS, vol. 153, pp. 130–142. Springer, Heidelberg (1983)
Loyall, J., Kaplan, S.: Visual Concurrent Programming with Delta-Grammars. Journal of Visual Languages and Computing 3, 107–133 (1992)
Engels, G., Ehrig, H., Rozenberg, G. (eds.): Special Issue on Graph Transformation Systems. Fundamenta Informaticae 26(3/4) (1996); (1/2), IOS Press (1995)
Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: an algebraic approach. In: Proceedings IEEE Conference on Automata and Switching Theory, pp. 167–180 (1973)
Agrawal, A., Karsai, G., Shi, F.: A UML-based Graph Transformation Approach for Implementing Domain-Specific Model Transformations. Technical report (ISIS), Vanderbilt University, Nashville, TN (2003)
Agrawal, A., Karsai, G., Ledeczi, A.: An End-to-End Domain-Driven Software Development Framework. In: 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Anaheim, California, October 26 (2003)
Karsai, G., Agrawal, A., Shi, F., Sprinkle, J.: On the Use of Graph Transformations for the Formal Specification of Model Interpreters. JUCS (November 2003)
Magyari, E., Bakay, A., Lang, A., Paka, T., Vizhanyo, A., Agrawal, A., Karsai, G.: UDM: An Infrastructure for Implementing Domain-Specific Modeling Languages. In: The 3rd OOPSLA Workshop on Domain-Specific Modeling, OOPSLA 2003, Anaheim, California, October 26 (2003)
Gamma, Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley, Reading (1995)
Aßmann, A.: OPTIMIX, A Tool for Rewriting and Optimizing Programs. Technical Report, University of Karslruhe, Germany (1998)
Zundorf, A.: Graph Pattern Matching in PROGRES. In: Graph Grammars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA (1994)
CLEAN: Version 2.0 Language Report, Software Technology department, University of Nijmegen, The Netherlands
Agrawal, A., Simon, G., Karsai, G.: Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Transformations. In: International Workshop on Graph Transformation and Visual Modeling Techniques, Barcelona, Spain, March 27 (2004)
W3C. XSL Transformations, XSLT (1999), http://www.w3.org/TR/xslt
Nickel, U., Niere, J., Zundorf, A.: Tool demonstration: The FUJABA environment. In: Proc. ICSE: The 22nd International Conference on Software Engineering, Limerick, Ireland, ACM Press, New York (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vizhanyo, A., Agrawal, A., Shi, F. (2004). Towards Generation of Efficient Transformations. In: Karsai, G., Visser, E. (eds) Generative Programming and Component Engineering. GPCE 2004. Lecture Notes in Computer Science, vol 3286. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30175-2_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-30175-2_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23580-4
Online ISBN: 978-3-540-30175-2
eBook Packages: Springer Book Archive