Issue 1804:  Semantics of Reference "set" onto an ordered Association. (mof-rtf)
Source:  (, )
Nature:  Revision
Severity:  Minor
Summary: Summary: The description of the semantics of Reference operations
 in section 6.2.2.1 needs to be extended to cover the multi-value
 update operations; i.e. "set" and "unset" when the referenced
 AssociationEnd is multi-valued.  In particular, the semantics when
 either of the AssociationEnds is ordered need to be spelled out.
 

Resolution: 
Revised Text: 
Actions taken:
August 13, 1998: received issue
July 23, 1999: closed issue
Discussion: 
 resolved, to be implemented
End of Annotations:=====
Return-Path: <crawley@dstc.edu.au>
To: mof-rtf@omg.org, issues@omg.org
Subject: Semantics of Reference 'set' onto an ordered Association.
Date: Thu, 13 Aug 1998 11:52:51 +1000
From: Stephen Crawley <crawley@dstc.edu.au>


Source: DSTC (Dr Stephen Crawley, crawley@dstc.edu.au)
Nature: Revision
Severity: Minor
Summary: The description of the semantics of Reference operations
in section 6.2.2.1 needs to be extended to cover the multi-value
update operations; i.e. 'set' and 'unset' when the referenced
AssociationEnd is multi-valued.  In particular, the semantics when
either of the AssociationEnds is ordered need to be spelled out.

Additional Text:

The "obvious" semantic for the ordered case is that a 'set' is
equivalent to a sequence of 'remove_link's followed by a sequence
of 'add_link's.  These updates are performed as an atomic operation 
with cardinality checking done on the final state rather than on 
intermediate states.  'Unset' is a just subcase.