Modelling Foundations and Applications

13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

  • Anthony Anjorin
  • Huáscar Espinoza
Conference proceedings ECMFA 2017

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10376)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Meta-Modelling and Language Engineering

    1. Front Matter
      Pages 1-1
    2. Lorenzo Addazi, Federico Ciccozzi, Philip Langer, Ernesto Posse
      Pages 20-33
    3. Evgeny Kusmenko, Alexander Roth, Bernhard Rumpe, Michael von Wenckstern
      Pages 34-50
  3. Model Evolution and Maintenance

    1. Front Matter
      Pages 51-51
    2. Arvid Butting, Arne Haber, Lars Hermerschmidt, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
      Pages 53-70
    3. Davide Di Ruscio, Juergen Etzlstorfer, Ludovico Iovino, Alfonso Pierantonio, Wieland Schwinger
      Pages 71-89
    4. Lorena Arcega, Jaime Font, Øystein Haugen, Carlos Cetina
      Pages 90-105
  4. Model-Driven Generative Development

    1. Front Matter
      Pages 107-107
    2. Roland Kluge, Michael Stein, David Giessing, Andy Schürr, Max Mühlhäuser
      Pages 109-125
    3. Enes Yigitbas, Hagen Stahl, Stefan Sauer, Gregor Engels
      Pages 126-141
    4. Dennis Priefer, Peter Kneisel, Daniel Strüber
      Pages 142-157
  5. Model Consistency Management

  6. Model Verification and Analysis

    1. Front Matter
      Pages 213-213
    2. Amir Shayan Ahmadian, Daniel Strüber, Volker Riediger, Jan Jürjens
      Pages 215-231
    3. Martin Gogolla, Frank Hilken, Philipp Niemann, Robert Wille
      Pages 232-247

About these proceedings

Introduction

This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.

The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: meta-modeling and language engineering; model evolution and maintenance; model-driven generative development; model consistency management; model verification and analysis; and experience reports, case studies and new applications scenarios.

Keywords

software engineering semantics programming languages model driven development model transformation software architecture model-driven engineering computer software selection and evaluation internet parallel processing systems architecture world wide web computer software reusability computer networks program compilers Unified Modeling Language (UML) telecommunication networks hardware robotics embedded systems

Editors and affiliations

  1. 1.University of PaderbornPaderbornGermany
  2. 2.Tecnalia Research and InnovationDerioSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-61482-3
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-61481-6
  • Online ISBN 978-3-319-61482-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book