Write a Blog >>
Sun 10 - Sat 16 October 2021
Sat 16 Oct 2021 00:20 - 00:40 at Room 1 - Model management and model transformations IV Chair(s): Davide Di Ruscio

For different reasons, metamodels are subject to evolution. For instance, UML metamodel evolved through different versions, ranging from 0.8 to 2.5 minors. These metamodels are sometimes accompanied with constraints defined using OCL (Object Constraint Language). Many works in the literature developed methods for managing and assisting the co-evolution of metamodels and their constraints. These methods enable a developer to update, in an automated (or semi-automated) way, the constraints associated to a metamodel starting from the deltas identified between versions of this metamodel. In this work we complement this assistance by notifying the developer with potential inaccurate structures in the metamodel that may be introduced during evolution. We introduce in this paper an original evolution assistance method that focuses rather on the problem (notifying metamodel inaccurate structures) than on the solution (generating OCL constraints using patterns of them). The ultimate goal of this assistance is not only to enable the developer to complete existing/updated constraints with new ones, but also to accompany her/him to further check existing constraints and to test whether they still hold. A case study is presented to show the relevance of the method.

Sat 16 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

00:00 - 01:00
Model management and model transformations IVTechnical Papers at Room 1
Chair(s): Davide Di Ruscio University of L'Aquila
A Systematic Literature Review of Cross-Domain Model Consistency Checking by Model Management ToolsJ1ST
Technical Papers
Weslley Silva Torres , Mark van den Brand Eindhoven University of Technology, Alexander Serebrenik Eindhoven University of Technology
Identifying Metamodel Inaccurate Structures During Metamodel/Constraints Co-EvolutionFT
Technical Papers
Elyes CHERFA Université of Rennes 1, Soraya Kesraoui , Chouki Tibermacine LIRMM, CNRS and University of Montpellier, Régis Fleurquin , Salah Sadou
MM-cat: A Tool for Modeling and Transformation of Multi-Model Data using Category TheoryDEMO
Technical Papers