STAF 2024
Mon 8 - Thu 11 July 2024 Enschede, Netherlands
Tue 9 Jul 2024 11:00 - 11:30 at Waaier 2 - ECMFA Session 4 Chair(s): Robbert Jongeling

In software engineering reference models are used as a guidance for implementing potential solutions to recurring problems, e.g., as reference architecture models or reference data models. Despite the broad use of reference models in practice, there is no clear definition for what it means that a concrete model conforms to a reference model. This prevents us from developing automated tools for conformance checking. In this paper, we provide a semantically useful definition of conformance of concrete models to reference models. We then present concepts and tools for concrete automated conformance checks for (1) class diagrams, (2) feature diagrams, and (3) state charts, which we developed based on that definition. Finally, we discuss (1) the commonalities and differences of the presented automated conformance checks and (2) general design considerations for developing reference model conformance checkers in the context of model-driven engineering. Key findings are that reference models should use the same language as their concrete models, conformance checks require conformance mappings between reference and concrete model elements, and conformance rules must be based on formally defined language semantics.

Tue 9 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
ECMFA Session 4ECMFA Technical Track at Waaier 2
Chair(s): Robbert Jongeling Mälardalen University
11:00
30m
Research paper
Towards a Semantically Useful Definition of Conformance with a Reference Model
ECMFA Technical Track
A: Marco Konersmann , A: Bernhard Rumpe RWTH Aachen University, A: Max Stachon RWTH Aachen University, A: Sebastian Stüber RWTH Aachen University, Chair of Software Engineering, A: Valdes Voufo RWTH Aachen University
11:30
30m
Research paper
Integrating the Support for Machine Learning of Inter-Model Relations in Model Views
ECMFA Technical Track
A: James Pontes Miranda IMT Atlantique, LS2N (UMR CNRS 6004), A: Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004), A: Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), A: Gerson Sunyé IMT Atlantique; Nantes Université; École Centrale Nantes
12:00
30m
Research paper
An Empirical Study on Leveraging LLMs for Metamodels and Code Co-evolution
ECMFA Technical Track
A: Zohra Kaouter Kebaili Univ Rennes, CNRS, IRISA, A: Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, A: Mathieu Acher University of Rennes, France / Inria, France / CNRS, France / IRISA, France, A: Olivier Barais University of Rennes, France / Inria, France / CNRS, France / IRISA, France