OCL Expressions and their Context: Transformation Rules for the Semantic Integration of OCL and RSL

A set of rules to integrate Object Constraint Language (OCL) and the RALSE Specification Language (RSL) are shown and discussed. The rules presented here cover the translation of OCL expressions to semantically equivalent RSL expressions. The proposed rules here complete our previous work where we showed how to derive an initial formal specification in RSL from a UML class diagram, illustrated the use of RSL and OCL integration via an example, and proposed a complementary subset of rules for the translation of types and operations. We also present here a brief explanation of previous work on which the transformation rules are based.