Defining object-oriented execution semantics using graph transformations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4037 LNCS, Issue , 2006, Pages 186-201

  Kastenberg, Harmen ^a   Kleppe, Anneke ^a   Rensink, Arend ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; GRAPHIC METHODS; SEMANTICS; SOFTWARE ENGINEERING;

DYNAMIC SEMANTICS; FORMAL VERIFICATION; GRAPH TRANSFORMATIONS; SOFTWARE LANGUAGES;

OBJECT ORIENTED PROGRAMMING;

EID: 33746255465     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11768869_15     Document Type: Conference Paper

References (27)

1. M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer, 1996.
2. E. Abraham, F. S. de Boer, W.-P. de Roever, and M. Steffen. Inductive proof outlines for monitors in Java. In E. Najm, U. Nestmann, and P. Stevens, editors, Formal Methods for Open Object-based Distributed Systems, volume 2884 of Lecture Notes in Computer Science, pages 155-169. Springer, 2003.
3. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
4. K. Bruce, J. Crabtree, and G. Kanapathy. An operational semantics for TOOPLE: A statically-typed object-oriented programming language. In S. Brookes, M. Main, A. Melton, M. Mislove, and D. Schmidt, editors, Mathematical Foundations of Programming Semantics, volume 802 of Lecture Notes in Computer Science, pages 603-626. Springer, 1994.
5. T. Clark, A. Evans, S. Kent, S. Brodsky, and S. Cook. A feasibility study in rearchitecting UML as a family of languages using a precise OO meta-modelling approach, September 2000. Version 1.0 available from www.puml.org.
6. A. Corradini, F. L. Dotti, L. Foss, and L. Ribeiro. Translating Java code to graph transformation systems. In H. Ehrig, G. Engels, F. Parisi-Presicce, and G. Rozenberg, editors, Proceedings of the 2nd International Conference on Graph Transformations (ICGT'04), volume 3256 of Lecture Notes in Computer Science, pages 383-398. Springer, 2004.
7. F. S. de Boer and C. Pierik. How to cook a complete hoare logic for your pet OO language. In F. S. de Boer, M. M. Bonsangue, S. Graf, and W.-P. de Roever, editors, Formal Methods for Components and Objects (FMCO'04), volume 3188 of Lecture Notes in Computer Science, pages 111-133. Springer, 2004.
8. G. Engels, J. H. Hausmann, R. Heckel, and S. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In A. Evans, S. Kent, and B. Selic, editors, Proceedings of the Third International Conference on the Unified Modelling Language (UML2000), volume 1939 of Lecture Notes in Computer Science, pages 323-337. Springer, 2000.
9. N. E. Fenton and S. L. Pfleeger. Software Metrics: A Rigorous & Practical Approach. International Thomsen Publishing Inc., 2nd edition, 1997.
10. A. Habel, R. Heckel, and G. Taentzer. Graph grammars with negative application conditions. Fundamenta Informaticae, 26(3-4): 287-313, 1996.
11. J. H. Hausmann. Dynamic Meta Modeling, A Semantics Description technique for Visual Modeling Languages. PhD thesis, University of Paderborn, 2006.
12. im B. Bruce, A. Schuett, R. van Gent, and A. Fiech. PolyTOIL: A type-safe polymorphic object-oriented language. ACM Trans. Program. Lang. Syst., 25(2):225-290, 2003.
13. H. Kastenberg, A. Kleppe, and A. Rensink. Engineering object-oriented semantics using graph transformations. CTIT Technical Report 06-12, University of Twente, 2006. Available at http://www.cs.utwente.nl/~kastenbe/papers/taal. pdf.
14. A. Kleppe. Taal eclipse plugin, 2006. Available from http://www.klasse. nl/ english/research/taal-install.html.
15. A. Kleppe and J. Warmer. Unification of static and dynamic semantics of UML, a study in redefining the semantics of the UML using the pUML OO meta modelling approach. Technical report, Klasse Objecten, July 2001. Available at http://www.klasse.nl/papers/unification-report.pdf.
16. S. Kuske, M. Gogolla, R. Kollmann, and H.-J. Kreowski. An integrated semantics for UML class, object and state diagrams based on graph transformation. In M. J. Butler, L. Petre, and K. Sere, editors, Proceedings of the 3rd International Conference on Integrated Formal Methods (IFM'02), volume 2335 of Lecture Notes in Computer Science, pages 11-28. Springer, 2002.
17. OMG. MDA guide version 1.0.1, June 2003. Available from www.omg.org.
18. OMG. UML 2.0 OCL specification, October 2003. Available from www.omg.org.
19. B. C. Pierce. Types and Programming Languages. The MIT Press, 2002.
20. A. Rensink. The GROOVE Simulator: A tool for state space generation. In J. L. Pfaltz, M. Nagl, and B. Böhlen, editors, Applications of Graph Transformations with Industrial Relevance (AGTIVE'03), volume 3062 of Lecture Notes in Computer Science, pages 479-485. Springer, 2004.
21. A. Rensink. The Groove Tool Set, 2005. Available from http://groove.sf.net.
22. A. Rensink. The joys of graph transformation. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 9, 2005.
23. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, volume I: Foundations. World Scientific, 1997.
24. R. M. Smelik. Specification and construction of control flow semantics. Master's thesis, University of Twente, January 2006.
25. D. Varro. A formal semantics of UML statecharts by model transition systems. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Proceedings of the 1st International Conference, on Graph Transformation (ICGT'02), volume 2505 of Lecture Notes in Computer Science, pages 378-392. Springer, 2002.
26. G. Winskel. The formal semantics of programming languages: an introduction. MIT Press, 1993.
27. K.-B. Zhang, M. A. Orgun, and K. Zhang. Visual language semantics specification in the vispro system. In J. S. Jin, P. Eades, D. D. Feng, and H. Yan, editors, VIP, volume 22 of CRPIT. Australian Computer Society, 2002.