Advertisement

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

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
    2. Rick Rabiser, Michael Vierhauser, Paul Grünbacher, Deepak Dhungana, Herwig Schreiner, Martin Lehofer
      Pages 320-336
    3. Jaime Chavarriaga, Carlos Noguera, Rubby Casallas, Viviane Jonckers
      Pages 337-352
  9. Composition and Adaptation

    1. Marco Di Natale, Francesco Chirico, Andrea Sindico, Alberto Sangiovanni-Vincentelli
      Pages 353-369
    2. Andrea Enrici, Ludovic Apvrille, Renaud Pacalet
      Pages 370-385
    3. Mahdi Derakhshanmanesh, Jürgen Ebert, Thomas Iguchi, Gregor Engels
      Pages 386-402
  10. Practices and Experience

    1. Luigi Andolfato, Robert Karban, Marcus Schilling, Heiko Sommer, Michele Zamparelli, Gianluca Chiozzi
      Pages 403-419
    2. Dimitrios S. Kolovos, Nicholas Matragkas, James R. Williams, Richard F. Paige
      Pages 420-432
    3. Ulf Eliasson, Rogardt Heldal, Jonn Lantz, Christian Berger
      Pages 433-449
  11. Modeling for Analysis

    1. Ghanem Soltana, Elizabeta Fourneret, Morayo Adedjouma, Mehrdad Sabetzadeh, Lionel Briand
      Pages 450-466
    2. Daniel Lüddecke, Nina Bergmann, Ina Schaefer
      Pages 484-500
  12. Pragmatics

    1. Iris Reinhartz-Berger, Kathrin Figl, Øystein Haugen
      Pages 501-517
    2. David Granada, Juan M. Vara, Veronica A. Bollati, Esperanza Marcos
      Pages 535-551
  13. Model Extraction, Manipulation and Persistence

    1. Alexander Bergmayr, Michael Grossniklaus, Manuel Wimmer, Gerti Kappel
      Pages 552-568
    2. Filip Křikava, Philippe Collet, Robert B. France
      Pages 569-585
    3. Seyyed M. Shah, Ran Wei, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Konstantinos Barmpis
      Pages 586-601
  14. Model Transformation 2

    1. Francesco Basciani, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio
      Pages 602-618
    2. Cláudio Gomes, Bruno Barroca, Vasco Amaral
      Pages 619-635
    3. Islem Baki, Houari Sahraoui, Quentin Cobbaert, Philippe Masson, Martin Faunes
      Pages 636-652
  15. Querying

    1. Gábor Szárnyas, Benedek Izsó, István Ráth, Dénes Harmath, Gábor Bergmann, Dániel Varró
      Pages 653-669
    2. Gábor Bergmann
      Pages 670-686
  16. Back Matter

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

  • DOI https://doi.org/10.1007/978-3-319-11653-2
  • 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
  • Buy this book on publisher's site