Evaluating different processes of translating OCL to PVS using model transformation

Rahim, L.Ab. (2008) Evaluating different processes of translating OCL to PVS using model transformation. In: UNSPECIFIED.

Full text not available from this repository.
Official URL: https://www.scopus.com/inward/record.uri?eid=2-s2....

Abstract

Various works have been done in verifying Object Constraint Language (OCL) by translating it to formal specification language. This paper presents the process of translating OCL to Prototype Verification System (PVS) using model transformation. PVS is a formal specification language based on Higher-Order Logic and comes with a theorem prover. Two processes have been identified to translate OCL to PVS. The first process translates OCL constraint to PVS specification directly using model-to-text transformation while the second process transforms OCL to PVS model. Both processes are evaluated to identify the advantages and disadvantages. Transforming OCL to PVS model allow the result to be use for other model management operation. © 2008 IEEE.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Additional Information: cited By 0; 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, Different processes; Formal specification languages; Model managements; Model transformations; Object constraint languages; Prototype verification systems; PVS specifications, Specifications
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/295

Actions (login required)

View Item
View Item