Skip to main content
SpringerLink
Log in

Model Driven Engineering Languages and Systems

11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Krzysztof Czarnecki
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ileana Ober
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jean-Michel Bruel
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Axel Uhl
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Markus Völter
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: MODELS 2008.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 149.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (66 papers)

  1. Front Matter

    Download chapter PDF

  2. Keynote I

    1. The Objects and Arrows of Computational Design

      • Don Batory, Maider Azanza, João Saraiva
      Pages 1-20

    2. Model Transformation: Foundations

      1. Algebraic Models for Bidirectional Model Synchronization
        • Zinovy Diskin
        Pages 21-36
      2. An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations
        • Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
        Pages 37-52
      3. Precise Semantics of EMF Model Transformations by Graph Transformation
        • Enrico Biermann, Claudia Ermel, Gabriele Taentzer
        Pages 53-67

    3. Requirements Modeling

      1. A Formal Metamodel for Problem Frames
        • Denis Hatebur, Maritta Heisel, Holger Schmidt
        Pages 68-82
      2. Visualization of Use Cases through Automatically Generated Activity Diagrams
        • Javier J. Gutiérrez, Clémentine Nebut, María J. Escalona, Manuel Mejías, Isabel M. Ramos
        Pages 83-96
      3. Requirements Modeling and Validation Using Bi-layer Use Case Descriptions
        • Avik Sinha, Matthew Kaplan, Amit Paradkar, Clay Williams
        Pages 97-112

    4. Domain-Specific Modeling

      1. WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications
        • Zef Hemel, Ruben Verhaaf, Eelco Visser
        Pages 113-127
      2. The Future of Train Signaling
        • Andreas Svendsen, Gøran K. Olsen, Jan Endresen, Thomas Moen, Erik Carlson, Kjell-Joar Alme et al.
        Pages 128-142
      3. NAOMI – An Experimental Platform for Multi–modeling
        • Trip Denton, Edward Jones, Srini Srinivasan, Ken Owens, Richard W. Buskens
        Pages 143-157

  3. Keynote II

    1. Abstraction and Modelling — A Complementary Partnership

      • Jeff Kramer
      Pages 158-158

    2. Model Transformation: Techniques

      1. Model Transformation as an Optimization Problem
        • Marouane Kessentini, Houari Sahraoui, Mounir Boukadoum
        Pages 159-173
      2. Example-Based Program Transformation
        • Romain Robbes, Michele Lanza
        Pages 174-188
      3. Detecting Patterns of Poor Design Solutions Using Constraint Propagation
        • Ghizlane El-Boussaidi, Hafedh Mili
        Pages 189-203

    3. Composition and Analysis of Behavioral Models

      1. A General Approach for Scenario Integration
        • Hongzhi Liang, Zinovy Diskin, Juergen Dingel, Ernesto Posse
        Pages 204-218
      2. Behavioral Modelling and Composition of Object Slices Using Event Observation
        • Iulian Ober, Bernard Coulette, Younes Lakhrissi
        Pages 219-233
      3. Scenario-Based Static Analysis of UML Class Models
        • Lijun Yu, Robert B. France, Indrakshi Ray
        Pages 234-248

    4. Model Comprehension

      1. Constructing Models with the Human-Usable Textual Notation
        • Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack
        Pages 249-263
      2. X3D-UML: 3D UML State Machine Diagrams
        • Paul McIntosh, Margaret Hamilton, Ron van Schyndel
        Pages 264-279
Back to top

Other volumes

  1. Model Driven Engineering Languages and Systems

  2. Models in Software Engineering

Keywords

About this book

This book constitutes the refereed proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008, held in Toulouse, France, during September 28-October 3, 2008. The 58 revised full papers presented were carefully reviewed and selected from 271 submissions. The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. The papers are organized in topical sections on Model Transformation: Foundations; Requirements Modeling; Domain-Specific Modeling; Model Transformation: Techniques, Composition and Analysis of Behavioral Models; Model Comprehension; Model Management; Behavioral Conformance and Refinement; Metamodeling and Modularity; Constraints; Model Analysis; Service-Oriented Architectures; Adaptive and Autonomic Systems; Empirical Studies; Evolution and Reverse Engineering; Modeling Language Semantics; Dependability Analysis and Testing; Aspect-Oriented Modeling; Structural Modeling;and Embedded Systems.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation