3. ICMT 2010:
Malaga,
Spain
Laurence Tratt, Martin Gogolla (Eds.):
Theory and Practice of Model Transformations, Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings.
Lecture Notes in Computer Science 6142 Springer 2010, ISBN 978-3-642-13687-0
Invited Paper
Research Papers
- Maider Azanza, Don S. Batory, Oscar Díaz, Salvador Trujillo:
Domain-Specific Composition of Model Deltas.
16-30
- Marion Behrens, Gregory M. Provan:
Temporal Model-Based Diagnostics Generation for HVAC Control Systems.
31-44
- Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara:
Synthesis of OCL Pre-conditions for Graph Transformation Rules.
45-60
- Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki:
From State- to Delta-Based Bidirectional Model Transformations.
61-76
- Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo:
A Constructive Approach to Testing Model Transformations.
77-92
- Roy Grønmo, Birger Møller-Pedersen:
From Sequence Diagrams to State Machines by Graph Transformation.
93-107
- Florian Heidenreich, Jan Kopcsek, Uwe Aßmann:
Safe Composition of Transformations.
108-122
- Frédéric Jouault, Massimo Tisi:
Towards Incremental Execution of ATL Transformations.
123-137
- Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos Matragkas, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes:
Constructing and Navigating Non-invasive Model Decorations.
138-152
- Philip Langer, Manuel Wimmer, Gerti Kappel:
Model-to-Model Transformations By Demonstration.
153-167
- Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán, Mario Piattini:
Implementing Business Process Recovery Patterns through QVT Transformations.
168-183
- Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
Model Migration with Epsilon Flock.
184-198
- Eugene Syriani, Jörg Kienzle, Hans Vangheluwe:
Exceptional Transformations.
199-214
- Massimo Tisi, Jordi Cabot, Frédéric Jouault:
Improving Higher-Order Transformations Support in ATL.
215-229
- Javier Troya, Antonio Vallecillo:
Towards a Rewriting Logic Semantics for ATL.
230-244
- Konrad Voigt, Thomas Heinze:
Metamodel Matching Based on Planar Graph Edit Distance.
245-259
- Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger:
Surviving the Heterogeneity Jungle with Composite Mapping Operators.
260-275
Last update Fri May 25 08:19:59 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page