Frank V. Castellucci (firstname.lastname@example.org)
Wed, 8 Dec 1999 23:24:10 -0500
I don't know what has been said before on the subject as I have just joined the mailing list but I am concerned about OCL and the lack of coverage faced in typical constraint programming. I believe that to be "real" OCL must consider constraint propagation. For example (excuse the rust in OCL syntax), where ClassA has an association to ClassB: context ClassA: inv: self.x = self.relationship.y context ClassB inv: self.y = self.relationship.x what is the result when ClassA.x is assigned say 5 In a propagation system, if ClassB.y has not been assigned then by definition it attains the value of 5 as well, of course invariant excepts if ClassB.y is already assigned.