Issue 19825: StateSpec for oclInState() (ocl2-rtf) Source: (, ) Nature: Revision Severity: Minor Summary: Please add that the StateSpec may include the names of Regions. Resolution: Revised Text: Actions taken: August 5, 2015: received issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 05 Aug 2015 07:38:55 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: Torsten Binias Employer: From: webmaster@omg.org Date: 05 Aug 2015 07:38:55 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: Torsten Binias Employer: mailFrom: torsten.binias@gmx.de Terms_Agreement: I agree Specification: OMG Object Constraint Language (OCL) Section: 7.6.9 FormalNumber: formal/2012-01-01 Version: 2.3.1 Doc_Year: 2012 Doc_Month: January Doc_Day: 01 Page: 23 Title: StateSpec for oclInState() Nature: Revision Severity: Minor CODE: 3TMw8 B1: Report Issue Remote Name: 192.166.104.102 Remote User: HTTP User Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:39.0) Gecko/20100101 Firefox/39.0 Time: 07:38 AM Description: Please add that the StateSpec may include the names of Regions. From: webmaster@omg.org Date: 05 Aug 2015 07:38:55 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: Torsten Binias Employer: mailFrom: torsten.binias@gmx.de Terms_Agreement: I agree Specification: OMG Object Constraint Language (OCL) Section: 7.6.9 FormalNumber: formal/2012-01-01 Version: 2.3.1 Doc_Year: 2012 Doc_Month: January Doc_Day: 01 Page: 23 Title: StateSpec for oclInState() Nature: Revision Severity: Minor CODE: 3TMw8 B1: Report Issue Remote Name: 192.166.104.102 Remote User: HTTP User Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:39.0) Gecko/20100101 Firefox/39.0 Time: 07:38 AM Description: Please add that the StateSpec may include the names of Regions.