Lecture Notes in Computer Science 4199

Transcription

1 Lecture Notes in Computer Science 4199 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 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 Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Moshe Y. Vardi Rice University, Houston, TX, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany

2 Oscar Nierstrasz Jon Whittle David Harel Gianna Reggio (Eds.) Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006 Genova, Italy, October 1-6, 2006 Proceedings 13

3 Volume Editors Oscar Nierstrasz University of Bern, Institute of Computer Science and Applied Mathematics Neubrückstr. 10, 3012 Bern, Switzerland Jon Whittle George Mason University, Department of Information and Software Engineering Science & Tech II, 4400 University Drive, Fairfax, VA , USA David Harel The Weizmann Institute of Science Department of Computer Science and Applied Mathematics Rehovot 76100, Israel Gianna Reggio University of Genova, DISI, Department of Computer Science Via Dodecaneso 35, Genova, Italy Library of Congress Control Number: CR Subject Classification (1998): D.2, D.3, K.6, I.6 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 is a part of Springer Science+Business Media springer.com Springer-Verlag Berlin Heidelberg 2006 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: /

4 Preface MoDELS/UML 2006 was the ninth incarnation of this series of conferences on Model Driven Engineering Languages and Systems. The conference was held in Genoa, Italy during the week of October 1-6, The local arrangements were provided by DISI, the Department of Computer and Information Science at the University of Genoa. This volume contains the final versions of the papers accepted for presentation at the conference, as well as two invited papers by the keynote speakers, Hassan Gomaa (George Mason University, USA) and Irun Cohen (The Weizmann Institute of Science, Israel). We received 178 full paper submissions for review from 34 different countries. Of these, 24 papers were submitted with authors from more than one country. The top three countries submitting papers were Germany (25), USA (23) and France (20). A total of 51 papers were accepted for inclusion in the proceedings, including six experience papers. This reflects an acceptance rate of 29%, a rate comparable to those of previous MoDELS/UML conferences. Each paper was reviewed by at least three Program Committee members. Reviewing was thorough, and authors received, in most cases, detailed comments on their submissions. Conflicts of interest were taken very seriously. No one participated in any way in the decision process of any paper where a conflict of interest was identified. In particular, PC members who submitted papers did not have access to any information concerning the reviewing of their papers. (The acceptance rate for PC papers was similar to the overall acceptance rate.) We would like to thank everyone who submitted papers as well as proposals for workshops and tutorials. We would also like to thank the large number of volunteers who contributed to the success of the conference, including the PC members, the additional reviewers who supported the review process, the members of the local Organizing Committee, the volunteers who helped with the local organization, and the two invited speakers. We would also like to thank Richard van de Stadt for his prompt and gracious service in supporting special requests for CyberChairPRO, the conference management system used to manage papers submissions and the virtual PC meeting. Finally, we would like to thank our sponsors, ACM, IEEE Computer Society and DISI, for their support of the MoDELS/UML 2006 conference. October 2006 Oscar Nierstrasz Jon Whittle David Harel Gianna Reggio

5 Organization Organizing Committee General Chair Conference Chair Program Chair Experience Track Chair Workshop Chair Tutorial Chair Panel Chair Doctoral Symposium Chair Educators Symposium Chair Poster Chair Local Arrangements Chair Tool Exhibition Chair Web Chairs Publicity Chairs David Harel (Weizmann Institute of Science, Israel) Gianna Reggio (U. of Genoa, Italy) Oscar Nierstrasz (U. of Bern, Switzerland) Jon Whittle (George Mason U., USA) Thomas Kühne (Darmstadt U. of Tech., Germany) Egidio Astesiano (U. of Genoa, Italy) Douglas C. Schmidt (Vanderbilt U., USA) Robert G. Pettit (The Aerospace Corporation, USA) Ludwik Kuzniarz (Bleking Inst. of Tech., Sweden) Eda Marchetti (ISTI-CNR, Italy) Maura Cerioli (U. of Genoa, Italy) Walter Cazzola (U. of Milan, Italy) Andrea Baresi (U. of Genoa, Italy) Emanuele Crivello (U. of Genoa, Italy) Emanuel Grant (U. of North Dakota, USA) Laurence Tratt (King s College, London, UK) Program Committee Gabriela Beatriz Arévalo (Argentina) Colin Atkinson (Germany) Thomas Baar (Switzerland) Paul Baker (UK) Antonia Bertolino (Italy) Jean Bézivin (France) Francis Bordeleau (Canada) Lionel Briand (Norway) Shigeru Chiba (Japan) Siobhán Clarke (Ireland) Pascal Costanza (Belgium) Krzysztof Czarnecki (Canada) Serge Demeyer (Belgium) Christophe Dony (France) Stéphane Ducasse (France) Gregor Engels (Germany) Jean-Marie Favre (France) Harald Gall (Switzerland) Geri Georg (USA) Sudipto Ghosh (USA) Martin Gogolla (Germany) Hassan Gomaa (USA) Susanne Graf (France) Øystein Haugen (Norway) Robert Hirschfeld (Germany) Seongsoo Hong (Korea) Paola Inverardi (Italy) Jean-Marc Jézéquel (France)

