Lecture Notes in Computer Science 5795

Transcription

1 Lecture Notes in Computer Science 5795 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 University of Dortmund, 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 of Computer Science, Saarbruecken, Germany

2 Andy Schürr Bran Selic (Eds.) Model Driven Engineering Languages and Systems 12th International Conference, MODELS 2009 Denver, CO, USA, October 4-9, 2009 Proceedings 13

3 Volume Editors Andy Schürr Technische Universität Darmstadt, Fachgebiet Echtzeitsysteme Merckstraße 25, 64283, Darmstadt, Germany Bran Selic Malina Software Corporation 10 Blueridge Court, Nepean, Ontario, K2J 2J3, Canada Library of Congress Control Number: CR Subject Classification (1998): D.2, D.3, K.6.3, D.2.9, D.1, D.2.2 LNCS Sublibrary: SL 2 Programming and Software Engineering ISSN ISBN Springer Berlin Heidelberg New York ISBN Springer Berlin Heidelberg New York 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. springer.com Springer-Verlag Berlin Heidelberg 2009 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: /

4 Preface The pioneering organizers of the first UML workshop in Mulhouse, France in the summer of 1998 could hardly have anticipated that, in little over a decade, their initiative would blossom into today s highly successful MODELS conference series, the premier annual gathering of researchers and practitioners focusing on a very important new technical discipline: model-based software and system engineering. This expansion is, of course, a direct consequence of the growing significance and success of model-based methods in practice. The conferences have contributed greatly to the heightened interest in the field, attracting much young talent and leading to the gradual emergence of its corresponding scientific and engineering foundations. The proceedings from the MODELS conferences are one of the primary references for anyone interested in a more substantive study of the domain. The 12th conference took place in Denver in the USA, October 4 9, 2009 along with numerous satellite workshops and tutorials, as well as several other related scientific gatherings. The conference was exceptionally fortunate to have three eminent, invited keynote speakers from industry: Stephen Mellor, Larry Constantine, and Grady Booch. A distinguishing feature of this year s conference was the inclusion, for the first time, of a dedicated Empirical Results papers category. The objective was to provide a specific forum for publishing significant results, from both industry and research, of the innovative application of model-based methods in practice, so that the broader community could be better informed of the capabilities and successes of this relatively young discipline. Consequently, a significant proportion of accepted papers belong to this category, indicating an accumulation of pent up high-quality scientific and technical work, which lacked a proper venue in the past and also demonstrating the increasing importance of model-based approaches in practice. The program committee received 248 submissions from 33 countries. A number of papers were co-authored by researchers from different institutions in different countries, indicating a very healthy trend towards scientific collaboration unhampered by institutional and geographic borders. Of these the committee selected 45 full papers and 13 short papers, giving an acceptance rate of 18% and 5%, respectively. As is customary, the program committee selected a small number of exceptional full-paper submissions that received the Most Distinguished ACM SIGSOFT Paper Award. In addition, the best MODELS 2009 submission was chosen for the Springer Best Paper Award. Last but certainly not least, from the papers published in the proceedings of the UML (MODELS) conference, the steering committee selected the one that, in their opinion, had had the

5 VI Preface greatest impact for the Ten-Year Most Influential Paper Award also provided by Springer. We would like to thank everyone who submitted papers as well as proposals for workshops and tutorials. We would also like to express our gratitude to the large number of volunteers who contributed to the success of the conference. As in the past, special kudos are due to Richard van de Stadt, for his unfailing and always timely support of the highly versatile CyberChairPRO system. Last but not least, we would like to thank our sponsors, ACM, Aerospace, IEEE Computer Society, and Springer for their support of the MODELS 2009 conference. October 2009 Andy Schürr Bran Selic Rob Pettit Sudipto Ghosh

6 Organization General Co-chairs Robert Pettit Sudipto Ghosh The Aerospace Corporation, USA ColoradoState University, USA Program Chairs Andy Schürr Technische Universität Darmstadt, Germany (Scientific Paper Category) Bran Selic Malina Software, Canada (Empirical Results Paper Category) Registration Chair Kathy Krell Colorado State University, USA Publicity Co-chairs Arnor Solberg Emanuel Grant SINTEF, Norway University of North Dakota, USA Workshops Chair James M. Bieman Colorado State University, USA Panels Chair Øystein Haugen University ofoslo, Norway Tutorials Chair Thomas Weigert Missouri University of Science and Technology, USA Doctoral Symposium Chair Juergen Dingel Queen s University, Canada

