Issue 18464: Inconsistent inclusion of source in closure results (ocl2-rtf)
Source: Nomos Software (Dr. Edward Willink, ed(at)willink.me.uk)
Nature: Clarification
Severity: Minor
Summary: "The returned collection of the closure iteration is an accumulation of the source, and the collections resulting from ..."

incorrectly includes the source. The algorithm in 11.9.1 correctly includes the source only if the source is reached by some traversal from the source.
Resolution: 
Revised Text: 
Actions taken:
February 20, 2013: received issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 20 Feb 2013 07:01:32 -0500
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:            Edward Willink
Employer:        
mailFrom:        ed@willink.me.uk
Terms_Agreement: I agree
Specification:   OCL
Section:         7.7.5
FormalNumber:    12-01-01
Version:         2.3.1
Doc_Year:        Year
Doc_Month:       Month
Doc_Day:         Day
Page:            30
Title:           Inconsistent inclusion of source in closure results
Nature:          Clarification
Severity:        Minor
CODE:            3TMw8
B1:              Report Issue


Description:


"The returned collection of the closure iteration is an accumulation of the source, and the collections resulting from ..."

incorrectly includes the source. The algorithm in 11.9.1 correctly includes the source only if the source is reached by some traversal from the source.