Ontology-Based Verification of UML Class/OCL Model
Journal Title: Mehran University Research Journal of Engineering and Technology - Year 2018, Vol 37, Issue 4
Abstract
Software models describe structures, relationships and features of the software. Modern software development methodologies such as MDE (Model Driven Engineering) use models as core elements. In MDE, the code is automatically generated from the model and model errors can implicitly shift into the code, which are difficult to find and fix. Model verification is a promising solution to this problem. However, coverage of all facets of model verification is a painful job and existing formal/semi-formal verification methods are greatly inspired by mathematics and difficult to understand by the software practitioners. This work considers particularly UML Class/OCL (Unified Modeling Language Class/Object Constraint Language) model and presents an ontology-based verification method. In the proposed method, a class diagram is transformed into ontology specified in OWL (Web Ontology Language) and constraints into SPARQL NAF (Negation as Failure) queries. This work tries to demonstrate that the proposed approach can efficiently cover all aspects of UML Class/OCL model verification.
Authors and Affiliations
Abdul Hafeez, Syed Hyder Abbas Musavi, Aqeel -ur- Rehman
Keywords
Related Articles
- EP ID EP394635
- DOI 10.22581/muet1982.1804.07
- Views 112
- Downloads 0
An Intelligent Vehicular Traffic Signal Control System with State Flow Chart Design and FPGA Prototyping
The problem of vehicular traffic congestion is a persistent constraint in the socio-economic development of Pakistan. This paper presents design and implementation of an intelligent traffic controller based on FPGA (Fiel...
Detection and Classification of Rice Diseases: An Automated Approach Using Textural Features
Image processing techniques are widely used for the detection and classification of diseases for various plants. The structure of the plant and appearance of the disease on the plant pose a challenge for image processing...
An Intelligent Service-Based Layered Architecture for eLearning and eAssessment
The rapid advancement in ICT (Information & Communication Technology) is causing a paradigm shift in eLearning domain. Traditional eLearning systems suffer from certain shortcomings like tight coupling of system componen...
Biohydrogen Production from Co-Digestion of High Carbohydrate Containing Food Waste and Combined Primary and Secondary Sewage Sludge
In this paper, FW (Food Waste) and SS (Sewage Sludge) were co-digested for biohydrogen production. After characterization both FW and SS were found as better option forbiohydrogen production. FW was rich in carbohydrate...
Image Quality Assessment using Image Details in Frequency Domain
This research proposes a RR (Reduced Reference) DIQAM (Detailed Image Quality Assessment Meter) for DCT (Discrete Cosine Transform) based compressed images. DCT technique divides image in sub blocks to achieve image comp...