Laurence Tratt, Martin Gogolla
Special Section on Model Transformation — ICMT 2010
ICMT-J-2010, 2011.

@proceedings{ICMT-J-2010,
	editor        = "Laurence Tratt and Martin Gogolla",
	journal       = "{Journal of Object Technology}",
	title         = "{Special Section on Model Transformation — ICMT 2010}",
	volume        = 10,
	year          = 2011,
}

Contents (4 items)

ICMT-J-2010-TroyaV11 #atl #logic #semantics

A Rewriting Logic Semantics for ATL (JT, AV), pp. 108–136.

ICMT-J-2010-DiskinXC11 #bidirectional #model transformation #symmetry

From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case (ZD, YX, KC), pp. 137–161.

ICMT-J-2010-HeidenreichKA11 #composition

Safe Composition of Transformations (FH, JK, UA), pp. 162–181.

ICMT-J-2010-GronmoM11 #diagrams #graph transformation #sequence chart #state machine #uml

From UML 2 Sequence Diagrams to State Machines by Graph Transformation (RG, BMP), pp. 182–203.