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 |