Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2008

Model Driven Engineering Languages and Systems

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

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)

Conference series link(s): MODELS: International Conference on Model Driven Engineering Languages and Systems

Conference proceedings info: MODELS 2008.

Sections

Buy it now

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

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

Table of contents (66 papers)

  1. Front Matter

    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

      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

    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

Back to top

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation