OCL



Date view Thread view Subject view Author view Attachment view

kcl@dcs.kcl.ac.uk
Date: Sat 15 Feb 2003 - 09:49:23 GMT


Flattening of sets seems to lead to a lack of precision -- for 
example if
there are many-valued roles $rb$ from class $A$ to
class $B$ and $rc$ from $B$ to $C$, and $r$ from
$A$ to $C$, the OCL constraint $rb.rc = r$ does not
imply that each $b$ in $a.rb$ has $b.rc = a.r$,
merely that the union of all the $b.rc$ is $a.r$? 

Constraints attached to relations (eg: rc = r on the A_B 
association) would be needed. 

K. Lano

Date view Thread view Subject view Author view Attachment view