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 124
- Downloads 0
Effect of Cryogenic Treatment on Mechanical Properties of AISI 4340 and AISI 4140 Steel
From last epoch till to date, AISI 4340 and AISI 4140 have been widely used in different engineering applications. These applications include bolt, screws, gears, drive shafts, crane shaft and piston rods for engines due...
Effect of Artificial Aging Temperature on Mechanical Properties of 6061 Aluminum Alloy
Aluminum alloys have been attracted by several engineering sectors due to their excellent strength weight ratio and corrosion resistant properties. These are categorized into 1, 2, 3, 4, 5, 6, 7and 8xxx on the basis of a...
Energy and Round Time Estimation Method for Mobile Wireless Sensor Networks
Clustered WSN (Wireless Sensor Networks) is a hierarchical network structure that conserves energy by distributing the task of sensing and data transfer to destination among the non-CH (Cluster-Head) and CH (Cluster Head...
Nonholonomic Mobile Robot Trajectory Tracking using Hybrid Controller
A control scheme is being presented for the trajectory tracking of a nonholonomic kinematic model of mobile robots. As a kinematic model of mobile robots is nonlinear in nature, therefore, it is controlling is always bei...
Effect of Heating Rate on Microstructural Developments in Cold Heading Quality Steel used for Automotive Applications
CHQ (Cold Heading Quality) steels are assumed to be non-heat treatable so strengthened by cold forming which is a quick and mass production makes it low cost manufacturing process. In this study, microstructure and phase...