References

  1. Thorsten Arendt, Enrico Biermann, Stefan Jurack, Christian Krause & Gabriele Taentzer (2010): Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. In: MODELS 2010, LNCS 6394. Springer, pp. 121–135, doi:10.1007/978-3-642-16145-2_9.
  2. András Balogh & Dániel Varró (2006): Advanced Model Transformation Language Constructs in the VIATRA2 Framework. In: SAC 2006. ACM, pp. 1280–1287, doi:10.1145/1141277.1141575.
  3. Egon Börger (2005): Abstract State Machines: a Unifying View of Models of Computation and of System Design Frameworks. Ann. Pure Appl. Logic 133(1-3), pp. 149–171, doi:10.1016/j.apal.2004.10.007.
  4. Andrea Corradini, Reiko Heckel & Ugo Montanari (2000): Graphical Operational Semantics. In: ICALP Satellite Workshops, pp. 411–418.
  5. Markus von Detten, Christian Heinzemann, Marie Christin Platenius, Jan Rieke, Dietrich Travkin & Stephan Hildebrandt (2012): Story Diagrams - Syntax and Semantics. Technical Report. University of Paderborn.
  6. Hartmut Ehrig, Karsten Ehrig, Ulrike Prange & Gabriele Taentzer (2006): Fundamentals of Algebraic Graph Transformation. Springer-Verlag New York, Inc., Secaucus, NJ, USA, doi:10.1007/3-540-31188-2.
  7. Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel & Stefan Sauer (2000): Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In: UML 2000, LNCS 1939. Springer, pp. 323–337, doi:10.1007/3-540-40011-7_23.
  8. Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon & Maria Zimakova (2012): Modelling and Analysis using GROOVE. STTT 14(1), pp. 15–40, doi:10.1007/s10009-011-0186-x.
  9. David Harel & Amnon Naamad (1996): The STATEMATE Semantics of Statecharts. ACM Trans. Softw. Eng. Methodol. 5(4), pp. 293–333, doi:10.1145/235321.235322.
  10. Reiko Heckel & Stefan Sauer (2001): Strengthening UML Collaboration Diagrams by State Transformations. In: FASE 2001, LNCS 2029. Springer, pp. 109–123, doi:10.1007/3-540-45314-8_9.
  11. Reiko Heckel & Albert Zündorf (2001): How to Specify a Graph Transformation Approach - A Meta Model for Fujaba. Electr. Notes Theor. Comput. Sci. 44(4), pp. 41–51, doi:10.1016/S1571-0661(04)80942-3.
  12. Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer & Gerd Wierse (2009): Object Flow Definition for Refined Activity Diagrams. In: FASE 2009, LNCS 5503. Springer Berlin Heidelberg, pp. 49–63, doi:10.1007/978-3-642-00593-0_4.
  13. Christoph Knieke & Ursula Goltz (2010): An Executable Semantics for UML 2 Activity Diagrams. In: Proc. of FML. ACM, New York, NY, USA, pp. 3:1–3:5, doi:10.1145/1943397.1943400.
  14. Hans-Jörg Kreowski, Sabine Kuske & Grzegorz Rozenberg (2008): Graph Transformation Units - An Overview. In: Concurrency, Graphs and Models, LNCS 5065. Springer, pp. 57–75, doi:10.1007/978-3-540-68679-8_5.
  15. Michael Löwe & Martin Beyer (1993): AGG - An Implementation of Algebraic Graph Rewriting. In: Claude Kirchner: RTA-93, LNCS 690. Springer, pp. 451–456, doi:10.1007/978-3-662-21551-7_36.
  16. Gordon D. Plotkin (2004): A Structural Approach to Operational Semantics. J. Log. Algebr. Program. 60-61, pp. 17–139, doi:10.1016/j.jlap.2004.03.009.
  17. Grzegorz Rozenberg (1997): Handbook of Graph Grammars and Computing by Graph Transformation: Volume I. Foundations. World Scientific Publishing Co., Inc., River Edge, NJ, USA.
  18. Douglas C. Schmidt (2006): Guest Editor's Introduction: Model-Driven Engineering. Computer 39(2), pp. 25–31, doi:10.1109/MC.2006.58.
  19. Andy Schürr, A. J. Winter & Albert Zündorf (1999): The PROGRES-Approach: Language and Environment. In: Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2. World Scientific, pp. 487–550, doi:10.1142/9789812815149_0013.
  20. Harald Störrle & Jan Hendrik Hausmann (2005): Towards a Formal Semantics of UML 2.0 Activities. In: SE 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, pp. 117–128.
  21. Zoltán Ujhelyi, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, Benedek Izsó, István Ráth, Zoltán Szatmári & Dániel Varró (2015): EMF-IncQuery: An Integrated Development Environment for Live Model Queries. SCP 98(1), pp. 80–99, doi:10.1016/j.scico.2014.01.004.
  22. Albert Zündorf (2002): Rigorous Object Oriented Software Development. Habilitation thesis, draft version 0.3. University of Paderborn.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org