Laurence Tratt, Martin Gogolla
Proceedings of the Third International Conference on Theory and Practice of Model Transformations
ICMT, 2010.
@proceedings{ICMT-2010,
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,
}
Committee
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 VallecilloContents (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.
- ICMT-2010-SyrianiKV
- 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.
- ICMT-2010-WimmerKKRSS
- Surviving the Heterogeneity Jungle with Composite Mapping Operators (MW, GK, AK, WR, JS, WS), pp. 260–275.
