Issue 6898: missing closing bracket (uml2-superstructure-ftf) Source: (, ) Nature: Clarification Severity: Minor Summary: There is a missing closing bracket in slot->forAll(s | classifier->exists(c | c.allFeatures()->includes(s.definingFeature) ) The correct version is: slot->forAll(s | classifier->exists(c | c.allFeatures()->includes(s.definingFeature)) ) Resolution: see above Revised Text: Actions taken: January 10, 2004: received issue March 8, 2005: closed issue Discussion: On page 58, replace the OCL expression for constraint [4] with the following expression: classifier->forAll(c | (c.allFeatures()->forAll(f | slot->select(s | s.definingFeature = f)->size() <= 1))) End of Annotations:===== m: webmaster@omg.org Date: 10 Jan 2004 15:24:13 -0500 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Karl Guggisberg Company: nb mailFrom: karl.guggisberg@guggis.ch Notification: No Specification: Unified Modeling Language: Superstructure Section: 7.8.1 FormalNumber: 03-08-02 Version: 2.0 RevisionDate: nb Page: 58 Nature: Clarification Severity: Minor HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; .NET CLR 1.1.4322) Description There is a missing closing bracket in slot->forAll(s | classifier->exists(c | c.allFeatures()->includes(s.definingFeature) ) The correct version is: slot->forAll(s | classifier->exists(c | c.allFeatures()->includes(s.definingFeature)) ) OMG Issue No: 6898 Title: missing closing bracket Source: Summary: There is a missing closing bracket in slot->forAll(s | classifier->exists(c | c.allFeatures()->includes(s.definingFeature) ) The correct version is: slot->forAll(s | classifier->exists(c | c.allFeatures()->includes(s.definingFeature)) ) Discussion: On page 58, replace the OCL expression for constraint [4] with the following expression: classifier->forAll(c | (c.allFeatures()->forAll(f | slot->select(s | s.definingFeature = f)->size() <= 1))) Disposition: Resolved