relation: https://khub.utp.edu.my/scholars/294/
title: Mapping from OCL/UML metamodel to PVS metamodel
creator: Ab. Rahim, L.
description: 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.
date: 2008
type: Conference or Workshop Item
type: PeerReviewed
identifier:   Ab. Rahim, L.  (2008) Mapping from OCL/UML metamodel to PVS metamodel.  In: UNSPECIFIED.     
relation: https://www.scopus.com/inward/record.uri?eid=2-s2.0-57349186690&doi=10.1109%2fITSIM.2008.4631599&partnerID=40&md5=356fccb530aeaec68f0c623d70e3dac7
relation: 10.1109/ITSIM.2008.4631599
identifier: 10.1109/ITSIM.2008.4631599