Proceedings of the Third International Conference on Theory and Practice of Model Transformations
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Laurence Tratt, Martin Gogolla
Proceedings of the Third International Conference on Theory and Practice of Model Transformations
ICMT, 2010.

Full names Links ISxN
	address       = "Malaga, Spain",
	doi           = "10.1007/978-3-642-13688-7",
	editor        = "Laurence Tratt and Martin Gogolla",
	isbn          = "978-3-642-13687-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third International Conference on Theory and Practice of Model Transformations}",
	volume        = 6142,
	year          = 2010,

Event page:


  • General Chair: Martin Gogolla
  • Program Chair: Laurence Tratt
  • Program Committee: Andreas Rummler, Andreas Winter, Andy Schürr, Antonio Cicchetti, Bernhard Rumpe, Bran Selic, Charles Consel, Dániel Varró, Davide Di Ruscio, Dimitris S. Kolovos, Eelco Visser, Esperanza Marcos, Francesco Parisi-Presicce, Frédéric Jouault, Gabriele Täntzer, Gerti Kappel, Gregor Engels, Günter Kniesel, Howard Ho, Ivan Kurtev, Ivan Porres, Jens Weber, Jesús García Molina, Jim Steel, Jon Whittle, Jordi Cabot, Kelly Androutsopoulos, Luciano Baresi, Marc Pantel, Nicolas Rouquette, Orlando Avila-García, Piero Fraternali, Reiko Heckel, Stuart Kent, Thomas Kühne, Tony Clark, Vicente Pelechano, Vinay Kulkarni, Yasemin Topaloglu, Zhenjiang Hu
  • Publicity Chair: Dennis Wagelaar
  • Steering Committee: Jean Bézivin, Jeff Gray, Richard F. Paige, Alfonso Pierantonio, Antonio Vallecillo
  • Contents (18 items)

    ICMT-2010-BrambillaCT #modelling #perspective
    Search Computing: A Model-Driven Perspective (MB, SC, MT), pp. 1–15.
    ICMT-2010-AzanzaBDT #composition
    Domain-Specific Composition of Model Deltas (MA, DSB, OD, ST), pp. 16–30.
    ICMT-2010-BehrensP #generative #modelling
    Temporal Model-Based Diagnostics Generation for HVAC Control Systems (MB, GMP), pp. 31–44.
    ICMT-2010-CabotCGL #graph transformation #ocl #synthesis
    Synthesis of OCL Pre-conditions for Graph Transformation Rules (JC, RC, EG, JdL), pp. 45–60.
    ICMT-2010-DiskinXC #bidirectional #model transformation
    From State- to Delta-Based Bidirectional Model Transformations (ZD, YX, KC), pp. 61–76.
    ICMT-2010-FiorentiniMOP #approach #model transformation #testing
    A Constructive Approach to Testing Model Transformations (CF, AM, MO, IP), pp. 77–92.
    ICMT-2010-GronmoM #diagrams #graph transformation #sequence chart #state machine
    From Sequence Diagrams to State Machines by Graph Transformation (RG, BMP), pp. 93–107.
    ICMT-2010-HeidenreichKA #composition
    Safe Composition of Transformations (FH, JK, UA), pp. 108–122.
    ICMT-2010-JouaultT #atl #execution #incremental #towards
    Towards Incremental Execution of ATL Transformations (FJ, MT), pp. 123–137.
    ICMT-2010-KolovosRMPPF #navigation
    Constructing and Navigating Non-invasive Model Decorations (DSK, LMR, NDM, RFP, FACP, KJF), pp. 138–152.
    ICMT-2010-LangerWK #model transformation
    Model-to-Model Transformations By Demonstration (PL, MW, GK), pp. 153–167.
    ICMT-2010-Perez-CastilloGP #implementation #process #qvt
    Implementing Business Process Recovery Patterns through QVT Transformations (RPC, IGRdG, MP), pp. 168–183.
    ICMT-2010-RoseKPP #migration
    Model Migration with Epsilon Flock (LMR, DSK, RFP, FACP), pp. 184–198.
    Exceptional Transformations (ES, JK, HV), pp. 199–214.
    ICMT-2010-TisiCJ #atl #higher-order
    Improving Higher-Order Transformations Support in ATL (MT, JC, FJ), pp. 215–229.
    ICMT-2010-TroyaV #atl #logic #semantics #towards
    Towards a Rewriting Logic Semantics for ATL (JT, AV), pp. 230–244.
    ICMT-2010-VoigtH #distance #edit distance #graph #metamodelling
    Metamodel Matching Based on Planar Graph Edit Distance (KV, TH), pp. 245–259.
    Surviving the Heterogeneity Jungle with Composite Mapping Operators (MW, GK, AK, WR, JS, WS), pp. 260–275.

    Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
    Hosted as a part of SLEBOK on GitHub.