Models in Software Engineering

1. Front Matter

   PDF

2. Doctoral Symposium

   1. The Doctoral Symposium at MODELS 2010

      • Bernhard Schätz, Brian Elvesæter

      Pages 1-3

   2. ReuseMe - Towards Aspect-Driven Reuse in Modelling Method Development

      • Alexander Bergmayr

      Pages 4-18

   3. A Model-Based Framework for Software Performance Feedback

      • Catia Trubiani

      Pages 19-34

3. Educators’ Symposium

   1. Software Modeling in Education: The 6th Educators’ Symposium at MODELS 2010

      • Martina Seidl, Peter J. Clarke

      Pages 35-39

   2. Novel Communication Channels in Software Modeling Education

      • Marion Brandsteidl, Konrad Wieland, Christian Huemer

      Pages 40-54

   3. Implementation of the Concept-Driven Approach in an Object-Oriented Analysis and Design Course

      • Ven Yu Sien

      Pages 55-69

4. Workshop – ACES-MB

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

      • Stefan Van Baelen, Iulian Ober, Huascar Espinoza, Thomas Weigert, Ileana Ober, Sébastien Gérard

      Pages 70-74

   2. Virtual Verification of System Designs against System Requirements

      • Wladimir Schamai, Philipp Helle, Peter Fritzson, Christiaan J. J. Paredis

      Pages 75-89

   3. From Interaction Overview Diagrams to Temporal Logic

      • Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi

      Pages 90-104

5. Workshop – AOM

   1. Report of the 15th International Workshop on Aspect-Oriented Modeling

      • Jeff Gray, Dominik Stein, Jörg Kienzle, Walter Cazzola

      Pages 105-109

   2. Aspect-Oriented Feature Models

      • Marko Bošković, Gunter Mussbacher, Ebrahim Bagheri, Daniel Amyot, Dragan Gašević, Marek Hatala

      Pages 110-124

   3. Mapping Aspect-Oriented Models to Aspect-Oriented Code

      • Max E. Kramer, Jörg Kienzle

      Pages 125-139

6. Workshop – EOOLT

   1. Equation-Based Object-Oriented Modeling Languages and Tools

      • Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman

      Pages 140-144

7. Workshop – MDI

   1. Model-Driven Interoperability: MDI 2010

      • Jean Bézivin, Richard M. Soley, Antonio Vallecillo

      Pages 145-149

   2. From the Heterogeneity Jungle to Systematic Benchmarking

      • M. Wimmer, G. Kappel, A. Kusel, W. Retschitzegger, J. Schoenboeck, W. Schwinger

      Pages 150-164

   3. Specifying Overlaps of Heterogeneous Models for Global Consistency Checking

      • Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki

      Pages 165-179

8. Workshop – ME

   1. Models and Evolution - ME2010

      • Dirk Deridder, Alfonso Pierantonio, Bernhard Schätz, Dalila Tamzalit

      Pages 180-183

   2. Conflicts as First-Class Entities: A UML Profile for Model Versioning

      • Petra Brosch, Horst Kargl, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer et al.

      Pages 184-193

   3. A Manifesto for Semantic Model Differencing

      • Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

      Pages 194-203

This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2010, held in Oslo, Norway, in October 2010. Besides the 21 revised best papers selected from 12 topically focused workshops, the post-proceedings also covers the doctoral symposium and the educators symposium; each of the 14 satellite events covered is introduced by a summary of the respective organizers. All relevant current aspects in model-based systems design and analysis are addressed. This book is the companion of the MODELS 2010 main conference proceedings LNCS 6394/6395.

• OCL
• formal methods
• meta modeling
• model-based architecting
• model-based verification
• modeling languages
• service-oriented computing
• systems modeling

• School of Computing, Queen’s University, Kingston, Canada

  Juergen Dingel

• SINTEF, Oslo, Norway

  Arnor Solberg

Policies and ethics