Model Driven Engineering Languages and Systems

15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

  • Robert B. France
  • Jürgen Kazmeier
  • Ruth Breu
  • Colin Atkinson
Conference proceedings MODELS 2012

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

Table of contents

  1. Front Matter
    PDF

  2. Keynote

    1. Quantitative Reactive Models
      Thomas A. Henzinger
      Pages 1-2

  3. MetaModels and Domain Specific Modeling

    1. Bottom-Up Meta-Modelling: An Interactive Approach
      Jesús Sánchez-Cuadrado, Juan de Lara, Esther Guerra
      Pages 3-19
    2. FacadeMetamodel: Masking UML
      Florian Noyrit, Sébastien Gérard, Bran Selic
      Pages 20-35
    3. T□: A Domain Specific Language for Rapid Workflow Development
      Fazle Rabbi, Wendy MacCaull
      Pages 36-52

  4. Models at RunTime

    1. Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time
      Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer
      Pages 53-69
    2. Dynamic Evolution of Context-Aware Systems with Models at Runtime
      Germán H. Alférez, Vicente Pelechano
      Pages 70-86
    3. An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements
      François Fouquet, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau et al.
      Pages 87-101

  5. Model Management I

    1. Automated and Transparent Model Fragmentation for Persisting Large Models
      Markus Scheidgen, Anatolij Zubow, Joachim Fischer, Thomas H. Kolbe
      Pages 102-118
    2. Formally Defining and Iterating Infinite Models
      Benoit Combemale, Xavier Thirioux, Benoit Baudry
      Pages 119-133
    3. Query-Driven Soft Interconnection of EMF Models
      Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró
      Pages 134-150

  6. Modeling Methods and Tools I

    1. Modeling the Linguistic Architecture of Software Products
      Jean-Marie Favre, Ralf Lämmel, Andrei Varanovich
      Pages 151-167
    2. Cross-Language Support Mechanisms Significantly Aid Software Development
      Rolf-Helge Pfeiffer, Andrzej Wąsowski
      Pages 168-184
    3. Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension
      Carmine Gravino, Michele Risi, Giuseppe Scanniello, Genoveffa Tortora
      Pages 185-201

  7. Consistency Analysis

    1. Incremental Consistency Checking for Complex Design Rules and Larger Model Changes
      Alexander Reder, Alexander Egyed
      Pages 202-218
    2. Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment
      Kleinner Farias, Alessandro Garcia, Carlos Lucena
      Pages 219-234
    3. On Integrating Structure and Behavior Modeling with OCL
      Lars Hamann, Oliver Hofrichter, Martin Gogolla
      Pages 235-251

  8. Software Product Lines I

    1. Multi-perspectives on Feature Models
      Julia Schroeter, Malte Lochau, Tim Winkelmann
      Pages 252-268
    2. Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines
      Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Anne Grete Eldegard, Torbjørn Syversen
      Pages 269-284
    3. Towards Business Application Product Lines
      Vinay Kulkarni, Souvik Barat, Suman Roychoudhury
      Pages 285-301

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012.
The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model transformation; model matching, tracing and synchronization; modeling practices and experience; and model analysis.

Keywords

OCL UML models large-scale software development model-driven development software modeling languages

Editors and affiliations

  • Robert B. France
    • 1
  • Jürgen Kazmeier
    • 2
  • Ruth Breu
    • 3
  • Colin Atkinson
    • 4
  1. 1.Department of Computer ScienceColorado State UniversityFort CollinsUSA
  2. 2.Healthcare Services International, Managed ServicesSiemens AGErlangenGermany
  3. 3.Institute of Computer ScienceUniversity of InnsbruckInnsbruckAustria
  4. 4.Software Engineering Group, A5, 6University of MannheimMannheimGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-33666-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-33665-2
  • Online ISBN 978-3-642-33666-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Aerospace