On the use of graph transformation in the formal specification of model interpreters

Journal of Universal Computer Science

Volumn 9, Issue 11, 2003, Pages 1296-1321

  Karsai, Gabor ^a   Agrawal, Aditya ^a   Shi, Feng ^a   Sprinkle, Jonathan ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

Domain specific modeling languages; Formal specifications; Graph grammars; Graph transformations; Model driven architecture; Model Integrated Computing

Indexed keywords

EID: 23844447942     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (41)

1. Karsai G., Nordstrom, G., Ledeczi A., Sztipanovits J.: "Towards Two-Level Formal Modeling of Computer-Based Systems, Journal of Universal Computer Science"; Vol. 6, No. 11, pp. 1131-1144, November, 2000.
2. Matlab/Simulink/Stateflow tools from Mathworks,Inc.
3. "POLIS: A Framework for Hardware-Software Co-Design of Embedded Systems"; available from http://www-cad.eecs.berkeley.edu/Respep/Research/ hsc/abstract.html
4. RHAPSODY, available from http://www.ilogix.com
5. McMillan K. L.: "Symbolic Model Checking: an approach to the state explosion problem"; CMU Tech Rpt. CMU-CS-92-131.
6. KRONOS, available from http://www-verimag.imag.fr/TEMPORISE/kronos/
7. Maggiolo-Schettini A., Peron A.: "Semantics of Full Statecharts Based on Graph Rewriting"; Springer LNCS 776, 1994, pp. 265-279.
8. Sztipanovits J. and Karsai G.: "Model-Integrated Computing"; Computer, Apr. 1997, pp. 110-112
9. Ledeczi A., et al.: "Composing Domain-Specific Design Environments"; Computer, Nov. 2001, pp. 44-51.
10. Rumbaugh J., Jacobson I., and Booch G.: "The Unified Modeling Language Reference Manual"; Addison-Wesley, 1998.
11. "The Model-Driven Architecture"; http://www.omg.org/mda/, OMG, Needham, MA, 2002.
12. "Request For Proposal: MOF 2.0 Query/Views/Transformations"; OMG Document: ad/2002-04-10, 2002, OMG, Needham, MA.
13. Agrawal A., Levendovszky T., Sprinkle J., Shi F., Karsai G.: "Generative Programming via Graph Transformations in the Model-Driven Architecture"; Workshop on Generative Techniques in the Context of Model Driven Architecture, OOPSLA, Nov. 5, 2002, Seattle, WA.
14. Rozenberg G. (ed.): "Handbook on Graph Grammars and Computing by Graph Transformation: Foundations"; Vol. 1-2. World Scientific, Singapore, 1997
15. Blostein D., Schürr A.: "Computing with Graphs and Graph Transformations"; Software - Practice and Experience 29(3): 197-217, 1999.
16. Assmann U.: "How To Uniformly Specify Program Analysis and Transformation"; in: 6th Int. Conf. on Compiler Construction (CC '96), T. Gyimthy (rd.), Lect. Notes in Comp. Sci., Springer-Verlag, Linkping, Sweden, 1996.
17. Schürr A.: "PROGRES for Beginners"; RWTH Aachen, D-52056 Aachen, Germany.
18. Taentzer G.: "AGG: A Tool Enviroment for Algebraic Graph Transformation"; Proc. of Applications of Graph Transformation with Industrial Relevance, Kerkrade, The Netherlands, LNCS,Springer, 2000.
19. Maggiolo-Schettini A., Peron A.: "Semantics of Full Statecharts Based on Graph Rewriting"; Springer LNCS 776, 1994, pp. 265-279.
20. Kiczales G., Lamping J., Lopes C. V., Maeda C., Mendhekar A., Murphy G.: "Aspect-Oriented Programming"; ECOOP'97, LNCS 1241, Springer. (1997)
21. Simonyi C.: "Intentional Programming: Asymptotic Fun?"; Position Paper, SDP Workshop Vanderbilt University, December 13 - 14, 2001. http://isis.vanderbilt.edu/sdp
22. Milicev D.: "Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments,"; IEEE Transaction on Software Engineering, Vol. 28, No. 4, April 2002, pp. 413-431
23. Wai-Ming Ho, Jean-Marc Jzquel, Alain Le Guennec, and Franois Pennaneac'h.: "UMLAUT: an extendible UML transformation framework,"; Proc. Automated Software Engineering, ASE'99, Florida, October 1999.
24. David H. Akehurst: "Model translation: A uml-based specification technique and active implementation approach"; PhD thesis, Computer Science at Kent University (UK), December 2000.
25. Tony Clark, Andy Evans, Stuart Kent: "Engineering Modelling Languages: A Precise Meta-Modelling Approach"; FASE 2002: 159-173
26. Tony Clark, Andy Evans, Stuart Kent: "The Metamodelling Language Calculus: Foundation Semantics for UML"; FASE 2001: 17-31.
27. Lemesle, R.: "Transformation Rules Based on Meta-Modeling EDOC"; '98, La Jolla, California, 3-5, November 1998, pp. 113-122.
28. Heckel, R. and Kster, J. and Taentzer, G.: "Towards Automatic Translation of UML Models into Semantic Domains"; Proc. of APPLIGRAPH Workshop on Applied Graph Transformation (ACT 2002), Grenoble, France, 2002, pp. 11 - 22.
29. Karsai G.: "Tool Support for Design Patterns"; New Directions in Software Technology 4 Workshop, December, 2001. Available from http://www.isis.vanderbilt.edu.
30. Bakay A., Magyari E.: "The UDM Framework"; www.isis.vanderbilt. edu/Projects/MoBIES/.
31. U. Assmann,: "How to Uniformly specify Program Analysis and Transformation"; Proceedings of the 6 International Conference on Compiler Construction (CC) '96, LNCS 1060, Springer, 1996.
32. A. Maggiolo-Schettini, A. Peron: "A Graph Rewriting Framework for Statecharts Semantics"; Proc. 5th Int. Workshop on Graph Grammars and their Application to Computer Science, 1996.
33. A. Radermacher: "Support for Design Patterns through Graph Transformation Tools"; Applications of Graph Transformation with Industrial Relevance, Monastery Rolduc, Kerkrade, The Netherlands, Sep. 1999.
34. A. Bredenfeld, R. Camposano: "Tool integration and construction using generated graph-based design representations"; Proceedings of the 32nd ACM/IEEE conference on Design automation conference, p.94-99, June 12-16, 1995, San Francisco, CA.
35. U. Assmann: "Aspect Weaving by Graph Rewriting"; Generative Component-based Software Engineering (GCSE), p. 24-36, Oct 1999.
36. H. Gottler: "Attributed graph grammars for graphics"; H. Ehrig, M. Nagl, and G. Rosenberg, editors, Graph Grammars and their Application lo Computer Science, LNCS 153, pages 130-142, Springer-Verlag, 1982.
37. H. Gottler: "Diagram Editors = Graphs + Attributes + Graph Grammars"; International Journal of Man-Machine Studies, Vol 37, No 4, Oct. 1992, pp. 481-502.
38. J. Loyall and S. Kaplan: "Visual Concurrent Programming with Delta-Grammars"; Journal of Visual Languages and Computing, Vol 3, 1992, pp. 107-133.
39. D. Blostein, H. Fahmy, and A. Grbavec: "Practical Use of Graph Rewriting"; 5th Workshop on Graph Grammars and Their Application To Computer Science, Lecture Notes in Computer Science, Heidelberg, 1995.
40. Roger Duke, Gordon Rose and Graeme Smith: "Object-Z: a Specification Language Advocated for the Description of Standards"; TR 94-95, December 1994, Software Verification Research Centre, Department Of Computer Science, The University Of Queensland, Queensland 4072, Australia.
41. Agrawal A., Karsai G., Ledeczi A.: An End-to-End Domain-Driven Software Development Framework, 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Domain-Driven Development Track, Anaheim, CA, October, 2003.