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 120
- Downloads 0
A Unified Bond Graph Modeling Approach for the Ejection Phase of the Cardiovascular System
In this paper the unified Bond Graph model of the left ventricle ejection phase is presented, simulated and validated. The integro-differential and ordinary differential equations obtained from the bond graph models are...
Application of Lean Agile Resilient Green Paradigm Framework on China Pakistan Economic Corridor: A Case Study
China has recently emerged as the technological and economic giant and an attractive place for investment for MCNs (Multi-National Companies). Many of the high ranked MNC?s have shifted their production facilities to Chi...
Application of Image Processing Algorithms for Brain Tumor Analysis in 2D and 3D Leading to Tumor's Positioning in Skull: Overview
Segmentation of brain tumors has been found challenging throughout in the field of image processing. Different algorithms have been applied to the segmentation of solid or cystic tumors individually but little work has b...
Assessing the Effect of Different Water Table Depths on Water Use, Yield and Water Productivity of the Okra Crop
An experimental study was carried out on a Lysimeter with the aim of partially meeting WRs (Water Requirements) of the Okra crop through SWT (Shallow Water Table) while maintaining the SWT at various levels below the gro...
Reduction of Cracking and Shrinkage in Compressed Clay Beams during Drying
Uncontrolled evaporation of moisture from compressed clay beams can cause surface cracks, resulting in reduction of strength. This paper presents various treatments applied to clay beams during the process of casting, co...