Issue 12379: Section 11.3.25 gives the definition of MultiplicityExpression::isConsisten (uml2-rtf) Source: Oracle (Mr. Dave Hawkins, dave.hawkins(at)oracle.com) Nature: Enhancement Severity: Minor Summary: Section 11.3.25 gives the definition of MultiplicityElement::compatibleWith as: compatibleWith(other) = Integer.allInstances()-> forAll(i : Integer | self.includesCardinality(i) implies other.includesCardinality(i)) While technically correct, this may be a little impractical for any OCL interpreting tool. I think an alternative, that simply uses the upper and lower bounds, would be: compatibleWith(other) = other.includesMultiplicity(self) Resolution: Revised Text: Actions taken: April 15, 2008: received issue Discussion: definition of MultiplicityElement::compatibleWith End of Annotations:===== m: webmaster@omg.org Date: 15 Apr 2008 09:12:50 -0400 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Dave Hawkins Company: Oracle mailFrom: dave.hawkins@oracle.com Notification: Yes Specification: UML Superstructure Section: 11.3.25 FormalNumber: formal/2007-11-02 Version: 2.1.2 RevisionDate: 11/2007 Page: 262 Nature: Enhancement Severity: Minor HTTP User Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.1.3) Gecko/20070309 Firefox/2.0.0.3 Description Section 11.3.25 gives the definition of MultiplicityExpression::isConsistentWith as: compatibleWith(other) = Integer.allInstances()-> forAll(i : Integer | self.includesCardinality(i) implies other.includesCardinality(i)) While technically correct, this may be a little impractical for any OCL interpreting tool. I think an alternative, that simply uses the upper and lower bounds, would be: compatibleWith(other) = other.includesMultiplicity(self)