Model-Driven Engineering Languages and Systems

16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

  • Ana Moreira
  • Bernhard Schätz
  • Jeff Gray
  • Antonio Vallecillo
  • Peter Clarke
Conference proceedings MODELS 2013

DOI: 10.1007/978-3-642-41533-3

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

Table of contents (47 papers)

  1. Front Matter
  2. Tool Support 1

    1. Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem?
      Jon Whittle, John Hutchinson, Mark Rouncefield, Håkan Burden, Rogardt Heldal
      Pages 1-17
    2. Generic Model Assist
      Friedrich Steimann, Bastian Ulke
      Pages 18-34
    3. Adding Spreadsheets to the MDE Toolkit
      Mārtiņš Francis, Dimitrios S. Kolovos, Nicholas Matragkas, Richard F. Paige
      Pages 35-51
  3. Dependability

    1. Model-Driven Extraction and Analysis of Network Security Policies
      Salvador Martínez, Joaquin Garcia-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Jordi Cabot
      Pages 52-68
    2. SafetyMet: A Metamodel for Safety Standards
      Jose Luis de la Vara, Rajwinder Kaur Panesar-Walawege
      Pages 69-86
    3. A Generic Fault Model for Quality Assurance
      Alexander Pretschner, Dominik Holling, Robert Eschbach, Matthias Gemmar
      Pages 87-103
  4. Comprehensibility

    1. Teaching Model Driven Engineering from a Relational Database Perspective
      Don Batory, Eric Latimer, Maider Azanza
      Pages 121-137
    2. Big Metamodels Are Evil
      Frédéric Fondement, Pierre-Alain Muller, Laurent Thiry, Brice Wittmann, Germain Forestier
      Pages 138-153
  5. Tool Support 2

    1. Recommending Auto-completions for Software Modeling Activities
      Tobias Kuschke, Patrick Mäder, Patrick Rempel
      Pages 170-186
    2. Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples
      Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale
      Pages 187-202
  6. Testing

    1. Testing M2T/T2M Transformations
      Manuel Wimmer, Loli Burgueño
      Pages 203-219
    2. An Approach to Testing Java Implementation against Its UML Class Model
      Hector M. Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling
      Pages 220-236
    3. Automated Test Case Selection Using Feature Model: An Industrial Case Study
      Shuai Wang, Arnaud Gotlieb, Shaukat Ali, Marius Liaaen
      Pages 237-253
  7. Semantics Evolution 1

    1. Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes
      Gabriele Taentzer, Florian Mantz, Thorsten Arendt, Yngve Lamo
      Pages 254-270
    2. Fine-Grained Software Evolution Using UML Activity and Class Models
      Walter Cazzola, Nicole Alicia Rossini, Mohammed Al-Refai, Robert B. France
      Pages 271-286
    3. Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management
      Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed
      Pages 287-303
  8. Verification

    1. Model Checking of UML-RT Models Using Lazy Composition
      Karolina Zurowska, Juergen Dingel
      Pages 304-319

About these proceedings


This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180 submissions. They are organized in topical sections named: tool support; dependability; comprehensibility; testing; evolution; verification; product lines; semantics; domain-specific modeling languages; models@RT; design and architecture; model transformation; model analysis; and system synthesis.

Editors and affiliations

  • Ana Moreira
    • 1
  • Bernhard Schätz
    • 2
  • Jeff Gray
    • 3
  • Antonio Vallecillo
    • 4
  • Peter Clarke
    • 5
  1. 1.Faculdade de Ciências e Tecnologia, Departamento de InformáticaUniversidade Nova de LisboaCaparicaPortugal
  2. 2.Institut für Mathematikfortiss / Technische Universität MünchenMünchenGermany
  3. 3.Department of Computer ScienceUniversity of AlabamaTuscaloosaUSA
  4. 4.ETSI InformáticaUniversidad de MálagaMálagaSpain
  5. 5.School of Computing and Information Sciences, College of Engineering and ComputingFlorida International UniversityMiamiUSA

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-41532-6
  • Online ISBN 978-3-642-41533-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349