Model-Driven Engineering Languages and Systems

17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings

  • Juergen Dingel
  • Wolfram Schulte
  • Isidro Ramos
  • Silvia Abrahão
  • Emilio Insfran
Conference proceedings MODELS 2014

DOI: 10.1007/978-3-319-11653-2

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

Table of contents

  1. Front Matter
  2. Cloud, Mobile and Web Computing

    1. Steffen Vaupel, Gabriele Taentzer, Jan Peer Harries, Raphael Stroh, René Gerlach, Michael Guckert
      Pages 1-17
    2. Sunitha Thummala, Jeff Offutt
      Pages 35-49
  3. Model Transformation 1

    1. Vadim Zaytsev, Anya Helene Bagge
      Pages 50-67
    2. István Dávid, István Ráth, Dániel Varró
      Pages 68-83
    3. Babajide Ogunyomi, Louis M. Rose, Dimitrios S. Kolovos
      Pages 84-98
  4. Behavioral Modeling

    1. Philip Langer, Tanja Mayerhofer, Gerti Kappel
      Pages 116-132
    2. Jérémie Tatibouët, Arnaud Cuccuru, Sébastien Gérard, François Terrier
      Pages 133-148
  5. MDE: Past, Present and Future

    1. Gianna Reggio, Maurizio Leotta, Filippo Ricca
      Pages 149-165
    2. Grischa Liebel, Nadja Marko, Matthias Tichy, Andrea Leitner, Jörgen Hansson
      Pages 166-182
    3. Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty H. C. Cheng, Philippe Collet et al.
      Pages 183-200
  6. Formal Semantics, Specification and Verification

  7. Models at Runtime

    1. Thomas Hartmann, Francois Fouquet, Gregory Nain, Brice Morin, Jacques Klein, Olivier Barais et al.
      Pages 252-268
    2. Hui Song, Xiaodong Zhang, Nicolas Ferry, Franck Chauvel, Arnor Solberg, Gang Huang
      Pages 269-285
    3. Erwan Bousse, Benoit Combemale, Benoit Baudry
      Pages 286-301
  8. Feature and Variability Modeling

    1. Thorsten Berger, Divya Nair, Ralf Rublack, Joanne M. Atlee, Krzysztof Czarnecki, Andrzej Wąsowski
      Pages 302-319

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September/October 2014. The 41 full papers presented in this volume were carefully reviewed and selected from a total of 126 submissions. The scope of the conference series is broad, encompassing modeling languages, methods, tools, and applications considered from theoretical and practical angles and in academic and industrial settings. The papers report on the use of modeling in a wide range of cloud, mobile, and web computing, model transformation behavioral modeling, MDE: past, present, future, formal semantics, specification, and verification, models at runtime, feature and variability modeling, composition and adaptation, practices and experience, modeling for analysis, pragmatics, model extraction, manipulation and persistence, querying, and reasoning.

Keywords

Web applications android automatic code generation cloud computing component-based modeling context-aware domain-specific language embedded systems genetic programming graph transformations model checking model driven software development model transformation model-driven engineering resource optimization software product lines variability models virtual testing visual notation

Editors and affiliations

  • Juergen Dingel
    • 1
  • Wolfram Schulte
    • 2
  • Isidro Ramos
    • 3
  • Silvia Abrahão
    • 3
  • Emilio Insfran
    • 3
  1. 1.Queen’s UniversityKingstonCanada
  2. 2.Microsoft ResearchRedmondUSA
  3. 3.Universitat Politècnica de ValènciaSpain

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-11652-5
  • Online ISBN 978-3-319-11653-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349