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 111
- Downloads 0
Relative Efficiency of Different Tillage Practices and Their Effect on Soil Physical Properties under Semi-Arid Climate of Tandojam, Pakistan
Tillage practices affect physical properties of soil that are crucial for better crop production. The study was carried out to compare the efficiency of two different tillage implements and their effect on some soil phys...
Investigations into the Sequential Application of Crease Resist Finish, Tannin and Cationic Reactant to Improve the Resistance of Sulphur Dyes to Oxidation
The importance of sulphur dyes are realized due to the fact that they offer an economical method of achieving dyeing of good color strength and acceptable fastness on cellulosic substrates. However, the main limitations...
LTE and GPS based Deca Band Printed Antenna for Cellular Mobile Handset Communication Applications
This paper presents novel mobile phone antenna for radiations simultaneously in ten frequency bands for applications of LTE (Long-Term Evolution), GPS (Global Positioning System), GSM (Global System for Mobile Communicat...
Effects of Cu and Zn Coated Urea on Eh, pH and Solubility of Cu and Zn in Rice Soils
The concentration of Cu (Copper) and Zn (Zinc) decreases upon flooded conditions of rice soil. To assess the effects of flooding and application of Cu and Zn coated urea on changes in Eh, pH and solubility of Cu and Zn,...
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...