Issue 16686: Error in CreateLinkAction semantics (fuml-rtf)
Source: Model Driven Solutions (Mr. Ed Seidewitz, ed-s(at)modeldriven.com)
Nature: Uncategorized Issue
Severity: 
Summary: Specification: Semantics of a Foundational Subset for Executable UML Models (fUML), v1.0 (formal/2011-02-01)

Subclause: 8.6.3.x CreateLinkActionActivation

 

In Subclause 8.6.3.1 (Overview), under “Link Actions”, it says for a Create Link Action that “if a link already exists in the association extent with the same tuple of values, and all the ends of the association are specified as unique, then no new link is actually created (though this is not an error).” However, the specification for CreateLinkActionActivation::doAction in Subclause 8.6.3.2.4 always creates a new link even if an identical link already exists (unless isReplaceAll=true for one of the ends), regardless of whether the ends of the association are all unique.

 

Resolution: 
Revised Text: 
Actions taken:
November 14, 2011: received issue
Discussion: 

End of Annotations:=====

m: Ed Seidewitz <ed-s@modeldriven.com>
To: "issues@omg.org" <issues@omg.org>
Date: Mon, 14 Nov 2011 18:15:27 -0500
Subject: Error in CreateLinkAction semantics
Thread-Topic: Error in CreateLinkAction semantics
Thread-Index: AcyjI0to2lQwMLI0RYmc6xiVG7xaqg==
Accept-Language: en-US
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
acceptlanguage: en-US
X-Mailprotector-Decision: deliver
X-Mailprotector-Connection: TLSv1|[10.1.50.226]|10.1.50.226|outbound.mailprotector.net|-0.984877|0.789085|0|white|ugly|2100|16|0|0
X-Mailprotector-Results: null_ptr clean
X-Mailprotector-Score: 40
X-Mailprotector-IP-Analysis: 0, 10.1.50.226, Ugly c=0.789085 p=-0.984877 Source White
X-Mailprotector-Scan-Diagnostics:  0-0-0-6266-c


Specification: Semantics of a Foundational Subset for Executable UML Models (fUML), v1.0 (formal/2011-02-01)

Subclause: 8.6.3.x CreateLinkActionActivation

 

In Subclause 8.6.3.1 (Overview), under .Link Actions., it says for a Create Link Action that .if a link already exists in the association extent with the same tuple of values, and all the ends of the association are specified as unique, then no new link is actually created (though this is not an error).. However, the specification for CreateLinkActionActivation::doAction in Subclause 8.6.3.2.4 always creates a new link even if an identical link already exists (unless isReplaceAll=true for one of the ends), regardless of whether the ends of the association are all unique.