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

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.