eprintid: 294
rev_number: 2
eprint_status: archive
userid: 1
dir: disk0/00/00/02/94
datestamp: 2023-11-09 15:15:55
lastmod: 2023-11-09 15:15:55
status_changed: 2023-11-09 15:14:15
type: conference_item
metadata_visibility: show
creators_name: Ab. Rahim, L.
title: Mapping from OCL/UML metamodel to PVS metamodel
ispublished: pub
keywords: Information technology; Linguistics; Object oriented programming, Model transformations; Object constraint languages; Prototype verification systems; Unified Modeling, Unified Modeling Language
note: cited By 3; Conference of International Symposium on Information Technology 2008, ITSim ; Conference Date: 26 August 2008 Through 29 August 2008; Conference Code:74115
abstract: 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
official_url: https://www.scopus.com/inward/record.uri?eid=2-s2.0-57349186690&doi=10.1109%2fITSIM.2008.4631599&partnerID=40&md5=356fccb530aeaec68f0c623d70e3dac7
id_number: 10.1109/ITSIM.2008.4631599
full_text_status: none
publication: Proceedings - International Symposium on Information Technology 2008, ITSim
volume: 1
place_of_pub: Kuala Lumpur
refereed: TRUE
isbn: 9781424423286
citation:   Ab. Rahim, L.  (2008) Mapping from OCL/UML metamodel to PVS metamodel.  In: UNSPECIFIED.