Dimensions
DimensionsAb. Rahim, L. (2008) Mapping from OCL/UML metamodel to PVS metamodel. In: UNSPECIFIED.
Full text not available from this repository.
Official URL: https://www.scopus.com/inward/record.uri?eid=2-s2....
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.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | cited By 3; Conference of International Symposium on Information Technology 2008, ITSim ; Conference Date: 26 August 2008 Through 29 August 2008; Conference Code:74115 |
| Uncontrolled Keywords: | Information technology; Linguistics; Object oriented programming, Model transformations; Object constraint languages; Prototype verification systems; Unified Modeling, Unified Modeling Language |
| Depositing User: | Mr Ahmad Suhairi UTP |
| Date Deposited: | 09 Nov 2023 15:15 |
| Last Modified: | 09 Nov 2023 15:15 |
| URI: | https://khub.utp.edu.my/scholars/id/eprint/294 |
Actions (login required)
- View Item