MURAL - Maynooth University Research Archive Library



    A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants.


    Wu, Hao (2022) A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants. The Journal of Object Technology, 21 (3). 3:1. ISSN 1660-1769

    [thumbnail of HW_a query.pdf]
    Preview
    Text
    HW_a query.pdf

    Download (789kB) | Preview

    Abstract

    Verifying whether a UML class diagram is consistent involves finding valid instances that provably meet its constraints defined in Object Constraint Language (OCL). Recent studies have shown that many existing tools and techniques not only can find valid instances but also pinpoint the conflicts among the OCL constraints. However, they do not scale well and are often unable to locate the conflicts when the number of OCL constraints significantly increases. In this paper, we present a novel approach that is capable of verifying UML class diagrams with a large number of OCL constraints. Our approach has two distinct features: (1) it provides a query language that allows users to choose parts of a UML class diagram to be verified. (2) a new algorithm that can handle an extreme size of OCL invariants via concurrent verification. We have implemented a new automated tool called: QMaxUSE. The evaluation results suggest that QMaxUSE has the potential to be adapted by industry and offers up to 30x efficiency improvement in verifying UML class diagrams with a large number of OCL constraints.
    Item Type: Article
    Keywords: Query; OCL; Concurrency;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Faculty of Science and Engineering > Research Institutes > Hamilton Institute
    Item ID: 17901
    Identification Number: 10.5381/jot.2022.21.3.a7
    Depositing User: Hao Wu
    Date Deposited: 29 Nov 2023 16:28
    Journal or Publication Title: The Journal of Object Technology
    Publisher: EtH Zurich
    Refereed: Yes
    Related URLs:
    URI: https://mu.eprints-hosting.org/id/eprint/17901
    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