Mapping from OCL/UML metamodel to PVS metamodel
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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://eprints.utp.edu.my/115/1/paper.pdf http://www.scopus.com/inward/record.url?eid=2-s2.0-57349186690&partnerID=40&md5=9de549d7a14f8ff059668773328bd928 http://eprints.utp.edu.my/115/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Universiti Teknologi Petronas |
| id |
my.utp.eprints.115 |
|---|---|
| record_format |
eprints |
| spelling |
my.utp.eprints.1152017-01-19T08:26:33Z Mapping from OCL/UML metamodel to PVS metamodel L.A., Rahim Q Science (General) QA75 Electronic computers. Computer science 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. 2008 Conference or Workshop Item NonPeerReviewed application/pdf http://eprints.utp.edu.my/115/1/paper.pdf http://www.scopus.com/inward/record.url?eid=2-s2.0-57349186690&partnerID=40&md5=9de549d7a14f8ff059668773328bd928 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. http://eprints.utp.edu.my/115/ |
| institution |
Universiti Teknologi Petronas |
| building |
UTP Resource Centre |
| collection |
Institutional Repository |
| continent |
Asia |
| country |
Malaysia |
| content_provider |
Universiti Teknologi Petronas |
| content_source |
UTP Institutional Repository |
| url_provider |
http://eprints.utp.edu.my/ |
| topic |
Q Science (General) QA75 Electronic computers. Computer science |
| spellingShingle |
Q Science (General) QA75 Electronic computers. Computer science L.A., Rahim Mapping from OCL/UML metamodel to PVS metamodel |
| 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.
|
| format |
Conference or Workshop Item |
| author |
L.A., Rahim |
| author_facet |
L.A., Rahim |
| author_sort |
L.A., Rahim |
| title |
Mapping from OCL/UML metamodel to PVS metamodel
|
| title_short |
Mapping from OCL/UML metamodel to PVS metamodel
|
| title_full |
Mapping from OCL/UML metamodel to PVS metamodel
|
| title_fullStr |
Mapping from OCL/UML metamodel to PVS metamodel
|
| title_full_unstemmed |
Mapping from OCL/UML metamodel to PVS metamodel
|
| title_sort |
mapping from ocl/uml metamodel to pvs metamodel |
| publishDate |
2008 |
| url |
http://eprints.utp.edu.my/115/1/paper.pdf http://www.scopus.com/inward/record.url?eid=2-s2.0-57349186690&partnerID=40&md5=9de549d7a14f8ff059668773328bd928 http://eprints.utp.edu.my/115/ |
| _version_ |
1738655028143456256 |