A graph-transformation-based simulation approach for analysing aspect interference on shared join points

Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development, AOSD'09

Volumn , Issue , 2009, Pages 39-50

  Aksit, Mehmet ^a   Rensink, Arend ^a   Staijen, Tom ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

Verification

Indexed keywords

ASPECT COMPOSITIONS; BASE SYSTEMS; ENTIRE SYSTEM; GRAPH TRANSFORMATIONS; GRAPH-BASED MODELS; JOIN POINT; LABELLED TRANSITION SYSTEMS; LANGUAGE SEMANTICS; PRODUCTION SYSTEM; RUNTIMES; SIMULATION APPROACH; SIMULATION RESULT; STATE REPRESENTATION;

COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; PRODUCTION ENGINEERING; SEMANTICS; SOFTWARE DESIGN;

SIMULATORS;

EID: 70450232002     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1509239.1509247     Document Type: Conference Paper

References (27)

1. Mark Arends. A simulation of the java virtual machine using graph grammars. In Master thesis. 2003.
2. Lodewijk Bergmans and Mehmet Akşit. Principles and design rationale of composition filters. In Robert E. Filman, Tzilla Elrad, Siobhán Clarke, and Mehmet Akşit, editors, Aspect-Oriented Software Development, pages 63-95. Addison-Wesley, Boston, 2005.
3. Curtis Clifton and Gary T. Leavens. Observers and assistants: A proposal for modular aspect-oriented reasoning. In Ron Cytron and Gary T. Leavens, editors, FOAL 2002: Foundations of Aspect-Oriented Languages (AOSD-2002), pages 33-44, March 2002.
4. Andrea Corradini, Fernando L. Dotti, Luciana Foss, and Leila Ribeiro. Translating java into graph transformation systems. In Hartmut Ehrig, Gregor Engels, Fransesco Parisi-Presicce, and Grzegorz Rozenberg, editors, Second International Conference on Graph Transformation (ICGT), volume 3256 of Lecture Notes in Computer Science, pages 383-389. Springer-Verlag, 2004.
5. Rémi Douence, Simplice Djoko Djoko, Pascal Fradet, and Didier Le Botlan. Towards a common aspect semantic base (casb). In Deliverable 54, AOSD-Europe, EU Network of Excellence in AOSD, August 2006.
6. Eyal Dror and Shmuel Katz. The revised architecture of the cape. In Deliverable 42, AOSD-Europe, EU Network of Excellence in AOSD, August 2006.
7. Hartmut Ehrig, R. Heckel, Martin Korff, M. Löwe, L. Ribeiro, A. Wagner, and Andrea Corradini. Algebraic approaches to graph transformation, part II: Single pushout approach and comparison with double pushout approach. In Rozenberg [23].
8. Max Goldman and Shmuel Katz. Maven: Modular aspect verification. In Orna Grumberg and Michael Huth, editors, TACAS, volume 4424 of Lecture Notes in Computer Science, pages 308-322. Springer, 2007.
9. Jan Hendrik Hausmann. Dynamic Meta Modelling: A Semantics Description Technique for Visual Modeling Languages. PhD thesis, University of Paderborn, 2006.
10. Wilke Havinga, Istvan Nagy, Lodewijk Bergmans, and Mehmet Aksit. A graph-based approach to modeling and detecting composition conflicts related to introductions. In AOSD '07: Proceedings of the 6th international conference on Aspect-oriented software development, Vancouver, Canada, pages 85-95, New York, NY, USA, 2007. ACM Press.
11. D. Janssens. Actor grammars and local actions. In Grzegorz Rozenberg, Hartmut Ehrig, et al., editors, Handbook of Graph Grammars and Computing by Graph Transformation, volume III: Parallelism, Concurrency and Distribution, chapter 2, pages 57-106. World Scientific, Signapore, 1999.
12. Rod Johnson, Juergen Hoeller, Alef Arendsen, Colin Sampaleanu, Rob Harrop, Thomas Risberg, Darren Davison, Dmitriy Kopylenko, Mark Pollack, Thierry Templier, Erwin Vervaet Portia Tung, Ben Hale, Adrian Colyer, John Lewis, Costin Leau, and Rick Evans. Aspect oriented programming with spring. In The Spring Framework - Reference Documentation.
13. H. Kastenberg, A. G. Kleppe, and A. Rensink. Defining object-oriented execution semantics using graph transformations. In R. Gorrieri and H. Wehrheim, editors, Proceedings of the 8th IFIP International Conference on Formal Methods for Open-Object Based Distributed Systems, Bologna, Italy, volume 4037 of Lecture Notes in Computer Science, pages 186-201, London, June 2006. Springer Verlag.
14. Harmen Kastenberg, Anneke Kleppe, and Arend Rensink. Defining object-oriented execution semantics using graph transformations. In R. Gorrieri and H. Wehrheim, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS), volume 4037 of Lecture Notes in Computer Science, pages 186-201. Springer-Verlag, 2006.
15. Shmuel Katz. Aspect categories and classes of temporal properties. In Awais Rashid and Mehmet Aksit, editors, T. Aspect-Oriented Software Development I, volume 3880 of Lecture Notes in Computer Science, pages 106-134. Springer, 2006.
16. Günter Kniesel. Detection and resolution of weaving interactions. Transactions on Aspect-Oriented Programming, LNCS(submitted), 2007. Special issue on Aspect Dependencies and Interactions, edited by Ruzanna Chitchyan, Johan Fabry, Shmuel Katz, Arend Rensink.
17. Bert Lagaisse, Wouter Joosen, and Bart De Win. Managing semantic interference with aspect integration contracts. In Lodewijk Bergmans, Kris Gybels, Peri Tarr, and Erik Ernst, editors, SPLAT: Software engineering Properties of Languages for Aspect, March 2004.
18. Istvan Nagy, Lodewijk Bergmans, and Mehmet Aksit. Composing aspects at shared join points. In Andreas Polze Robert Hirschfeld, Ryszard Kowalczyk and Mathias Weske, editors, Proceedings of International Conference NetObjectDays (NODe), volume P-69 of Lecture Notes in Informatics, Erfurt, Germany, Sep 2005. Gesellschaft für Informatik (GI).
19. Renaud Pawlak, Laurence Duchien, and Lionel Seinturier. CompAr: Ensuring safe around advice composition. In M. Steffen and G. Zavattaro, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS), volume 3535 of Lecture Notes in Computer Science, pages 163-178, 2005.
20. D. Plump. Term graph rewriting. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, volume II: Applications, Languages and Tools. World Scientific, Singapore, 1999.
21. Arend Rensink. The GROOVE simulator: A tool for state space generation. In J. Pfalz, M. Nagl, and B. Böhlen, editors, Applications of Graph Transformations with Industrial Relevance (AGTIVE), volume 3062 of Lecture Notes in Computer Science, pages 479-485. Springer-Verlag, 2004.
22. Martin Rinard, Alexandru Salcianu, and Suhabe Bugrara. A classification system and analysis for interactions in aspect-oriented programs. In Foundations of Software Engineering (FOSE). ACM, October 2004.
23. Grzegorz Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, volume I: Foundations. World Scientific, Singapore, 1997.
24. Marcelo Sihman and Shmuel Katz. Superimpositions and aspect-oriented programming. The Computer Journal, 46(5):529-541, September 2003.
25. Ruben Smelik, Arend Rensink, and Harmen Kastenberg. Specification and construction of control flow semantics. In IEEE Symposium on Visual Languages and Human-Centric Computing, 2006.
26. Niek Sombekke. Graph-based semantics of the. net intermediate language. In Master thesis. May 2003.
27. Maximilian Storzer and Florian Forster. Detecting precedence-related advice interference. In ASE, pages 317-322. IEEE Computer Society, 2006.