Advertisement

Model Driven Engineering Languages and Systems

9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings

  • Oscar Nierstrasz
  • Jon Whittle
  • David Harel
  • Gianna Reggio
Conference proceedings MODELS 2006

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4199)

Table of contents

  1. Front Matter
    PDF

  2. Keynote 1

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

  3. Evaluating UML

    1. Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0
      B. Henderson-Sellers, C. Gonzalez-Perez
      Pages 16-26
    2. An Experimental Investigation of UML Modeling Conventions
      Christian F. J. Lange, Bart DuBois, Michel R. V. Chaudron, Serge Demeyer
      Pages 27-41
    3. Improving the Definition of UML
      Greg O’Keefe
      Pages 42-56

  4. MDA in Software Development

    1. Adopting Model Driven Software Development in Industry – A Case Study at Two Companies
      Miroslaw Staron
      Pages 57-72
    2. Use Case Driven Iterative Development: Hurdles and Solutions
      Santiago Ceria, Juan José Cukier
      Pages 73-82
    3. Model-Driven Development with SDL – Process, Tools, and Experiences
      T. Kuhn, R. Gotzhein, C. Webel
      Pages 83-97

  5. Concrete Syntax

    1. 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 et al.
      Pages 98-110
    2. Correctly Defined Concrete Syntax for Visual Modeling Languages
      Thomas Baar
      Pages 111-125

  6. Applying UML to Interaction and Coordination

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

  7. Aspects

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

  8. Model Intergration

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

  9. Formal Semantics of UML

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

  10. Security

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

  11. Model Transformation Tools and Implementation

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

  12. Analyzing Dynamic Models

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

  13. Specifying Transformations

    1. Model Transformation by Example
      Dániel Varró
      Pages 410-424
    2. 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
      Pages 425-439
    3. Model Transformations? Transformation Models!
      Jean Bézivin, Fabian Büttner, Martin Gogolla, Frederic Jouault, Ivan Kurtev, Arne Lindow
      Pages 440-453
      PDF

  14. MOF

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

  15. Keynote 2

    1. Immune System Computation and the Immunological Homunculus
      Irun R. Cohen
      Pages 499-512

  16. Bridging Models

    1. 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
      Pages 513-527
    2. 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 et al.
      Pages 528-542
    3. Incremental Model Synchronization with Triple Graph Grammars
      Holger Giese, Robert Wagner
      Pages 543-557

  17. Risk, Trust and Dependability

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

  18. Tool Environments

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

  19. OCL

    1. An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE
      Claudia Pons, Diego Garcia
      Pages 646-660
    2. An OCL Semantics Specified with QVT
      Slaviša Marković, Thomas Baar
      Pages 661-675
    3. Specification of Invariability in OCL
      Piotr Kosiuczenko
      Pages 676-691

  20. Roundtrip Engineering

    1. Framework-Specific Modeling Languages with Round-Trip Engineering
      Michał Antkiewicz, Krzysztof Czarnecki
      Pages 692-706
    2. A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems
      Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum
      Pages 707-721

Other volumes

  1. Model Driven Engineering Languages and Systems
    9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings
  2. Models in Software Engineering
    Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

About these proceedings

Keywords

Eclipse Eclipse Modeling Framework Java OCL Smalltalk UML statecharts Unified Modeling Language (UML) XML architecture formal semantics generic programming model transformation object technology syste visualization

Editors and affiliations

  • Oscar Nierstrasz
    • 1
  • Jon Whittle
    • 2
  • David Harel
    • 3
  • Gianna Reggio
    • 4
  1. 1.Software Composition GroupUniversity of BernSwitzerland
  2. 2.Computing Department - InfoLab21Lancaster UniversityLancasterUK
  3. 3.Department of Computer Science and Applied MathematicsThe Weizmann Institute of ScienceRehovotIsrael
  4. 4.DISIUniversità di GenovaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/11880240
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-45772-5
  • Online ISBN 978-3-540-45773-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site