7 VIII Organization Educator s Symposium Co-chairs Robert B. France Martin Gogolla Colorado State University, USA University of Bremen, Germany Scientific Papers Program Committee Aditya Agrawal Egidio Astesiano Hernan Astudilo Balasubramanian Krishnakumar Laurent Balmeli Don Batory Benoit Baudry Jean Bézivin Xavier Blanc Ruth Breu Lionel Briand Jean-Michel Bruel Tony Clark KrzysztofCzarnecki Juan de Lara Jens Dietrich Juergen Dingel Stephane Ducasse Keith Duddy Alexander Egyed Gregor Engels Jean-Marie Favre Franck Fleurey Robert B. France David Frankel Lidia Fuentes Harald Gall Dragan Gasevic Geri Georg Sébastien Gérard Holger Giese Tudor Girba Martin Gogolla Susanne Graf Emanuel Grant The Mathworks Inc., USA Università di Genova, Italy Universidad Tecnica Federico Santa Maria, Chile The MathWorks Inc., USA IBM, Japan University of Texas, USA INRIA, France Université denantes, INRIA, France LIP6, France University of Innsbruck, Austria Simula Research Lab and University ofoslo, Norway Université detoulouse, France Thames Valley University, UK University of Waterloo, Canada Universidad Autónoma de Madrid, Spain Massey University, New Zealand Queen s University, Canada INRIA Lille, France Queensland Universityof Technology, Australia Johannes Kepler University, Austria University of Paderborn, Germany University ofgrenoble, France SINTEF, Norway Colorado State University, USA SAP, USA University of Malaga, Spain University of Zurich, Switzerland Athabasca University, Canada ColoradoState University, USA CEA LIST,France Hasso Plattner Institute at the University of Potsdam, Germany University of Bern, Switzerland University of Bremen, Germany VERIMAG, France University of North-Dakota, USA

8 Organization IX Jeff Gray John Grundy Esther Guerra Jun Han Øystein Haugen Zhenjiang Hu Heinrich Hussmann Jan Jurjens Audris Kalnins Gerti Kappel Gabor Karsai Ingolf Krüger Jochen Kuester Thomas Kühne Ralf Laemmel Michele Lanza Michal Lawley Timothy C. Lethbridge Tom Maibaum Tiziana Margaria Radu Marinescu Dragan Milicev Birger Møller-Pedersen Ana Moreira Pierre-Alain Muller Ileana Ober Richard Paige Dorina C. Petriu Alfonso Pierantonio Claudia Pons Ivan Porres Alexander Pretschner Gianna Reggio Arend Rensink Bernhard Rumpe Bernhard Schätz Andy Schürr Arnor Solberg Bran Selic Michal Smialek Perdita Stevens Harald Störrle Juha-Pekka Tolvanen Laurence Tratt University of Alabama at Birmingham, USA University of Auckland, New Zealand Universidad Carlos III de Madrid, Spain Swinburne University of Technology, Australia SINTEF, Norway National Institute of Informatics, Japan Universität München, Germany OpenUniversity and MSRC, UK University of Latvia, Latvia Vienna University of Technology, Austria Vanderbilt University, USA UC San Diego, USA IBM Research, Switzerland Victoria University of Wellington, New Zealand University of Koblenz-Landau, Germany University of Lugano, Switzerland The Australian e-health Research Centre, Australia University of Ottawa, Canada McMaster University, Canada University of Potsdam, Germany Politechnic University of Timisoara, Romania University of Belgrade, Serbia University ofoslo, Norway Universidade Nova delisboa, Portugal Université dehaute-alsace, France IRIT, France University of York, UK Carleton University, Canada Università degli Studi dell Aquila, Italy University of La Plata, Argentina bo Akademi University, Finland Fraunhofer IESEand TU Kaiserslautern, Germany Università di Genova, Italy University of Twente, The Netherlands TU Braunschweig, Germany TU München, Germany Technische Universität Darmstadt, Germany SINTEF, Norway Malina Software, Canada Warsaw University of Technology, Poland University ofedinburgh, UK University of Munich, Germany MetaCase, Finland Bournemouth University, UK

