| A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines / Hassan GomaaKeynote 1： |
| Evaluating UML |
| Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 / 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 Jose 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 ; Frederic Fondement ; Michel Hassenforder ; Rend Schneckenburger ; Sebastien Gerard ; Jean-Marc Jezequel |
| Correctly Defined Concrete Syntax for Visual Modeling Languages / Thomas Baar |
| 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 / Maria Agustina Cibran ; 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 |
| 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 UML2 |
| Semantic Variations Among UML StateMachines / Ali Taleghani ; Joanne M. Atlee |
| Facilitating the Definition of General Constraints in UML / Dolors Costal ; Cristina Gomez ; Anna Queralt ; Ruth Raventos ; Ernest Teniente |
| 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 / Jorn Guy Suss ; Tim McComb ; Soon-Kyeong Kim ; Luke Wildman ; Geoffrey Watson |
| A Model Transformation Semantics and Analysis Methodology for SecureUML / Achim D. Brucker ; Jurgen 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 / Jesus Sanchez Cuadrado ; Jesus Garcia 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 ; Yuan 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 / Daniel Varro |
| Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework / Enrico Biermann ; Karsten Ehrig ; Christian Kohler ; Gunter Kuhns ; Gabriele Taentzer ; Eduard Weiss |
| Model Transformations? Transformation Models! / Jean Bezivin ; Fabian Buttner ; Martin Gogolla ; Frederic Jouault ; Ivan Kurtev ; Arne Lindow |
| MOF |
| A Mapping Language from Models to DI Diagrams / Marcus Alanen ; Torbjorn Lundkvist ; Ivan Porres |
| Basic Operations over Models Containing Subset and Union Properties |
| A Metamodeling Approach to Pattern Specification / Maged Elaasar ; Yvan Labiche |
| Immune System Computation and the Immunological Homunculus / Irun R. CohenKeynote 2： |
| Bridging Models |
| Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach / Gabriela Arevalo ; Jean-Remi Falleri ; Marianne Huchard ; Clementine 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 |
| Risk, Trust and Dependability |
| Model-Driven Assessment of Use Cases for Dependable Systems / Sadaf Mustafiz ; Ximeng Sun ; Jorg Kienzle ; Hans Vangheluwe |
| A Graphical Approach to Risk Identification, Motivated by Empirical Investigations / Ida Hogganvik ; Ketil Stolen |
| 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 / Stephane Ducasse ; Tudor Girba |
| UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 / Bjorn 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 / Slavisa Markovic |
| Specification of Invariability in OCL / Piotr Kosiuczenko |
| Roundtrip Engineering |
| Framework-Specific Modeling Languages with Round-Trip Engineering / Michal Antkiewicz ; Krzysztof Czarnecki |
| 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 ; Andre 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 2006 / Thomas Kuhne |
| Tutorials at MoDELS 2006 / Egidio Astesiano |
| Panels at MoDELS 2006 / Douglas C. Schmidt |
| Author Index |
| A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines / Hassan GomaaKeynote 1： |
| Evaluating UML |
| Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 / Brian Henderson-Sellers ; Cesar Gonzalez-Perez |
ＥＢ
