To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
Ontology Based Transformation and Verification of UML/OCL Constraints |
|
Author |
Dr. Abdul Hafeez Khan |
| Citation |
Vol. 25 No. 8 pp. 170-173 |
|
Abstract |
In the Software Engineering(SE) the graphical models specify architecture, connection and characteristics of the system. New SE methods such as MDA utilize graphical models as a nucleus of all development activities. In the continuity of our research on integration of UML and ontology, this paper presents the transformation and verification of class diagram and Object Constraint Language (OCL) and transformation algorithm from Class model to ontology. The class diagram is transformed into ontology and constraints specified through OCL are transformed into SPARQL. |
|
Keywords |
UML, OCL, Ontology, SPARQL |
|
URL |