9 X Organization Axel Uhl Antonio Vallecillo Pieter Van Gorp Dániel Varró Eelco Visser Andrzej Wasowski Jon Whittle Andreas Winter SAP AG, Germany Universidad de Málaga, Spain Technical University ofeindhoven, The Netherlands Budapest University of Technology and Economics, Hungary Technical University of Delft, The Netherlands IT University ofcopenhagen, Denmark Lancaster University, UK Universiy of Koblenz-Landau, Germany Empirical Results Program Committee Robert Baillargeon Francis Bordeleau Murray Cantor Tony Clark Diarmuid Corcoran Andy Evans Geri Georg Øystein Haugen Steven Kelly Jana Koehler Vinay Kulkarni NikolaiMansourov Stephen Mellor Ed Merks Dragan Milicev Juan Carlos Molina Pierre-Alain Muller Nicolas Rouquette Ina Schieferdecker Richard Soley IngoStürmer Francois Terrier Laurence Tratt Markus Voelter Michael vonder Beeck Ben Watson Thomas Weigert Frank Weil Jon Whittle Panasonic Automotive Systems, USA Canada IBM Rational Software, USA Thames Valley University, UK Ericsson AB, Sweden Xactium, UK ColoradoState University, USA SINTEF, Norway MetaCase, Finland IBM Zurich Research Laboratory, Switzerland Tata Consultancy Services, India KDM Analytics, Canada UK itemis AG, Canada University of Belgrade, Serbia CARE Technologies, S.A., Spain Université dehaute-alsace, France Jet Propulsion Laboratory, Caltech, USA Fraunhofer FOKUS, Germany Object Management Group, USA Model Engineering Solutions GmbH, Germany CEA-LIST, France Bournemouth University, UK Voelter, Germany BMW Group, Germany Lockheed Martin Corporation, USA Missouri University of Science and Technology, USA Hengsoft, USA Lancaster University, UK

