By Topic

Types and Operations: Transformation Rules for the Semantic Integration of OCL and RSL

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
6 Author(s)
Debnath, N. ; Winona State Univ., Winona ; Funes, A. ; Dasso, A. ; Riesco, D.
more authors

In this work we present a set of rules to integrate Object Constraint Language (OCL) and the RAISE Specification Language (RSL). This is a continuation of our previous work where we have (i) showed how to derive an initial formal specification in RSL from a UML class diagram and (ii) illustrated the use of this mapping via an example. The proposed rules allow transforming OCL expressions into RSL expressions. We also present some background in both languages OCL and RSL as well as a brief explanation of previous work on which some of the transformation rules are based.

Published in:

Signal Processing and Information Technology, 2007 IEEE International Symposium on

Date of Conference:

15-18 Dec. 2007