Towards a Semantically Useful Definition of Conformance with a Reference Model
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 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:30 | |||
11:00 30mResearch 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 30mResearch 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 30mResearch 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 |