Skip to main content
Springer Nature Link
Log in

Modelling Foundations and Applications

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

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Anthony Anjorin

    1. University of Paderborn, Paderborn, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Huáscar Espinoza

    1. Tecnalia Research and Innovation, Derio, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ECMFA 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (18 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Meta-Modelling and Language Engineering

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. On the Automated Derivation of Domain-Specific UML Profiles

      • Alexander Kraas
      Pages 3-19

    3. Towards Seamless Hybrid Graphical–Textual Modelling for UML and Profiles

      • Lorenzo Addazi, Federico Ciccozzi, Philip Langer, Ernesto Posse
      Pages 20-33

    4. Modeling Architectures of Cyber-Physical Systems

      • Evgeny Kusmenko, Alexander Roth, Bernhard Rumpe, Michael von Wenckstern
      Pages 34-50

  3. Model Evolution and Maintenance

    1. Front Matter

      Pages 51-51
      Download chapter PDF

    2. Systematic Language Extension Mechanisms for the MontiArc Architecture Description Language

      • Arvid Butting, Arne Haber, Lars Hermerschmidt, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
      Pages 53-70

    3. A Feature-Based Approach for Variability Exploration and Resolution in Model Transformation Migration

      • Davide Di Ruscio, Juergen Etzlstorfer, Ludovico Iovino, Alfonso Pierantonio, Wieland Schwinger
      Pages 71-89

    4. On the Influence of Models at Run-Time Traces in Dynamic Feature Location

      • Lorena Arcega, Jaime Font, Øystein Haugen, Carlos Cetina
      Pages 90-105

  4. Model-Driven Generative Development

    1. Front Matter

      Pages 107-107
      Download chapter PDF

    2. cMoflon: Model-Driven Generation of Embedded C Code for Wireless Sensor Networks

      • Roland Kluge, Michael Stein, David Giessing, Andy Schürr, Max Mühlhäuser
      Pages 109-125

    3. Self-adaptive UIs: Integrated Model-Driven Development of UIs and Their Adaptations

      • Enes Yigitbas, Hagen Stahl, Stefan Sauer, Gregor Engels
      Pages 126-141

    4. Iterative Model-Driven Development of Software Extensions for Web Content Management Systems

      • Dennis Priefer, Peter Kneisel, Daniel Strüber
      Pages 142-157

  5. Model Consistency Management

    1. Front Matter

      Pages 159-159
      Download chapter PDF

    2. Efficient Consistency Checking of Interrelated Models

      • Harald König, Zinovy Diskin
      Pages 161-178

    3. Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels

      • Hao Wu
      Pages 179-196

    4. Model Consistency for Distributed Collaborative Modeling

      • Gerson Sunyé
      Pages 197-212

  6. Model Verification and Analysis

    1. Front Matter

      Pages 213-213
      Download chapter PDF

    2. Model-Based Privacy Analysis in Industrial Ecosystems

      • Amir Shayan Ahmadian, Daniel Strüber, Volker Riediger, Jan Jürjens
      Pages 215-231

    3. Formulating Model Verification Tasks Prover-Independently as UML Diagrams

      • Martin Gogolla, Frank Hilken, Philipp Niemann, Robert Wille
      Pages 232-247
Back to top

Other volumes

  1. Modelling Foundations and Applications

Editors and Affiliations

  • University of Paderborn, Paderborn, Germany

    Anthony Anjorin

  • Tecnalia Research and Innovation, Derio, Spain

    Huáscar Espinoza

Bibliographic Information

Publish with us

Policies and ethics

Back to top