Lecture Notes in Computer Science 6707

Transcription

1 Lecture Notes in Computer Science 6707 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Germany Madhu Sudan Microsoft Research, Cambridge, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbruecken, Germany

2 Jordi Cabot Eelco Visser (Eds.) Theory and Practice of Model Transformations 4th International Conference, ICMT 2011 Zurich, Switzerland, June 27-28, 2011 Proceedings 13

3 Volume Editors Jordi Cabot INRIA / École des Mines de Nantes 4, rue Alfred Kastler Nantes France jordi.cabot@inria.fr Eelco Visser Delft University of Technology Faculty Electrical Engineering, Mathematics and Computer Science Mekelweg CD Delft The Netherlands e.visser@tudelft.nl ISSN e-issn ISBN e-isbn DOI / Springer Heidelberg Dordrecht London New York Library of Congress Control Number: CR Subject Classification (1998): D.2, F.3, D.3, C.2, K.6, D.2.4 LNCS Sublibrary: SL 2 Programming and Software Engineering Springer-Verlag Berlin Heidelberg 2011 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper Springer is part of Springer Science+Business Media (

4 Preface This volume contains the papers presented at the International Conference on Model Transformation (ICMT 2011) held during June 27 28, 2011 in Zürich, Switzerland. Modeling is a key element in reducing the complexity of software systems during their development and maintenance. Model transformations are essential for elevating models from documentation elements to first-class artifacts of the development process. Model transformation includes model-to-text transformation to generate code from models, text-to-model transformations to parse textual representations to model representations, model extraction to derive higher-level models from legacy code, and model-to-model transformations to normalize, weave, optimize, and refactor models, as well as to translate between modeling languages. Model transformation encompasses a variety of technical spaces, including modelware, grammarware, and XML-ware, a variety of transformation representations including graphs, trees, and DAGs, and a variety of transformation paradigms including rule-based graph transformation, term rewriting, and implementations in general-purpose programming languages. The study of model transformation includes foundations, semantics, structuring mechanisms, and properties (such as modularity, composability, and parameterization) of transformations, transformation languages, techniques, and tools. An important goal of the field is the development of high-level declarative model transformation languages, providing model representations of transformations that are amenable to higher-order model transformation. To achieve an impact on software engineering practice, tools and methodologies to integrate model transformation into existing development environments and processes are required. ICMT is the premier forum for the presentation of contributions that advance the state of the art in the field of model transformation and aims to bring together researchers from all areas of model transformation. This was the fourth edition of the conference. We received 62 abstracts, of which 51 materialized as full papers, and 14 were eventually selected a 27% acceptance rate. Each submission was reviewed by at least three Program Committee members and on average by four Program Committee members. One of the submitted papers was also submitted to TOOLS Europe 2011 and was rejected by both conferences without reviews. Three papers were first conditionally accepted and subjected to a review of the revision taking into account reviewer comments. The program also included an invited talk and paper by Alexander Egyed, who unfolded his research agenda for smart assistance in interactive model transformation.

5 VI Preface A conference such as ICMT is made possible by the collaboration of many people. We were supported by a great team. As Publicity Chair, Dimitris Kolovos worked the mailing lists and designed a stylish poster. Davide Di Ruscio maintained the website using the model-driven becontent Web application tool. The Steering Committee provided advice when we needed it. We thank the TOOLS teams headed by Bertrand Meyer for taking care of the organization of the conference. We used EasyChair to manage the submission process and the production of the proceedings. Finally, we like to thank the authors, Program Committee members, and external reviewers who did the real work that makes a conference. April 2011 Jordi Cabot Eelco Visser

6 Organization Program Committee Paolo Atzeni Marco Brambilla Jordi Cabot Antonio Cicchetti Tony Clark James R. Cordy Krzysztof Czarnecki Juan De Lara Gregor Engels Jean-Marie Favre Nate Foster Jesus Garcia-Molina Reiko Heckel Zhenjiang Hu Jendrik Johannes Gerti Kappel Günter Kniesel Thomas Kuehne Ivan Kurtev Ralf Laemmel Oscar Nierstrasz Bernhard Rumpe Andy Schürr Perdita Stevens Simon Thompson Mark Van Den Brand Pieter Van Gorp Eric Van Wyk Hans Vangheluwe Daniel Varro Jurgen Vinju Eelco Visser Janis Voigtländer Dennis Wagelaar Università RomaTre,Italy Politecnico di Milano, Italy INRIA-École des Mines de Nantes, France Mälardalen University, Sweden Middlesex University, UK School of Computing, Queen s University, UK University of Waterloo, Canada Universidad Autonoma de Madrid, Spain University of Paderborn, Germany University of Grenoble, France Cornell University, USA Universidad de Murcia, Spain University of Leicester, UK National Institute of Informatics, Japan Technische Universität Dresden, Germany Vienna University of Technology, Austria University of Bonn, Germany Victoria University of Wellington, New Zealand University of Twente, The Netherlands Universität Koblenz-Landau, Germany University of Bern, Switzerland RWTH Aachen University, Germany TU Darmstadt, Germany University of Edinburgh, UK University of Kent, UK Eindhoven University of Technology, The Netherlands Eindhoven University of Technology, The Netherlands University of Minnesota, USA McGill University, School of Computer Science, Canada Budapest University of Technology and Economics, Hungary Centrum Wiskunde en Informatica, The Netherlands Delft University of Technology, The Netherlands University of Bonn, Germany Vrije Universiteit Brussel, Belgium

7 VIII Organization Additional Reviewers A Alalfi, Manar Andova, Suzana B Bak, Kacper Basten, Bas Bencomo, Nelly Branco, Moises Brosch, Petra C Canovas, Javier Luis Christ, Fabian Cleophas, Loek D De Jonge, Maartje E Engelen, Luc G Gldali, Baris Groenewegen, Danny H Hildebrandt, Roland Horváth, Ákos K Khan, Tamim Kurpick, Thomas L Langer, Philip Legros, Elodie Lungu, Mircea M Martel, Matthieu Meyers, Bart Mezei, Gergely N Nagy, Istvan Navarro Perez, Antonio P Perin, Fabrizio Pinkernell, Claas Q Qayum, Fawad R Rendel, Holger Ressia, Jorge Rossini, Alessandro Ráth, István S Schwarz, Niko Seidl, Martina Semenyak, Maria Serebrenik, Alexander Soltenborn, Christian Stephan, Matthew Stevenson, Andrew Syriani, Eugene Sánchez Cuadrado, Jesús Sánchez Ramón, Óscar V Van Amstel, Marcel Van Der Storm, Tijs Van Der Straeten, Ragnhild Varro, Gergely Verwaest, Toon W Wachsmuth, Guido Wang, Meng Weisemoeller, Ingo Wernli, Erwann Wieber, Martin Wimmer, Manuel

8 Table of Contents Fine-Tuning Model Transformation: Change Propagation in Context of Consistency, Completeness, and Human Guidance... 1 Alexander Egyed, Andreas Demuth, Achraf Ghabi, Roberto Lopez-Herrejon, Patrick Mäder, Alexander Nöhrer, and Alexander Reder Optimization of Visitor Performance by Reflection-Based Analysis Markus Lepper and Baltasar Trancón y Widemann A Comparison of Rule Inheritance in Model-to-Model Transformation Languages Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Dimitris Kolovos, Richard Paige, Marius Lauder, Andy Schürr, and Dennis Wagelaar Model-Driven Development of Model Transformations Kevin Lano and Shekoufeh Kolahdouz-Rahimi Generic Model Transformations: Write Once, Reuse Everywhere Jesús Sánchez Cuadrado, Esther Guerra, and Juan de Lara Combining Specification-Based and Code-Based Coverage for Model Transformation Chains Eduard Bauer and Jochen M. Küster A Transformation Workbench for Building Information Models Jim Steel, Keith Duddy, and Robin Drogemuller Model Transformation Analysis: Staying Ahead of the Maintenance Nightmare Marcel F. van Amstel and Mark G.J. van den Brand Iterative Development of Consistency-Preserving Rule-Based Refactorings Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, and Holger Giese Toward Bidirectionalization of ATL with GRoundTram Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, and Keisuke Nakano

9 X Table of Contents An Evaluation of the Graphical Modeling Framework (GMF) Based on the Development of the CORAS Tool Fredrik Seehusen and Ketil Stølen A Graph Query Language for EMF Models Gábor Bergmann, Zoltán Ujhelyi, István Ráth, and Dániel Varró The GReTL Transformation Language Tassilo Horn and Jürgen Ebert Performance in Model Transformations: Experiments with ATL and QVT Marcel van Amstel, Steven Bosems, Ivan Kurtev, and Luís Ferreira Pires A Demonstration-Based Approach to Support Live Transformations in amodeleditor Yu Sun, Jeff Gray, Christoph Wienands, Michael Golm, and Jules White Author Index