Issue 12449: no explanations about how to manipulate optional and multivalued attributes (ocl2-rtf)
Source:  (, )
Nature: Enhancement
Severity: Significant
Summary: There are no explanations about how to manipulate optional and multivalued attributes. On the other hand optional and multivalued associations are discussed in detail. For example, while I can use context Person inv: self.job->notEmpty() implies ... to test "whether there is an object or not when navigating the association", I do not know how do a similar test for optional attributes. Is it context Person inv: self.maidenName <> `' implies ... or context Person inv: self.maidenName -> notEmpty() implies ... ?
Resolution: 
Revised Text: 
Actions taken:
May 14, 2008: received issue
October 16, 2009: closed issue
Discussion: 
Associations are attributes.  No further information is required.
Disposition:	Closed, no change
End of Annotations:=====
me: Esteban Zimanyi 
Company: Universite Libre de Bruxelles 
mailFrom: ezimanyi@ulb.ac.be 
Notification: Yes 
Specification: OCL 
Section: many ... 
FormalNumber: 2006-05-01 
Version: 2.0 
RevisionDate: 05/10/08 
Page: 1..230 
Nature: Revision 
Severity: Significant 
HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.0; .NET CLR 2.0.50727) 

This is issue # 12449

There are no explanations about how to manipulate optional and multivalued attributes. On the other hand optional and multivalued associations are discussed in detail. For example, while I can use context Person inv: self.job->notEmpty() implies ... to test "whether there is an object or not when navigating the association", I do not know how do a similar test for optional attributes. Is it context Person inv: self.maidenName <> `' implies ... or context Person inv: self.maidenName -> notEmpty() implies ... ?