Issue 17890: Effect Intent (uml25-ftf)
Source: Soluta.net (Dr. Adriano Comai, acomai(at)soluta.net)
Nature: Clarification
Severity: Significant
Summary: current text: “The effect property may be used to declare additional indications of the effect on values passed in or out of a Parameter. It is a declaration of the modeler's intent, and does not have execution semantics: the modeler must ensure that the Parameter has the stated effect.”
[AC] The implementation, not the modeler, must ensure the effect.

Resolution: 
Revised Text: 
Actions taken:
September 26, 2012: received issue
Discussion: 
Or perhaps the Modeler must ensure that the implementation  has the stated effect? Unclear. It is preferred that the tools should be able to either force or verify this
Michael Jesse Chonoles

End of Annotations:=====
s is issue # 17890

Problem: 9.022

Severity: Medium
Type: Confusing
Location: 9.4.3 p 118
Title: Effect Intent
Description:
current text: .The effect property may be used to declare additional indications of the effect on values passed in or out of a Parameter. It is a declaration of the modeler's intent, and does not have execution semantics: the modeler must ensure that the Parameter has the stated effect..
[AC] The implementation, not the modeler, must ensure the effect.
Source: Adriano Comai 
Discussion:
Or perhaps the Modeler must ensure that the implementation  has the stated effect? Unclear. It is preferred that the tools should be able to either force or verify this
Michael Jesse Chonoles