Automated analysis of integrity constraints in multi-level models
详细信息 查看全文
- 作者：Esther Guerra ; Esther.Guerra@uam.esAuthor Vitae ; Juan de Lara Juan.deLara@uam.esAuthor Vitae
- 关键词：Multi-level modelling ; Deep meta-modelling ; Conceptual modelling ; Management of integrity constraints ; Meta-level flattening ; Model finders ; Constraint solving ; MetaDepth
- 刊名：Data & Knowledge Engineering
- 出版年：2017
- 出版时间：January 2017
- 年：2017
- 卷：107
- 期：Complete
- 页码：1-23
- 全文大小：4731 K
- 卷排序：107
文摘
Multi-level modelling is a technology for model-based development that enables the incremental refinement of models in successive meta-levels, which results in simpler and more intentional system descriptions in some scenarios. In this approach, integrity constraints can be placed at any meta-level, and need to indicate the meta-level below at which they should hold. This requires a careful design, as constraints defined at different meta-levels may interact in unexpected ways. Unfortunately, current techniques for the analysis of the satisfiability of constraints are designed for two meta-levels only. Hence, nowadays, the analysis of multi-level solutions is performed by hand, which is tedious and error-prone.In this paper, we define an automated procedure to check the satisfiability of integrity constraints in a multi-level setting, leveraging on “off-the-shelf” model finders. This procedure is supported by our multi-level modelling tool MetaDepth, which has been extended to reason on the satisfiability of constraints in multi-level models, and to perform automated model completion.