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
Preview
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)
Downloads
Downloads per month over past year