Modelling Foundations and Applications

11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings

  • Gabriele Taentzer
  • Francis Bordeleau
Conference proceedings ECMFA 2015

DOI: 10.1007/978-3-319-21151-0

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

Table of contents (13 papers)

  1. Front Matter
    Pages I-XII
  2. Energy Consumption Analysis and Design of Energy-Aware WSN Agents in fUML
    Luca Berardinelli, Antinisca Di Marco, Stefano Pace, Luigi Pomante, Walter Tiberti
    Pages 1-17
  3. A Comparison of Two-Level and Multi-level Modelling for Cloud-Based Applications
    Alessandro Rossini, Juan de Lara, Esther Guerra, Nikolay Nikolov
    Pages 18-32
  4. Empirical Evaluation of UML Modeling Tools–A Controlled Experiment
    Safdar Aqeel Safdar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
    Pages 33-44
  5. A Generative Approach to Define Rich Domain-Specific Trace Metamodels
    Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry
    Pages 45-61
  6. On Lightweight Metamodel Extension to Support Modeling Tools Agility
    Hugo Bruneliere, Jokin Garcia, Philippe Desfray, Djamel Eddine Khelladi, Regina Hebig, Reda Bendraou et al.
    Pages 62-74
  7. Type Inference in Flexible Model-Driven Engineering
    Athanasios Zolotas, Nicholas Matragkas, Sam Devlin, Dimitrios S. Kolovos, Richard F. Paige
    Pages 75-91
  8. AspectOCL: Extending OCL for Crosscutting Constraints
    Muhammad Uzair Khan, Numra Arshad, Muhammad Zohaib Iqbal, Hafsa Umar
    Pages 92-107
  9. Reusable Model Interfaces with Instantiation Cardinalities
    Sunit Bhalotia, Jörg Kienzle
    Pages 108-124
  10. A Model-Based Approach for the Integration of Configuration Fragments
    Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe
    Pages 125-136
  11. Towards Incremental Updates in Large-Scale Model Indexes
    Konstantinos Barmpis, Seyyed Shah, Dimitrios S. Kolovos
    Pages 137-153
  12. A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical
    Zinovy Diskin, Tom Maibaum, Krzysztof Czarnecki
    Pages 154-170
  13. Opening the Black-Box of Model Transformation
    John T. Saxon, Behzad Bordbar, David H. Akehurst
    Pages 171-186
  14. Property Access Traces for Source Incremental Model-to-Text Transformation
    Babajide Ogunyomi, Louis M. Rose, Dimitrios S. Kolovos
    Pages 187-202
  15. Back Matter
    Pages 203-203

About these proceedings

Introduction

This book constitutes the proceedings of the 11th European Conference on Modelling Foundations and Applications, ECMFA 2015, held as part of STAF 2015, in L`Aquila, Utaly, in July 2015. The 13 papers presented in this volume were carefully reviewed and selected from 54 submissions.
The committee decided to accept 13 papers, 9 papers for the Foundations Track and 4 papers for the Applications Track. Papers on a wide range of MBE aspects were accepted, including topics such as aspect-oriented modeling, model management, model transformation, advanced meta-modeling, UML modeling tools, and domain-specific modeling w.r.t. energy consumption and cloud-based systems.

Keywords

abstraction architecture description language cloud computing constraints design languages embedded software feature interaction metamodeling model driven software engineering model-driven software engineering modeling and modularity modeling and simulation software architectures software product lines software system models software verification and validation system configuration system description languages system modeling languages unified modeling language

Editors and affiliations

  • Gabriele Taentzer
    • 1
  • Francis Bordeleau
    • 2
  1. 1.Universität Marburg FB MathematikMarburgGermany
  2. 2.Ericsson Canada IncOttawaCanada

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-21150-3
  • Online ISBN 978-3-319-21151-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349