تجزیه و تحلیل خودکار محدودیت های یکپارچگی در مدل های چند سطحی

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.