MURAL - Maynooth University Research Archive Library



    Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels


    Wu, Hao (2017) Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels. In: Modelling Foundations and Applications : Proceedings. Lecture Notes in Computer Science (10376). Springer, Cham, Switzerland, pp. 179-196. ISBN 978-3-319-61481-6

    [thumbnail of WU_Finding_ECMFA_2017.pdf]
    Preview
    Text
    WU_Finding_ECMFA_2017.pdf

    Download (639kB) | Preview

    Abstract

    Determining the consistency of a metamodel is a task of generating a metamodel instance that not only meets structural constraints but also constraints written in Object Constraint Language (OCL). Those constraints can be conflicting, resulting in inconsistencies. When this happens, the existing techniques and tools have no knowledge about which constraints are achievable and which ones cause the conflicts. In this paper, we present an approach to finding achievable metamodel features and constraint conflicts for inconsistent metamodels. This approach allows users to rank individual metamodel features and works by reducing it to a weighted maximum satisfiability modulo theories (MaxSMT). This reduction allows us to utilise SMT solvers to tackle multiple ranked constraints and at the same time locate conflicts among them. We have prototyped this approach, incorporated it into an existing modelling tool, and evaluated it against a benchmark. The preliminary results show that our approach is promising and scalable.
    Item Type: Book Section
    Additional Information: This paper was presented at 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017
    Keywords: Computer science; Computers; Meta model; Modelling tools; Object Constraint Language; Smt solvers; Structural constraints; Techniques and tools; Weighted maximum satisfiability; Artificial intelligence;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Item ID: 11979
    Identification Number: 10.1007/978-3-319-61482-3_11
    Depositing User: Hao Wu
    Date Deposited: 03 Dec 2019 12:28
    Publisher: Springer
    Refereed: Yes
    Related URLs:
    URI: https://mural.maynoothuniversity.ie/id/eprint/11979
    Use Licence: This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

    Repository Staff Only (login required)

    Item control page
    Item control page

    Downloads

    Downloads per month over past year

    Origin of downloads