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.
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.
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.
Andrea Corradini, Reiko Heckel & Ugo Montanari (2000):
Graphical Operational Semantics.
In: ICALP Satellite Workshops,
pp. 411–418.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Grzegorz Rozenberg (1997):
Handbook of Graph Grammars and Computing by Graph Transformation: Volume I. Foundations.
World Scientific Publishing Co., Inc.,
River Edge, NJ, USA.
Douglas C. Schmidt (2006):
Guest Editor's Introduction: Model-Driven Engineering.
Computer 39(2),
pp. 25–31,
doi:10.1109/MC.2006.58.
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.
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.
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.
Albert Zündorf (2002):
Rigorous Object Oriented Software Development.
Habilitation thesis, draft version 0.3.
University of Paderborn.