Ontological Representation of the UML/OCL Models and Their Verifications

Abstract

Software model describes constructional layouts with all its detailed components and capabilities. These software models are being used by the latest software development methodologies like as MDE (Model Driven Engineering) as their main components. Most of the modern software development methodologies use these models, as their main components. Using these Software models, the codes can be automatically generated. In case if they have any errors in them, they are directly passed on to the codes. Rectifying such errors at later stages of software development is havoc. Model Verification could be one of the promising solutions to this problem. But again, it has got a variety of features and including them all at one place could be another hurdle of the path. Keeping these problems in view, this work demonstrates an ontological mapping of Software model (UML/OCL in specific) and their verification. Benefits of Ontological portrayal of modeling over OCL have been utilized to perform different levels of code verification. This work mainly focuses on bringing out the best from utilizing the concepts from the two above mentioned approaches, namely UML/OCL and Ontology, to effectively verify software models.