Cart (Loading....) | Create Account
Close category search window

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

Need Help?

IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.