Models in Software Engineering

1. Front Matter

   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

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.

• Inform
• aspect-oriented modeling
• design
• domain-specific languages
• domain-specific modeling
• embedded systems
• formal methods
• formal semantics
• generic programming
• model checking
• model transformation
• model-based software architecture
• modeling
• software engineering
• tools

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

  Michel R. V. Chaudron

Policies and ethics