6 VIII Organization Jörg Kienzle (Canada) Thomas Kühne (Germany) Michele Lanza (Switzerland) Timothy C. Lethbridge (Canada) Radu Marinescu (Romania) Tom Mens (Belgium) Hafedh Mili (Canada) Dragan Milicev (Serbia) Pierre-Alain Muller (France) Robert G. Pettit IV (USA) Alexander Pretschner (Switzerland) Bernhard Rumpe (Germany) Douglas C. Schmidt (USA) Jean-Guy Schneider (Australia) Bran Selic (Canada) Juha-Pekka Tolvanen (Finland) Ellen Van Paesschen (Belgium) Alain Wegmann (Switzerland) Thomas Weigert (USA) Claudia Maria Lima Werner (Brazil) Jon Whittle (USA) Clay E. Williams (USA) Alan Cameron Wills (UK) Steering Committee Thomas Baar (Switzerland) Jean Bézivin (France) Lionel Briand (Norway) Steve Cook (UK) Andy Evans (UK) Robert France (USA) Geri Georg (USA) Martin Gogolla (Germany) Heinrich Hussmann (Germany) Jean-Marc Jézéquel (France) Stuart Kent (UK) Cris Kobryn (USA) Ana Moreira (Portugal) Pierre-Alain Muller (France) Oscar Nierstrasz (Switzerland) Gianna Reggio (Italy) David Rosenblum (UK) Bernhard Rumpe (Germany) Bran Selic (Canada) Perdita Stevens (UK) Jon Whittle (USA) Sponsors DISI, Dipartimento di Informatica e Scienze dell Informazione, Università digenova ( ACM Special Interest Group on Software Engineering ( IEEE Computer Society ( CyberChairPRO Operation and Support Richard van de Stadt, Borbala Online Conference Services

7 Organization IX Additional Referees Ilham Alloui Carsten Amelunxen Paul Ammann Dave Arnold Marco Autili Olivier Barais Benoit Baudry Hanna Bauerdick Alexandre Bergel Christian Berger Kirsten Berkenkötter Ana Paula Terra Bacelo Blois Conrad Bock Elisa Gonzalez Boix Antonio Bucchiarone Fabian Büttner Thomas Cleenewerck Olivier Constant Steve Cook Alexandre Luis Correa Jean-Pierre Corriveau Guglielmo De Angelis JoseDiegodelaCruz Maja D Hondt Alexandre Ribeiro Dantas Jessie Dedecker Marcus Denker Wolfgang De Meuter Coen De Roover Dirk Deridder Brecht Desmet Antinisca Di Marco Jürgen Doser Cédric Dumoulin Peter Ebraert Ghizlaine El-Boussaidi Maged Elaasar Taewook Eom Johan Fabry Micheal Fischer Franck Fleurey Beat Fluri Lars Frantzen Vahid Garousi Sofie Goderis Vincenzo Grassi Hans Groenniger Yann-Gaël Guéhéneuc Kris Gybels Baris Gühldali Jun Han Ulrich Hannemann Michel Hassenforder Michael Haupt Jan Hendrik Hausmann Berthold Hoffmann Eckhardt Holz Duwon Hong Marianne Huchard Marc-Philippe Huget Karsten Hölscher Andrew Jackson Eshref Januzaj Andy Kellens Stuart Kent Ismail Khriss Dae-Kyoo Kim Soyeon Kim Anneke Kleppe Holger Krahn Jochen Kuester Adrian Kuhn Thomas Lambolais Lam-Son Le Jaesoo Lee Eric Lefebvre Lingling Liao Jonas Lindholm Arne Lindow Marc Lohmann Marco Alexandre Lopes Marco Aurélio Mangan Eda Marchetti Slaviša Marković Isabel Michiels Raffaela Mirandola

8 X Organization Stijn Mostinckx Henry Muccini Olaf Muliawan Leonardo Gresta Paulino Murta Sadaf Mustafiz Clémentine Nebut Johann Oberleitner Erika Olimpiew Francesco Parisi-Presicce Jiyong Park Patrizio Pelliccione Jean-Marc Perronne Jean-François Perrot Paulo Pires Andrea Polini Damien Pollet Claudia Pons Juha Pärssinen Gil Regev Gerald Reif Matthias Rieger Dirk Riehle Romain Robbes Irina Rychkova Antonino Sabetta Murat Sahingöz Stefan Sauer Tim Schattkowsky Martin Schindler Hans Schippers Andy Schürr Karsten Sohr Mike Sowka Jim Steel Julie A. Street Bernard Thirion Laurent Thiry Yves Le Traon Guy Tremblay Christelle Urtado Jorge Vallejos Tom Van Cutsem Ragnhild Van Der Straeten Niels Van Eetvelde Pieter Van Gorp Bart Van Rompaey Filip Van Rysselberghe Hans Vangheluwe Sylvain Vauttier German Vega Herve Verjus Steven Voelkel Hendrik Voigt Didier Vojtisek Dennis Wagelaar Seungmin We Duminda Wijesekera Jonghun Yoo Wooseok Yoo Sergio Yovine Tao Yue Tewfik Ziadi

9 Table of Contents Keynote 1 A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines... 1 Hassan Gomaa Evaluating UML Uses and Abuses of the Stereotype Mechanism in UML 1.x and Brian Henderson-Sellers, Cesar Gonzalez-Perez An Experimental Investigation of UML Modeling Conventions Christian F.J. Lange, Bart Du Bois, Michel R.V. Chaudron, Serge Demeyer Improving the Definition of UML Greg O Keefe MDA in Software Development Adopting Model Driven Software Development in Industry A Case Study at Two Companies Miroslaw Staron Use Case Driven Iterative Development: Hurdles and Solutions Santiago Ceria, Juan José Cukier Model-Driven Development with SDL Process, Tools, and Experiences Thomas Kuhn, Reinhard Gotzhein, Christian Webel Concrete Syntax Model-Driven Analysis and Synthesis of Concrete Syntax Pierre-Alain Muller, Franck Fleurey, Frédéric Fondement, Michel Hassenforder, Rémi Schneckenburger, Sébastien Gérard, Jean-Marc Jézéquel Correctly Defined Concrete Syntax for Visual Modeling Languages Thomas Baar

10 XII Table of Contents Applying UML to Interaction and Coordination Compositional MDA Louis van Gool, Teade Punter, Marc Hamilton, Remco van Engelen CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications Jan Van den Bergh, Karin Coninx Aspects Domain Models Are NOT Aspect Free Awais Rashid, Ana Moreira A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects María Agustina Cibrán, Maja D Hondt Model Intergration Package Merge in UML 2: Practice vs. Theory? Alanna Zito, Zinovy Diskin, Juergen Dingel Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis Tom Mens, Ragnhild Van Der Straeten, Maja D Hondt Merging Models with the Epsilon Merging Language (EML) Dimitrios S. Kolovos, Richard F. Paige, Fiona A.C. Polack Formal Semantics of UML Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML Zinovy Diskin, Juergen Dingel Semantic Variations Among UML StateMachines Ali Taleghani, Joanne M. Atlee Facilitating the Definition of General Constraints in UML Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente

11 Table of Contents XIII Security Towards a MOF/QVT-Based Domain Architecture for Model Driven Security Michael Hafner, Muhammad Alam, Ruth Breu MDA-Based Re-engineering with Object-Z Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson A Model Transformation Semantics and Analysis Methodology for SecureUML Achim D. Brucker, Jürgen Doser, Burkhart Wolff Model Transformation Tools and Implementation Incremental Model Transformation for the Evolution of Model-Driven Systems David Hearnden, Michael Lawley, Kerry Raymond A Plugin-Based Language to Experiment with Model Transformation Jesús Sánchez Cuadrado, Jesús García Molina SiTra: Simple Transformations in Java David H. Akehurst, Behzad Bordbar, Michael J. Evans, W. Gareth J. Howells, Klaus D. McDonald-Maier Analyzing Dynamic Models Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models Vahid Garousi, Lionel C. Briand, Yvan Labiche Model Extraction Using Context Information Lucio Mauro Duarte, Jeff Kramer, Sebastian Uchitel Dynamic and Generic Manipulation of Models: From Introspection to Scripting Christophe Tombelle, Gilles Vanwormhoudt Specifying Transformations Model Transformation by Example Dániel Varró

12 XIV Table of Contents Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework Enrico Biermann, Karsten Ehrig, Christian Köhler, Günter Kuhns, Gabriele Taentzer, Eduard Weiss Model Transformations? Transformation Models! Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow MOF A Mapping Language from Models to DI Diagrams Marcus Alanen, Torbjörn Lundkvist, Ivan Porres Basic Operations over Models Containing Subset and Union Properties Marcus Alanen, Ivan Porres A Metamodeling Approach to Pattern Specification Maged Elaasar, Lionel C. Briand, Yvan Labiche Keynote 2 Immune System Computation and the Immunological Homunculus Irun R. Cohen Bridging Models Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach Gabriela Arévalo, Jean-Rémi Falleri, Marianne Huchard, Clémentine Nebut Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages Gerti Kappel, Elisabeth Kapsammer, Horst Kargl, Gerhard Kramler, Thomas Reiter, Werner Retschitzegger, Wieland Schwinger, Manuel Wimmer Incremental Model Synchronization with Triple Graph Grammars Holger Giese, Robert Wagner

13 Table of Contents XV Risk, Trust and Dependability Model-Driven Assessment of Use Cases for Dependable Systems Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe A Graphical Approach to Risk Identification, Motivated by Empirical Investigations Ida Hogganvik, Ketil Stølen Reusable MDA Components: A Testing-for-Trust Approach Jean-Marie Mottu, Benoit Baudry, Yves Le Traon Tool Environments Using Smalltalk as a Reflective Executable Meta-language Stéphane Ducasse, Tudor Gîrba UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI Björn Lundell, Brian Lings, Anna Persson, Anders Mattsson Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gervais OCL An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE Claudia Pons, Diego Garcia An OCL Semantics Specified with QVT Slaviša Marković, Thomas Baar Specification of Invariability in OCL Piotr Kosiuczenko Roundtrip Engineering Framework-Specific Modeling Languages with Round-Trip Engineering Micha l Antkiewicz, Krzysztof Czarnecki

14 XVI Table of Contents A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems Heather Goldsby, Betty H.C. Cheng, Sascha Konrad, Stephane Kamdoum Layered Class Diagrams: Supporting the Design Process Scott Hendrickson, Bryan Jett, André van der Hoek Real Time and Embedded Systems Using UML Activities for System-on-Chip Design and Synthesis Tim Schattkowsky, Jan Hendrik Hausmann, Gregor Engels Modeling and Early Performance Estimation for Network Processor Applications Antonia Bertolino, Alvise Bonivento, Guglielmo De Angelis, Alberto Sangiovanni-Vincentelli A Formal Semantics of UML-RT Michael von der Beeck Workshops, Tutorials and Panels Workshops and Symposia at MoDELS Thomas Kühne Tutorials at MoDELS Egidio Astesiano Panels at MoDELS Douglas C. Schmidt Author Index