Mapping from OCL/UML metamodel to PVS metamodel

L.A., Rahim (2008) Mapping from OCL/UML metamodel to PVS metamodel. In: International Symposium on Information Technology 2008, ITSim, 26 August 2008 through 29 August 2008, Kuala Lumpur.

[img] PDF
Restricted to Registered users only


Official URL: http://www.scopus.com/inward/record.url?eid=2-s2.0...


There are many approaches in model transformation. In this paper metamodel transformation approach is used to transform elements in Object Constraint Language (OCL) and Unified Modeling Language (UML) metamodel to elements in Prototype Verification System (PVS) metamodel. The mappings of individual elements in the source metamodels to elements in the target metamodel are discussed. This paper also proposed a metamodel for PVS specification language. © 2008 IEEE.

Item Type:Conference or Workshop Item (Paper)
Uncontrolled Keywords:Information technology; Linguistics; Object oriented programming; Model transformations; Object constraint languages; Prototype verification systems; Unified Modeling; Unified Modeling Language
Subjects:Q Science > Q Science (General)
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments / MOR / COE:Departments > Computer Information Sciences
ID Code:115
Deposited By: Lukman A Rahim
Deposited On:25 Feb 2010 06:27
Last Modified:19 Jan 2017 08:26

Repository Staff Only: item control page

Document Downloads

More statistics for this item...