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 106
- Downloads 0
Selection of Best Fit Correlation for Compression Index of Soil from District Bannu
Geotechnical investigation is one of the major steps in the safe and economic design of foundation for any structure. This requires some soil parameters to be established. CI (Compression Index) is one of these parameter...
Effect of Firing on Cracking and Warping of Clay Beams
Reinforced baked clay beams may be considered to be a substitute of reinforced cement concrete beams in order to build low cost houses. The baking of these clay beams can pose problems such as cracking and warping. This...
Economically Effective and Intelligently Responsive Home Energy Management System
Energy management in home is one of the major issue now-a-days. There are different types of load like shiftable, non-shiftable, seasonal loads and auxiliary loads. In this research article, an energy management system i...
A Model of Adaptive E-Learning in an ODL Environment
In recent years, technology enabled learning also called e-learning is penetrating in the educational sector and its use is increasing especially in ODL (Open and Distance Learning). But a majority of the e-learning syst...
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...