ICMT 2010: Final Call for Participation



ICMT 2010: Final Call for Participation

From: Dennis Wagelaar <dennis.wagelaar_at_vub.ac.be>
Date: Fri, 18 Jun 2010 12:14:27 +0200
Message-Id: <20100618101427.3FC905900F0@soft.vub.ac.be>
Dear fellow researcher,

Online registration for ICMT 2010 closes after June 23, 2010. Please hurry
if you still need to register!

The list of accepted papers and the conference programme are available
on the conference website. Please find the details below.

We look forward to seeing you at ICMT 2010!

Kind regards,
Dennis Wagelaar

----------------------------------------------------------------------------
        INTERNATIONAL CONFERENCE ON MODEL TRANSFORMATION (ICMT) 2010
                Theory and Practice of Model Transformations

                           Call for Participation

                     Co-located with TOOLS Europe 2010

                    June 28-July 2 2010 - Malaga, Spain

               http://www.model-transformation.org/ICMT2010/
----------------------------------------------------------------------------


  Overview

Modelling is now essential for dealing with the complexity of IT systems
during their development and maintenance processes. As models grow in use
for developing IT systems, transformations between models grow in
importance. Model transformations allow the definition and implementation of
operations on models, and also provide a chain that can enable the automated
development of a system from its corresponding models.

Model transformations require specialized support in order to realize their
full potential; their foundations, semantics, structuring mechanisms, and
properties (e.g., modularity, composability, and parameterization) all
demand further study. Furthermore, model transformations do not sit in
isolation, and require methodological support to integrate into existing
software development practises.

ICMT is the premier forum for the presentation of new results in the area of
model transformations and ICMT 2010 has a strong line-up of papers,
including an invited talk from Stefano Ceri on Search Computing. If model
transformations have relevance to your business or research, we strongly
encourage you to attend ICMT 2010 where you can see the latest work in the
field, and engage in discussion with leading minds.


  Registration

Registration is handled by the TOOLS Conference series. Registration and
accomodation details can be found at:

  http://malaga2010.lcc.uma.es/

Please be sure to check the "ICMT" box when you register. The early
registration deadline is *28 May 2010*.


  Invited paper

Search Computing: a Model-Driven Perspective
Stefano Ceri


  Accepted papers

Domain-Specic Composition of Model Deltas
Maider Azanza, Don Batory, Oscar Díaz and Salvador Trujillo

Temporal Model-Based Diagnostics Generation for HVAC Control Systems
Marion Behrens and Gregory Provan

Synthesis of OCL Pre-Conditions for Graph Transformation Rules
Jordi Cabot, Robert Clarisó, Esther Guerra and Juan de Lara

From State- to Delta-Based Bidirectional Model Transformations
Zinovy Diskin, Yingfei Xiong and Krzysztof Czarnecki

A constructive approach to testing model transformations
Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi and Iman Poernomo

From Sequence Diagrams to State Machines by Graph Transformation
Roy Grřnmo and Birger Mřller-Pedersen

Safe Composition of Transformations
Florian Heidenreich, Jan Kopcsek and Uwe Aßmann

Towards Incremental Execution of ATL Transformations
Frédéric Jouault and Massimo Tisi

Constructing and Navigating Non-Invasive Model Decorations
Dimitrios Kolovos, Louis Rose, Nicholas Drivalos Matragkas, Richard Paige,
Fiona Polack and Kiran Fernandes

Model-to-Model Transformations By Demonstration
Philip Langer, Manuel Wimmer and Gerti Kappel

Implementing Business Process Recovery Patterns through QVT Transformations
Ricardo Pérez-Castillo, Ignacio García-Rodríguez de Guzmán and Mario Piattini

Model Migration with Epsilon Flock
Louis Rose, Dimitrios Kolovos, Richard Paige and Fiona Polack

Exceptional Transformations
Eugene Syriani, Jörg Kienzle and Hans Vangheluwe

Improving Higher-Order Transformations Support in ATL
Massimo Tisi, Jordi Cabot and Frédéric Jouault

Towards a Rewriting Logic Semantics for ATL
Javier Troya and Antonio Vallecillo

Meta-model Matching Based on Planar Graph Edit Distance
Konrad Voigt and Thomas Heinze

Surviving the Heterogeneity Jungle with Composite Mapping Operators
Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes
Schoenboeck and Wieland Schwinger


  Chairs

Programme chair:    Laurence Tratt
Conference chair:   Martin Gogolla
Publicity chairs:   Dennis Wagelaar
Steering committee: Jean Bézivin, Jeff Gray, Richard Paige,
                    Alfonso Pierantonio, Antonio Vallecillo


  Programme committee

Andreas Rummler, Andreas Winter, Andy Schürr, Antonio Cicchetti, Bernhard
Rumpe, Bran Selic, Charles Consel, Daniel Varro, Davide Di Ruscio, Dimitrios
Kolovos, Eelco Visser, Esperanza Marcos, Francesco Parisi-Presicce, Frédéric
Jouault, Gabriele Taentzer, 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-Garcia, Piero Fraternali, Reiko
Heckel, Stuart Kent, Thomas Kühne, Tony Clark, Vicente Pelechano, Vinay
Kulkarni, Yasemin Topaloglu, Zhenjiang Hu
Received on Fri 18 Jun 2010 - 11:14:27 BST