Skip to main content
SpringerLink
Log in

Model Driven Engineering Languages and Systems

12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Andy Schürr

    1. Fachgebiet Echtzeitsysteme, Technische Universität Darmstadt, Darmstadt,, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bran Selic

    1. Malina Software Corporation, Ontario, Canada

    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 5795)

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

Included in the following conference series:

Conference proceedings info: MODELS 2009.

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (62 papers)

  1. Front Matter

    Download chapter PDF

  2. Keynote 1

    1. Models. Models. Models. So What?

      • Stephen J. Mellor
      Pages 1-1

  3. (Meta-)Model Modeling and Management

    1. Modeling Modeling

      • Pierre-Alain Muller, Frédéric Fondement, Benoît Baudry
      Pages 2-16

    2. Representation and Traversal of Large Clabject Models

      • Thomas Aschauer, Gerd Dauenhauer, Wolfgang Pree
      Pages 17-31

    3. Meta-model Pruning

      • Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jézéquel
      Pages 32-46

  4. Quantitative Modeling with UML

    1. A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems

      • Marwa Shousha, Lionel C. Briand, Yvan Labiche
      Pages 47-61

    2. Model Driven Performance Measurement and Assessment with MoDePeMART

      • Marko Bošković, Wilhelm Hasselbring
      Pages 62-76

    3. Security Analysis of a Biometric Authentication System Using UMLsec and JML

      • John Lloyd, Jan Jürjens
      Pages 77-91

  5. Model Transformations and Constraints

    1. Automatically Discovering Hidden Transformation Chaining Constraints

      • Raphaël Chenouard, Frédéric Jouault
      Pages 92-106

    2. CSP(M): Constraint Satisfaction Problem over Models

      • Ákos Horváth, Dániel Varró
      Pages 107-121

    3. Parsing SBVR-Based Controlled Languages

      • Mathias Kleiner, Patrick Albert, Jean Bézivin
      Pages 122-136

  6. Model Management

    1. SLIM—A Lightweight Environment for Synchronous Collaborative Modeling

      • Christian Thum, Michael Schwind, Martin Schader
      Pages 137-151

    2. Language-Independent Change Management of Process Models

      • Christian Gerth, Jochen M. Küster, Gregor Engels
      Pages 152-166

    3. Requirements for Practical Model Merge – An Industrial Perspective

      • Lars Bendix, Pär Emanuelsson
      Pages 167-180

  7. UML in Practice and Quality Assurance

    1. Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study

      • Ariadi Nugroho, Michel R. V. Chaudron
      Pages 181-195

    2. Concern Visibility in Base Station Development – An Empirical Investigation

      • Lars Pareto, Peter Eriksson, Staffan Ehnebom
      Pages 196-210

    3. Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation

      • Stephan Weißleder
      Pages 211-225

  8. Formalization of Model Transformations

    1. Towards Composite Model Transformations Using Distributed Graph Transformation Concepts

      • Stefan Jurack, Gabriele Taentzer
      Pages 226-240

    2. On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars

      • Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange
      Pages 241-255

    3. Formal Support for QVT-Relations with Coloured Petri Nets

      • Juan de Lara, Esther Guerra
      Pages 256-270
Back to top

Other volumes

  1. Model Driven Engineering Languages and Systems

  2. Models in Software Engineering

Keywords

About this book

The pioneering organizers of the ?rst UML workshop in Mulhouse, France inthe summerof1998couldhardlyhaveanticipatedthat,in littleoveradecade, theirinitiativewouldblossomintotoday’shighlysuccessfulMODELSconference series, the premier annual gathering of researchersand practitioners focusing on a very important new technical discipline: model-based software and system engineering. This expansion is, of course, a direct consequence of the growing signi?cance and success of model-based methods in practice. The conferences have contributed greatly to the heightened interest in the ?eld, attracting much young talent and leading to the gradualemergence of its correspondingscienti?c and engineering foundations. The proceedings from the MODELS conferences are one of the primary references for anyone interested in a more substantive study of the domain. The 12th conference took place in Denver in the USA, October 4–9, 2009 along with numerous satellite workshops and tutorials, as well as several other related scienti?c gatherings. The conference was exceptionally fortunate to have three eminent, invited keynote speakers from industry: Stephen Mellor, Larry Constantine, and Grady Booch.

Editors and Affiliations

  • Fachgebiet Echtzeitsysteme, Technische Universität Darmstadt, Darmstadt,, Germany

    Andy Schürr

  • Malina Software Corporation, Ontario, Canada

    Bran Selic

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation