Issue 6966: Typo in OCL (uml2-superstructure-ftf)
Source:  (, )
Nature: Clarification
Severity: Minor
Summary: Typo in OCL 

extensionLocation->forAll (xp | extendedCase.extensionPoint->include(xp)) 

should be ("includes" instead of "include") 

extensionLocation->forAll (xp | extendedCase.extensionPoint->includes(xp)) 

Resolution: see above
Revised Text: 
Actions taken:
January 31, 2004: received issue
March 8, 2005: closed issue
Discussion: 
On page 515, replace the current constraint expression for the first constraint of the
Extend metaclass from
extensionLocation->forAll (xp |
extendedCase.extensionPoint->include(xp))
to
extensionLocation->forAll (xp |
extendedCase.extensionPoint->includes(xp))
End of Annotations:=====

m: webmaster@omg.org 
Date: 31 Jan 2004 17:06:05 -0500 
To: <issues@omg.org> 
Subject: Issue/Bug Report 



--------------------------------------------------------------------------------

Name: Karl Guggisberg 
Company: na 
mailFrom: karl.guggisberg@guggis.ch 
Notification: No 
Specification: Unified Modeling Language: Superstructure 
Section: 16.3.6 
FormalNumber: ptc/03-08-02 
Version: 2.0 
RevisionDate: na 
Page: 515 
Nature: Clarification 
Severity: Minor 
HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; .NET CLR 1.1.4322) 
Description
Typo in OCL 

extensionLocation->forAll (xp | extendedCase.extensionPoint->include(xp)) 

should be ("includes" instead of "include") 

extensionLocation->forAll (xp | extendedCase.extensionPoint->includes(xp)) 


OMG Issue No: 6966 
Title:		Typo in OCL	
Source:			

Summary:
Typo in OCL 

extensionLocation->forAll (xp | extendedCase.extensionPoint->include(xp)) 

should be ("includes" instead of "include") 

extensionLocation->forAll (xp | extendedCase.extensionPoint->includes(xp)) 


Discussion:
Replace the OCL expression in constraint [1] for .Extend.  on pg. 515 by the following OCL expression:
ExtensionLocation->forAll(xp | extendedCase.extensionPoint->includes(xp)
Disposition:	Unresolved