Issue 8098: Section: 7.3.33 (uml2-rtf) Source: (, ) Nature: Clarification Severity: Minor Summary: I am not an OCL expert (barely a novice) but it seems to me that Constraint [2] is incorrect in stating "->select(ns|ns.name->isEmpty())". Shouldn't that be ->select(ns|ns.name->notEmpty()) because the constraint is saying that there is a name and all of the containing namespaces have a names (in other words, all of the containing namespaces are notEmpty). Resolution: Revised Text: Actions taken: January 20, 2005: received issue August 23, 2006: closed issue Discussion: No, the OCL is correct. The fragment: self.allNamespaces()->select(ns | ns.name->isEmpty())->isEmpty()) is saying that if the set of namespaces whose name is empty is itself empty, then every namespace has a name. Disposition: Closed, no change End of Annotations:===== m: webmaster@omg.org Date: 20 Jan 2005 10:40:32 -0500 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Jane Messenger Company: U. S. Geological Survey mailFrom: jmessenger@usgs.gov Notification: Yes Specification: Superstructure Section: 7.3.33 FormalNumber: ptc/04-10-02 Version: 2.0 Draft Adopted RevisionDate: 10/08/2004 Page: 100 Nature: Clarification Severity: Minor HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.0; Q312461) Description I am not an OCL expert (barely a novice) but it seems to me that Constraint [2] is incorrect in stating "->select(ns|ns.name->isEmpty())". Shouldn't that be ->select(ns|ns.name->notEmpty()) because the constraint is saying that there is a name and all of the containing namespaces have a names (in other words, all of the containing namespaces are notEmpty).