10 Organization XI Steering Committee Heinrich Hussmann (Chair) Geri Georg (Vice Chair) Thomas Baar Jean Bezivin Lionel Briand Jean-Michel Bruel Steve Cook Krzysztof Czarnecki Gregor Engels Rob Pettit Jean-Marc Jézéquel Stuart Kent Chris Kobryn Ana Moreira Pierre-Alain Muller Oscar Nierstrasz Gianna Reggio David Rosenblum Doug Schmidt Andy Schürr Perdita Stevens Jon Whittle Sponsors ACM ( Springer ( IEEE Computer Society ( Aerospace ( Additional Reviewers Anantha Narayanan Daniel Balasubramanian Mauricio Alférez Michal Antkiewicz Gabriela Arevalo Martin Assmann Alberto Bacchelli Omar Bahy Badreldin András Balogh Olivier Barais Jorge Barreiros Maria Cecilia Bastarrica Basil Becker Nicolas Belloir Reda Bendraou Gábor Bergmann Selcuk Beyhan Amancio Bouza Petra Brosch Benedikt Burgstaller Jordi Cabot Asma Charfi Wassim ElHajj Chehade Antonio Cicchetti Robert Clarisó Duc-Hanh Dang Barry Demchak Zekai Demirezen Birgit Demuth Simon Denier Zinovy Diskin Zinvy Diskin Fred Doucet Nikos Drivalos Hubert Dubois Cedric Dumoulin Marina Egea Huascar Espinoza Louis Féraud Claudiu Farcas Emilia Farcas Daniel Mendez Fernandez Bernd Finkbeiner Beat Fluri

11 XII Organization Frederic Fondement Andrew Forward Gregor Gabrysiak Nadia Gamez Xiaocheng Ge Christian Gerth Giacomo Ghezzi Roxana Giandini Mike Giddings Emanuel Giger Mario Gleirscher László Gönczy Hans Groenniger Roy Grønmo Lindsay Groves Yi Guo Tormod Vaksvik Haavaldsrud Lars Hamann Zef Hemel Frank Hermann Markus Herrmannsdoerfer Matthias Hert Anders Hessellund Stephan Hildebrandt Berthold Hoffmann Florian Hölzl Ákos Horváth Christian Huemer Jerónimo Irazábal Markus Kaiser Jan Karstens Lennart Kats Amogh Kavimandan Jacques Klein Dimitrios Kolovos Dagmar Koss Stein Krogdahl Mirco Kuhlmann Uirá Kulesza Thomas Kurpick Fadoi Lakhal Philip Langer Jannik Laval Hervé Leblanc Jaejoon Lee László Lengyel Adrian Lienhard Johan Lilius Rafael Lotufo Markus Luckey Torbjörn Lundkvist Naouel Moha Chris McLaughlin Massimiliano Menarini Marius Minea Maarten de Mol Jesus J. Garcia Molina Alix Mougenot Chokri Mraidha Freddy Munoz Shiva Nejati Stefan Neumann Iulian Ober Fernando Olivero Carlos Parra Ekaterina Pek Gabriela Pérez Luigia Petre Rolf-Helge Pfeiffer Monica Pinto Fiona Polack Damien Pollet Claudia Pons Ernesto Posse Andreas Prinz Ansgar Radermacher Alek Radjenovic István Ráth Lukman Ab. Rahim Daniel Ratiu Y. Raghu Reddy Dirk Reiss Holger Rendel Lukas Renggli Jorge Ressia Filippo Ricca Taylor Riche Jan O. Ringert Jose E. Rivera Sylvain Robert

12 Organization XIII Louis Rose Ragnhild Kobro Runde Davide Di Ruscio Mehrdad Sabetzadeh Joo Santos Martin Schindler Wolfgang Schubert Martina Seidl Maria Semenyak Sagar Sen Steven She Devon Simmonds Christian Soltenborn Mark Stein Yu Sun Andreas Svendsen Robert Tairas Dragos Truscan Gergely Varró German Vega Andres Vignaga Hagen Voelzer Thomas Vogel Horst Voigt Ksenia Wahler Bo Wang Ingo Weisemüller Jules White Manuel Wimmer Michael Wuersch Andreas Wübbeke Yingfei Xiong Eduardo Zambon Vadim Zaytsev Xiaorui Zhang Tewfik Ziadi Maria Zimakova Steffen Zschaler Jonas Zuberbuehler Karolina Zurowska Damien Pollet Lukas Renggli

13 Table of Contents Keynote 1 Models. Models. Models. So What?... 1 Stephen J. Mellor (Meta-)Model Modeling and Management Modeling Modeling... 2 Pierre-Alain Muller, Frédéric Fondement, and Benoît Baudry Representation and Traversal of Large Clabject Models Thomas Aschauer, Gerd Dauenhauer, and Wolfgang Pree Meta-model Pruning Sagar Sen, Naouel Moha, Benoît Baudry, and Jean-Marc Jézéquel Quantitative Modeling with UML A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems Marwa Shousha, Lionel C. Briand, and Yvan Labiche Model Driven Performance Measurement and Assessment with MoDePeMART Marko Bošković and Wilhelm Hasselbring Security Analysis of a Biometric Authentication System Using UMLsec and JML John Lloyd and Jan Jürjens Model Transformations and Constraints Automatically Discovering Hidden Transformation Chaining Constraints Raphaël Chenouard and Frédéric Jouault CSP(M): Constraint Satisfaction Problem over Models Ákos Horváth and Dániel Varró Parsing SBVR-Based Controlled Languages Mathias Kleiner, Patrick Albert, and Jean Bézivin

14 XVI Table of Contents Model Management SLIM A Lightweight Environment for Synchronous Collaborative Modeling Christian Thum, Michael Schwind, and Martin Schader Language-Independent Change Management of Process Models Christian Gerth, Jochen M. Küster, and Gregor Engels Requirements for Practical Model Merge An Industrial Perspective Lars Bendix and Pär Emanuelsson UML in Practice and Quality Assurance Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study Ariadi Nugroho and Michel R.V. Chaudron Concern Visibility in Base Station Development An Empirical Investigation Lars Pareto, Peter Eriksson, and Staffan Ehnebom Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation Stephan Weißleder Formalization of Model Transformations Towards Composite Model Transformations Using Distributed Graph Transformation Concepts Stefan Jurack and Gabriele Taentzer On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars Hartmut Ehrig, Claudia Ermel, Frank Hermann, and Ulrike Prange Formal Support for QVT-Relations with Coloured Petri Nets Juan de Lara and Esther Guerra Scenario Modeling An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel, Werner Retschitzegger, and Wieland Schwinger

15 Table of Contents XVII Refactoring-Safe Modeling of Aspect-Oriented Scenarios Gunter Mussbacher, Daniel Amyot, and Jon Whittle Model-Based Testing Using LSCs and S2A Shahar Maoz, Jani Metsä, and Mika Katara Business Application Development Model Driven Development of Graphical User Interfaces for Enterprise Business Applications Experience, Lessons Learnt and a Way Forward Rahul Mohan and Vinay Kulkarni Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors Steffen Mazanek and Mark Minas Rule-Enhanced Business Process Modeling Language for Service Choreographies Milan Milanović, Dragan Gašević, Gerd Wagner, and Marek Hatala Model Synchronisation and Change Propagation Change-Driven Model Transformations: Derivation and Processing of Change Histories István Ráth, Gergely Varró, and Dániel Varró An Incremental Algorithm for High-Performance Runtime Model Consistency Christopher Wolfe, T.C. Nicholas Graham, and W. Greg Phillips Traceability-Based Change Awareness Jonas Helming, Maximilian Koegel, Helmut Naughton, Joern David, and Aleksandar Shterev Keynote 2 Interaction Design and Model-Driven Development Larry L. Constantine Language Specification and Annotation Towards Test-Driven Semantics Specification Christian Soltenborn and Gregor Engels Scalable Semantic Annotation Using Lattice-Based Ontologies Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles Shelton, Stavros Tripakis, and Ben Lickly

16 XVIII Table of Contents OntoDSL: An Ontology-Based Framework for Domain-Specific Languages Tobias Walter, Fernando Silva Parreiras, and Steffen Staab Domain-Specific Languages Domain-Specific Languages in Practice: A User Study on the Success Factors Felienne Hermans, Martin Pinzger, and Arie van Deursen Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation Philippe Dhaussy, Pierre-Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, and Benoît Baudry Anatomy of a Visual Domain-Specific Language Project in an Industrial Context Christoph Wienands and Michael Golm Model-Based Analysis A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty Betty H.C. Cheng, Pete Sawyer, Nelly Bencomo, and Jon Whittle A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation Tao Yue, Lionel C. Briand, and Yvan Labiche Polymorphic Scenario-Based Specification Models: Semantics and Applications Shahar Maoz Model (De-)Composition and Abstractio Aspect Model Unweaving Jacques Klein, Jörg Kienzle, Brice Morin, and Jean-Marc Jézéquel Model Composition Contracts Jon Oldevik, Massimiliano Menarini, and Ingolf Krüger Abstracting Complex Languages through Transformation and Composition Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos, and Richard F. Paige An Approach for Evolving Transformation Chains Andrés Yie, Rubby Casallas, Dennis Wagelaar, and Dirk Deridder

17 Table of Contents XIX Distributed Software Development Deterministic UML Models for Interconnected Activities and State Machines Zamira Daw and Marcus Vetter Automated Encapsulation of UML Activities for Incremental Development and Verification Frank Alexander Kraemer and Peter Herrmann Using UML Statecharts with Knowledge Logic Guards Doron Drusinsky and Man-Tak Shing Service and Business Process Integration A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems Naeem Esfahani, Sam Malek, João P. Sousa, Hassan Gomaa, and Daniel A. Menascé A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems Franck Fleurey and Arnor Solberg Executable Domain Specific Language for Message-Based System Integration Michael Shtelma, Mario Cartsburg, and Nikola Milanovic Keynote 3 Architectural Mining: The Other Side of the MDD Grady Booch Genericity and Constraints Generic Model Refactorings Naouel Moha, Vincent Mahé, Olivier Barais, and Jean-Marc Jézéquel Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers Arnaud Cuccuru, Ansgar Radermacher, Sébastien Gérard, and François Terrier Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages Rodion Moiseev, Shinpei Hayashi, and Motoshi Saeki

18 XX Table of Contents OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language Joanna Chimiak-Opoka Variability Management Variability within Modeling Language Definitions María Victoria Cengarle, Hans Grönniger, and Bernhard Rumpe Variability Modelling throughout the Product Line Lifecycle Christa Schwanninger, Iris Groher, Christoph Elsner, and Martin Lehofer Weaving Variability into Domain Metamodels Brice Morin, Gilles Perrouin, Philippe Lahire, Olivier Barais, Gilles Vanwormhoudt, and Jean-Marc Jézéquel Automatic Domain Model Migration to Manage Metamodel Evolution Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, and Gabor Karsai Model Transformation Engineering Model Transformation by Demonstration Yu Sun, Jules White, and Jeff Gray Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets Manuel Wimmer, Angelika Kusel, Johannes Schoenboeck, Gerti Kappel, Werner Retschitzegger, and Wieland Schwinger Incremental Development of Model Transformation Chains Using Automated Testing Jochen M. Küster, Thomas Gschwind, and Olaf Zimmermann Test-Driven Development of Model Transformations Pau Giner and Vicente Pelechano Symposium Educators Symposium at MODELS Robert France and Martin Gogolla Author Index