Skip to main content
  • Conference proceedings
  • © 2018

Modelling Foundations and Applications

14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

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

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

Conference series link(s): ECMFA: European Conference on Modelling Foundations and Applications

Conference proceedings info: ECMFA 2018.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

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

Table of contents (19 papers)

  1. Front Matter

    Pages I-XVI
  2. Is Bidirectionality Important?

    • Perdita Stevens
    Pages 1-11
  3. Towards Automatic Generation of UML Profile Graphical Editors for Papyrus

    • Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige
    Pages 12-27
  4. Optimising OCL Synthesized Code

    • Jesús Sánchez Cuadrado
    Pages 28-45
  5. Expressing Measurement Uncertainty in OCL/UML Datatypes

    • Manuel F. Bertoa, Nathalie Moreno, Gala Barquero, Loli Burgueño, Javier Troya, Antonio Vallecillo
    Pages 46-62
  6. Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation

    • Adrian Rutle, Ludovico Iovino, Harald König, Zinovy Diskin
    Pages 80-96
  7. Bidirectional Method Patterns for Language Editor Migration

    • Enes Yigitbas, Anthony Anjorin, Erhan Leblebici, Marvin Grieger
    Pages 97-114
  8. Parallel Model Validation with Epsilon

    • Sina Madani, Dimitrios S. Kolovos, Richard F. Paige
    Pages 115-131
  9. SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation

    • Ronan Baduel, Mohammad Chami, Jean-Michel Bruel, Iulian Ober
    Pages 132-146
  10. Property-Aware Unit Testing of UML-RT Models in the Context of MDE

    • Reza Ahmadi, Nicolas Hili, Juergen Dingel
    Pages 147-163
  11. MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems

    • Sadaf Mustafiz, Guillaume Dupont, Ferhat Khendek, Maria Toeroe
    Pages 164-178
  12. Detecting Conflicts Between Data-Minimization and Security Requirements in Business Process Models

    • Qusai Ramadan, Daniel Strüber, Mattia Salnitri, Volker Riediger, Jan Jürjens
    Pages 179-198
  13. EMF Patterns of Usage on GitHub

    • Johannes Härtel, Marcel Heinz, Ralf Lämmel
    Pages 216-234
  14. Towards Efficient Loading of Change-Based Models

    • Alfa Yohannis, Horacio Hoyos Rodriguez, Fiona Polack, Dimitris Kolovos
    Pages 235-250
  15. Towards a Framework for Writing Executable Natural Language Rules

    • Konstantinos Barmpis, Dimitrios Kolovos, Justin Hingorani
    Pages 251-263
  16. Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report

    • Atif Mashkoor, Felix Kossak, Miklós Biró, Alexander Egyed
    Pages 264-278
  17. Modeling AUTOSAR Implementations in Simulink

    • Jian Chen, Manar H. Alalfi, Thomas R. Dean, S. Ramesh
    Pages 279-292
  18. Trace Comprehension Operators for Executable DSLs

    • Dorian Leroy, Erwan Bousse, Anaël Megna, Benoit Combemale, Manuel Wimmer
    Pages 293-310

Other Volumes

  1. Modelling Foundations and Applications

About this book

This book constitutes the proceedings of the 14th European Conference on Modelling Foundations and Applications, ECMFA 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 19 papers presented in this volume were carefully reviewed and selected from 45 submissions. The cover topics such as (bidirectional and unidirectional) model transformations, model management, re-engineering, modelling environments, verification and validation, and domain-specific modelling w.r.t. business processes, automotive software, and safety-critical software.

Editors and Affiliations

  • University of L'Aquila, L'Aquila, Italy

    Alfonso Pierantonio

  • Ikerlan, Arrasate-Mondragón, Spain

    Salvador Trujillo

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access