Skip to main content
  • Conference proceedings
  • © 2007

Model Driven Engineering Languages and Systems

10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings

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

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 2007.

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (48 papers)

  1. Front Matter

  2. Model Transformation

    1. Reconciling TGGs with QVT

      • Joel Greenyer, Ekkart Kindler
      Pages 16-30
    2. UniTI: A Unified Transformation Infrastructure

      • Bert Vanhooff, Dhouha Ayed, Stefan Van Baelen, Wouter Joosen, Yolande Berbers
      Pages 31-45
  3. Modeling Constraints

    1. Guided Development with Multiple Domain-Specific Languages

      • Anders Hessellund, Krzysztof Czarnecki, Andrzej WÄ…sowski
      Pages 46-60
    2. Model-Driven, Network-Context Sensitive Intrusion Detection

      • Frederic Massicotte, Mathieu Couture, Lionel Briand, Yvan Labiche
      Pages 61-75
  4. Meta-Modeling

    1. On Metamodeling in Megamodels

      • Dragan GaÅ¡ević, Nima Kaviani, Marek Hatala
      Pages 91-105
    2. Magritte – A Meta-driven Approach to Empower Developers and End Users

      • Lukas Renggli, Stéphane Ducasse, Adrian Kuhn
      Pages 106-120
    3. Matching Model-Snippets

      • Rodrigo Ramos, Olivier Barais, Jean-Marc Jézéquel
      Pages 121-135
  5. Consistent Models

    1. Improving Inconsistency Resolution with Side-Effect Evaluation and Costs

      • Jochen M. Küster, Ksenia Ryndina
      Pages 136-150
    2. Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis

      • Praveen Jayaraman, Jon Whittle, Ahmed M. Elkhodary, Hassan Gomaa
      Pages 151-165
    3. Automated Semantic Analysis of Design Models

      • Frank Weil, Brian Mastenbrook, David Nelson, Paul Dietz, Aswin van den Berg
      Pages 166-180
  6. Modeling Support

    1. Piecewise Modelling with State Subtypes

      • Friedrich Steimann, Thomas Kühne
      Pages 181-195
    2. Deriving Operation Contracts from UML Class Diagrams

      • Jordi Cabot, Cristina Gómez
      Pages 196-210
    3. Finding the Pattern You Need: The Design Pattern Intent Ontology

      • Holger Kampffmeyer, Steffen Zschaler
      Pages 211-225
  7. User Interface Design

    1. Model-Driven Approach for Managing Human Interface Design Life Cycle

      • Noi Sukaviriya, Vibha Sinha, Thejaswini Ramachandra, Senthil Mani
      Pages 226-240
    2. Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications

      • Andreas Pleuss, Arnd Vitzthum, Heinrich Hussmann
      Pages 241-255
    3. A Business-Process-Driven Approach for Generating E-Commerce User Interfaces

      • Xulin Zhao, Ying Zou, Jen Hawkins, Bhadri Madapusi
      Pages 256-270
  8. Language Definition

    1. Enhancing UML Extensions with Operational Semantics.

      • Arnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard
      Pages 271-285

Other Volumes

  1. Model Driven Engineering Languages and Systems

Keywords

  • Analysis
  • Service
  • UML statecharts
  • Unified Modeling Language (UML)
  • User Interface Design
  • XML
  • formal methods
  • generic programming
  • model
  • model-based software architecture
  • model-driven software development
  • modeling
  • software architecture
  • specification
  • syste

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions