A Proposal for a Formal OCL Semantics in Isabelle/HOL
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
APSEC '02 Proceedings of the Ninth Asia-Pacific Software Engineering Conference
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
From Object Composition to Model Transformation with the MDA
TOOLS '01 Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems (TOOLS39)
UML-B: Formal modeling and design aided by UML
ACM Transactions on Software Engineering and Methodology (TOSEM)
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Hi-index | 0.00 |
In translating Object Constraint Language (OCL) to Prototype Verification System (PVS) using model transformation technique, the problem is the absence of PVS metamodel. The PVS metamodel is crucial to the transformation because it defines the elements that may involves in it. This paper proposes a PVS metamodel. The metamodel is created based on the main language construct of PVS where each PVS language construct is represented by element in the metamodel. An example of how the metamodel is used in the transformation is also discussed.