MoDELS 2006: Genova, Italy

Keynote 1

• Hassan Gomaa:
  A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines. 1-15
  

Evaluating UML

• Brian Henderson-Sellers, Cesar Gonzalez-Perez:
  Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0. 16-26
  
• Christian F. J. Lange, Bart Du Bois, Michel R. V. Chaudron, Serge Demeyer:
  An Experimental Investigation of UML Modeling Conventions. 27-41
  
• Greg O'Keefe:
  Improving the Definition of UML. 42-56
  

MDA in Software Development

• Miroslaw Staron:
  Adopting Model Driven Software Development in Industry - A Case Study at Two Companies. 57-72
  
• Santiago Ceria, Juan José Cukier:
  Use Case Driven Iterative Development: Hurdles and Solutions. 73-82
  
• Thomas Kuhn, Reinhard Gotzhein, Christian Webel:
  Model-Driven Development with SDL - Process, Tools, and Experiences. 83-97
  

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:
  Model-Driven Analysis and Synthesis of Concrete Syntax. 98-110
  
• Thomas Baar:
  Correctly Defined Concrete Syntax for Visual Modeling Languages. 111-125
  

Applying UML to Interaction and Coordination

• Louis van Gool, Teade Punter, Marc Hamilton, Remco van Engelen:
  Compositional MDA. 126-139
  
• Jan Van den Bergh, Karin Coninx:
  CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications. 140-154
  

Aspects

• Awais Rashid, Ana Moreira:
  Domain Models Are NOT Aspect Free. 155-169
  
• María Agustina Cibrán, Maja D'Hondt:
  A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects. 170-184
  

Model Intergration

• Alanna Zito, Zinovy Diskin, Jürgen Dingel:
  Package Merge in UML 2: Practice vs. Theory? 185-199
  
• Tom Mens, Ragnhild Van Der Straeten, Maja D'Hondt:
  Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis. 200-214
  
• Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
  Merging Models with the Epsilon Merging Language (EML). 215-229
  

Formal Semantics of UML

• Zinovy Diskin, Jürgen Dingel:
  Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2. 230-244
  
• Ali Taleghani, Joanne M. Atlee:
  Semantic Variations Among UML StateMachines. 245-259
  
• Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente:
  Facilitating the Definition of General Constraints in UML. 260-274
  

Security

• Michael Hafner, Muhammad Alam, Ruth Breu:
  Towards a MOF/QVT-Based Domain Architecture for Model Driven Security. 275-290
  
• Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson:
  MDA-Based Re-engineering with Object-Z. 291-305
  
• Achim D. Brucker, Jürgen Doser, Burkhart Wolff:
  A Model Transformation Semantics and Analysis Methodology for SecureUML. 306-320
  

Model Transformation Tools and Implementation

• David Hearnden, Michael Lawley, Kerry Raymond:
  Incremental Model Transformation for the Evolution of Model-Driven Systems. 321-335
  
• Jesús Sánchez Cuadrado, Jesús García Molina:
  A Plugin-Based Language to Experiment with Model Transformation. 336-350
  
• David H. Akehurst, Behzad Bordbar, M. J. Evans, W. Gareth J. Howells, Klaus D. McDonald-Maier:
  SiTra: Simple Transformations in Java. 351-364
  

Analyzing Dynamic Models

• Vahid Garousi, Lionel C. Briand, Yvan Labiche:
  Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models. 365-379
  
• Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel:
  Model Extraction Using Context Information. 380-394
  
• Christophe Tombelle, Gilles Vanwormhoudt:
  Dynamic and Generic Manipulation of Models: From Introspection to Scripting. 395-409
  

Specifying Transformations

• Dániel Varró:
  Model Transformation by Example. 410-424
  
• Enrico Biermann, Karsten Ehrig, Christian Köhler, Günter Kuhns, Gabriele Taentzer, Eduard Weiss:
  Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework. 425-439
  
• Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow:
  Model Transformations? Transformation Models! 440-453
  

MOF

• Marcus Alanen, Torbjörn Lundkvist, Ivan Porres:
  A Mapping Language from Models to DI Diagrams. 454-468
  
• Marcus Alanen, Ivan Porres:
  Basic Operations over Models Containing Subset and Union Properties. 469-483
  
• Maged Elaasar, Lionel C. Briand, Yvan Labiche:
  A Metamodeling Approach to Pattern Specification. 484-498
  

Keynote 2

• Irun R. Cohen:
  Immune System Computation and the Immunological Homunculus. 499-512
  

Bridging Models

• Gabriela Arévalo, Jean-Rémy Falleri, Marianne Huchard, Clémentine Nebut:
  Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach. 513-527
  
• Gerti Kappel, Elisabeth Kapsammer, Horst Kargl, Gerhard Kramler, Thomas Reiter, Werner Retschitzegger, Wieland Schwinger, Manuel Wimmer:
  Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages. 528-542
  
• Holger Giese, Robert Wagner:
  Incremental Model Synchronization with Triple Graph Grammars. 543-557
  

Risk, Trust and Dependability

• Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe:
  Model-Driven Assessment of Use Cases for Dependable Systems. 558-573
  
• Ida Hogganvik, Ketil Stølen:
  A Graphical Approach to Risk Identification, Motivated by Empirical Investigations. 574-588
  
• Jean-Marie Mottu, Benoit Baudry, Yves Le Traon:
  Reusable MDA Components: A Testing-for-Trust Approach. 589-603
  

Tool Environments

• Stéphane Ducasse, Tudor Gîrba:
  Using Smalltalk as a Reflective Executable Meta-language. 604-618
  
• Björn Lundell, Brian Lings, Anna Persson, Anders Mattsson:
  UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2. 619-630
  
• Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gervais:
  Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment. 631-645
  

OCL

• Claudia Pons, Diego García:
  An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE. 646-660
  
• Slavisa Markovic, Thomas Baar:
  An OCL Semantics Specified with QVT. 661-675
  
• Piotr Kosiuczenko:
  Specification of Invariability in OCL. 676-691
  

Roundtrip Engineering

• Michal Antkiewicz, Krzysztof Czarnecki:
  Framework-Specific Modeling Languages with Round-Trip Engineering. 692-706
  
• Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum:
  A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems. 707-721
  
• Scott A. Hendrickson, Bryan Jett, André van der Hoek:
  Layered Class Diagrams: Supporting the Design Process. 722-736
  

Real Time and Embedded Systems

• Tim Schattkowsky, Jan Hendrik Hausmann, Gregor Engels:
  Using UML Activities for System-on-Chip Design and Synthesis. 737-752
  
• Antonia Bertolino, Alvise Bonivento, Guglielmo De Angelis, Alberto L. Sangiovanni-Vincentelli:
  Modeling and Early Performance Estimation for Network Processor Applications. 753-767
  
• Michael von der Beeck:
  A Formal Semantics of UML-RT. 768-782
  

Workshops, Tutorials and Panels

• Thomas Kühne:
  Workshops and Symposia at MoDELS 2006. 783-790
  
• Egidio Astesiano:
  Tutorials at MoDELS 2006. 791-794
  
• Douglas C. Schmidt:
  Panels at MoDELS 2006. 795