Skip to main content
  • Conference proceedings
  • © 2011

Models in Software Engineering

Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers

  • up-to-date results

  • fast track conference proceedings

  • state-of-the-art report

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): MODELS: International Conference on Model Driven Engineering Languages and Systems

Conference proceedings info: MODELS 2010.

Buying options

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

  1. Front Matter

  2. Doctoral Symposium

    1. The Doctoral Symposium at MODELS 2010

      • Bernhard Schätz, Brian Elvesæter
      Pages 1-3
  3. Educators’ Symposium

    1. Novel Communication Channels in Software Modeling Education

      • Marion Brandsteidl, Konrad Wieland, Christian Huemer
      Pages 40-54
  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

About this book

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.

Keywords

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

Editors and Affiliations

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

    Juergen Dingel

  • SINTEF, Oslo, Norway

    Arnor Solberg

Bibliographic Information

Buying options

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