Model Driven Engineering Languages and Systems

13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I

  • Dorina C. Petriu
  • Nicolas Rouquette
  • Øystein Haugen

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

Table of contents

  1. Front Matter
  2. Keynote 1

    1. Ole Lehrmann Madsen, Birger Møller-Pedersen
      Pages 1-15
  3. Session 1a: Genericity and Generalization

  4. Session 1b: Model Migration and Incremental Manipulation

    1. Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitrios S. Kolovos, Kelly Garcés, Richard F. Paige et al.
      Pages 61-75
    2. Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró, András Balogh, Zoltán Balogh et al.
      Pages 76-90
    3. Olivier Beaudoux, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel
      Pages 91-105
  5. Session 1c: Modeling Model Transformations

    1. Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos
      Pages 106-120
    2. Thorsten Arendt, Enrico Biermann, Stefan Jurack, Christian Krause, Gabriele Taentzer
      Pages 121-135
    3. Levi Lúcio, Bruno Barroca, Vasco Amaral
      Pages 136-150
  6. Session 2a: Verifying Consistency and Conformance

    1. Christian Schwarzl, Bernhard Peischl
      Pages 151-165
    2. Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei
      Pages 181-195
  7. Session 2b: Taming Modeling Complexity

    1. Hauke Fuhrmann, Reinhard von Hanxleden
      Pages 196-210
    2. Dimitrios S. Kolovos, Louis M. Rose, Saad Bin Abid, Richard F. Paige, Fiona A. C. Polack, Goetz Botterweck
      Pages 211-225
    3. Patrick Mäder, Jane Cleland-Huang
      Pages 226-240
  8. Session 2c: Modeling User-System Interaction

    1. Albert Ambroziewicz, Michał Śmiałek
      Pages 241-255
    2. António Miguel Rosado da Cruz, João Pascoal Faria
      Pages 256-270
    3. Arne Schramm, André Preußner, Matthias Heinrich, Lars Vogel
      Pages 271-285

Other volumes

  1. Model Driven Engineering Languages and Systems
    13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I
  2. 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II
  3. Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers

About these proceedings

Introduction

The MODELS series of conferences is the premier venue for the exchange of - novative technical ideas and experiences focusing on a very important new te- nical discipline: model-driven software and systems engineering. The expansion ofthisdisciplineisadirectconsequenceoftheincreasingsigni?canceandsuccess of model-based methods in practice. Numerous e?orts resulted in the invention of concepts, languagesand tools for the de?nition, analysis,transformation, and veri?cationofdomain-speci?cmodelinglanguagesandgeneral-purposemodeling language standards, as well as their use for software and systems engineering. MODELS 2010, the 13th edition of the conference series, took place in Oslo, Norway, October 3-8, 2010, along with numerous satellite workshops, symposia and tutorials. The conference was fortunate to have three prominent keynote speakers: Ole Lehrmann Madsen (Aarhus University, Denmark), Edward A. Lee (UC Berkeley, USA) and Pamela Zave (AT&T Laboratories, USA). To provide a broader forum for reporting on scienti?c progress as well as on experience stemming from practical applications of model-based methods, the 2010 conference accepted submissions in two distinct tracks: Foundations and Applications. The primary objective of the ?rst track is to present new research results dedicated to advancing the state-of-the-art of the discipline, whereas the second aims to provide a realistic and veri?able picture of the current state-- the-practice of model-based engineering, so that the broader community could be better informed of the capabilities and successes of this relatively young discipline. This volume contains the ?nal version of the papers accepted for presentation at the conference from both tracks.

Keywords

Action BPM Factor Requirements Engineering architecture analysis architecture description language business process modeling code generation complexity component-based systems computational geometry constraint interpretation design language modeling quality assurance

Editors and affiliations

  • Dorina C. Petriu
    • 1
  • Nicolas Rouquette
    • 2
  • Øystein Haugen
    • 3
  1. 1.Department of Systems and Computer EngineeringCarleton UniversityOttawaCanada
  2. 2.Jet Propulsion LaboratoryFlight Software Systems Engineering and Srchitecture GroupPasadenaUSA
  3. 3.SINTEF IKTOsloNorway

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-16145-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-16144-5
  • Online ISBN 978-3-642-16145-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book