Issue 8312: Section: 13.3.20 (uml2-rtf) Source: (, ) Nature: Clarification Severity: Minor Summary: Add OCL notation to or a note that OCL can not define the constraints Resolution: see above Revised Text: Constraints section of 13.3.20: Change text of constraint [1] as follows and add OCL to constraints: [1] The behavior may only have return result parameters. self.behavior.notEmpty() implies self.behavior.ownedParameters->select(p|p.direction<>#return)- >isEmpty() [2] The behavior must have exactly one return result parameter. self.behavior.notEmpty() implies self.behavior.ownedParameter->select(p|p.direction=#return)->size() = 1 Actions taken: February 22, 2005: received issue August 23, 2006: closed issue Discussion: Did I understand it right that "The behavior must not have formal parameters." means that there are no in,out,inout parameters? -- Tim Weilkiens What this means is that the Behavior that is at self.behavior must not have any parameter other than return parameters. Maybe the English text should be changed (there used to be an association "formalParameter"). We probably should change the text to say that it should only have return result parameters. -- ThomasWeigert - 24 May 2005 End of Annotations:===== m: webmaster@omg.org Date: 22 Feb 2005 15:09:32 -0500 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Jane Messenger Company: U. S. Geological Survey mailFrom: jmessenger@usgs.gov Notification: Yes Specification: Superstructure Section: 13.3.20 FormalNumber: ptc/04-10-02 Version: 2.0 Draft Adopted RevisionDate: 10/08/2004 Page: 484 Nature: Clarification Severity: Minor HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.0; Q312461) Description Add OCL notation to or a note that OCL can not define the constraints. Issue 8312: Section: 13.3.20 Issue summary Add OCL notation to or a note that OCL can not define the constraints Discussion Did I understand it right that "The behavior must not have formal parameters." means that there are no in,out,inout parameters? -- Tim Weilkiens What this means is that the Behavior that is at self.behavior must not have any parameter other than return parameters. Maybe the English text should be changed (there used to be an association "formalParameter"). We probably should change the text to say that it should only have return result parameters. -- ThomasWeigert - 24 May 2005 Revised Test Constraints section of 13.3.20: Change text of constraint [1] as follows and add OCL to constraints: [1] The behavior may only have return result parameters. self.behavior.notEmpty() implies self.behavior.ownedParameters->select(p|p.direction<>#return)->isEmpty() [2] The behavior must have exactly one return result parameter. self.behavior.notEmpty() implies self.behavior.ownedParameter->select(p|p.direction=#return)->size() = 1 Resolution