Skip to main content
SpringerLink
Log in
Book cover

Models in Software Engineering

Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Michel R. V. Chaudron

    1. faculty of Mathematics and Natural Sciences, Leiden Institute of Advanced Computer Science, University of Leiden, Leiden, The Netherlands

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

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (41 papers)

  1. Front Matter

    Download chapter PDF

  2. Model Based Architecting and Construction of Embedded Systems (ACES-MB)

    1. Model Based Architecting and Construction of Embedded Systems

      • Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard
      Pages 1-4

    2. Translating AADL into BIP - Application to the Verification of Real-Time Systems

      • M. Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis
      Pages 5-19

    3. Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation

      • Joseph Porter, Gábor Karsai, Péter Völgyesi, Harmon Nine, Peter Humke, Graham Hemingway et al.
      Pages 20-34

  3. Challenges in Model Driven Software Engineering (CHAMDE)

    1. Challenges in Model-Driven Software Engineering

      • Ragnhild Van Der Straeten, Tom Mens, Stefan Van Baelen
      Pages 35-47

    2. The Grand Challenge of Scalability for Model Driven Engineering

      • Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack
      Pages 48-53

    3. MDE Adoption in Industry: Challenges and Success Criteria

      • Parastoo Mohagheghi, Miguel A. Fernandez, Juan A. Martell, Mathias Fritzsche, Wasif Gilani
      Pages 54-59

    4. Behavior, Time and Viewpoint Consistency: Three Challenges for MDE

      • José Eduardo Rivera, José Raul Romero, Antonio Vallecillo
      Pages 60-65

  4. Empirical Studies of Model Driven Engineering (ESMDA)

    1. Embedded System Construction – Evaluation of Model-Driven and Component-Based Development Approaches

      • Christian Bunse, Hans-Gerhard Gross, Christian Peper
      Pages 66-77

    2. Assessing the Power of a Visual Modeling Notation – Preliminary Contemplations on Designing a Test –

      • Dominik Stein, Stefan Hanenberg
      Pages 78-89

  5. Models@runtime

    1. Third International Workshop on Models@run.time

      • Nelly Bencomo, Gordon Blair, Robert France, Freddy Muñoz, Cédric Jeanneret
      Pages 90-96

    2. Modeling and Validating Dynamic Adaptation

      • Franck Fleurey, Vegard Dehlen, Nelly Bencomo, Brice Morin, Jean-Marc Jézéquel
      Pages 97-108

    3. Model-Based Traces

      • Shahar Maoz
      Pages 109-119

  6. Model Co-evolution and Consistency Management (MCCM)

    1. Model Co-evolution and Consistency Management (MCCM’08)

      • Dirk Deridder, Jeff Gray, Alfonso Pierantonio, Pierre-Yves Schobbens
      Pages 120-123

    2. On Integrating OCL and Triple Graph Grammars

      • Duc-Hanh Dang, Martin Gogolla
      Pages 124-137

    3. Triple Graph Grammars or Triple Graph Transformation Systems?

      • Thomas Buchmann, Alexander Dotor, Bernhard Westfechtel
      Pages 138-150

  7. Model-Driven Web Engineering (MDWE)

    1. Model-Driven Web Engineering (MDWE 2008)

      • Geert-Jan Houben, Nora Koch, Antonio Vallecillo
      Pages 151-152

    2. Model Transformations for Performability Analysis of Service Configurations

      • László Gönczy, Zsolt Déri, Dániel Varró
      Pages 153-166

    3. A Transformation Framework to Bridge Domain Specific Languages to MDA

      • Marco Brambilla, Piero Fraternali, Massimo Tisi
      Pages 167-180

  8. Modeling Security (MODSEC)

    1. First International Modeling Security Workshop

      • Jon Whittle, Jan Jürjens, Bashar Nuseibeh, Glen Dobson
      Pages 181-184
Back to top

Other volumes

  1. Model Driven Engineering Languages and Systems

  2. Models in Software Engineering

Keywords

About this book

This book constitutes a collection of the best papers selected from the 12 workshops and 3 tutorials held in conjunction with MODELS 2008, the 11th International Conference on Model Driven Engineering Languages and Systems, in Toulouse, France, September 28 - October 3, 2008. The contributions are organized within the volume according to the workshops at which they were presented: Model Based Architecting and Construction of Embedded Systems (ACES-MB); Challenges in Model Driven Software Engineering (CHAMDE); Empirical Studies of Model Driven Engineering (ESMDA); Models@runtime; Model Co-evolution and Consistency Management (MCCM); Model-Driven Web Engineering (MDWE); Modeling Security (MODSEC); Model-Based Design of Trustworthy Health Information Systems (MOTHIS); Non-functional System Properties in Domain Specific Modeling Languages (NFPin DSML); OCL Tools: From Implementation to Evaluation and Comparison (OCL); Quality in Modeling (QIM); and Transforming and Weaving Ontologies and Model Driven Engineering (TWOMDE). Each section includes a summary of the workshop. The last three sections contain selected papers from the Doctoral Symposium, the Educational Symposium and the Research Project Symposium, respectively.

Editors and Affiliations

  • faculty of Mathematics and Natural Sciences, Leiden Institute of Advanced Computer Science, University of Leiden, Leiden, The Netherlands

    Michel R. V. Chaudron

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation