Towards automating the analysis of integrity constraints in multi-level models.
Esther Guerra, Juan D. Lara · 2014
Abstract. Multi-level modelling is a technology that promotes an incre-mental refinement of meta-models in successive meta-levels. This enables a flexible way of modelling, which results in simpler and more intensional models in some scenarios. In this context, integrity constraints can be placed at any meta-level, and need to indicate at which meta-level below they should hold. This requires a very careful design of constraints, as constraints defined at different meta-levels may interact in unexpected ways. Unfortunately, current techniques for the analysis of the satisfia-bility of constraints only work in two meta-levels. In this paper, we give the first steps towards the automation of mecha-nisms to check the satisfiability of integrity constraints in a multi-level setting, leveraging on “off-the-shelf ” model finders. 1