Issue 12368: Issue against QVT ptc/07-07-07 : clause 7.2.3 (qvt-rtf)
Source: NIST (Mr. Peter Denno, peter.denno(at)nist.gov)
Nature: Uncategorized Issue
Severity: 
Summary: Text of Clause 7.2.3 is unclear:


Suggested rewrite: 


(1) Add the following as the first two sentences of the first 
paragraph.


"In the evaluation of a Transformation, one or more domains are 
specified as target. The phrase 'executing in the direction of [some 
domain]' refers to these domains."


Then change a few words in the paragraph as suggest by the text in [] 
below:


"Whether or not the [change "the" to "a"] relationship maybe [should 
be "is"] enforced is determined by the target domain, which may be 
marked as checkonly or enforced. When a transformation 
[change "transformation" to "relation"] is enforced 
[change "enforced" to "evaluated"] in the direction of a checkonly 
domain, it is simply checked to see if [change "if" to "whether"] 
there exists a valid match in the relevant model that satisfies the 
relationship. When a transformation executes in the direction of the 
model of an enforced domain, if checking fails, the target model is 
modified so as to satisfy the relationship, i.e. a 
check-before-enforce semantics." 


[Strike the words beginning with "i.e." "check-before-enforce" is new 
terminology that is neither defined nor helpful.]

Resolution: Yes, we can certainly try to be clearer.
Revised Text: In 7.2.3 change
Whether or not the relationship may be enforced is determined by the target domain, which may be marked as
checkonly or enforced. When a transformation is enforced in the direction of a checkonly domain, it is simply
checked to see if there exists a valid match in the relevant model that satisfies the relationship. When a
transformation executes in the direction of the model of an enforced domain, if checking fails, the target
model is modified so as to satisfy the relationship, i.e., a check-before-enforce semantics.
to
When a transformation is evaluated, the transformation executes in the direction of the domain specified as the
target. Whether or not a relation is enforced is determined by the target domain, which may be marked as
checkonly or enforced. When a relation executes in the direction of a checkonly domain, the domain is simply
checked to see whether there exists a valid match in the relevant model that satisfies the relationship. When a
relation executes in the direction of an enforced domain, if checking fails, the target model is modified so as to
satisfy the relation.
Actions taken:
April 3, 2008: received issue
July 15, 2014: closed issue
Discussion: 

End of Annotations:=====
ilScanner-Watermark: 1207852905.95271@o3M9MWE1iw7gE7cU+BjDTw
From: Peter Denno <peter.denno@nist.gov>
Organization: NIST
To: issues@omg.org
Subject: Issue against QVT ptc/07-07-07 : clause 7.2.3
Date: Thu, 3 Apr 2008 14:41:24 -0400
User-Agent: KMail/1.9.1
X-MailScanner-Information: Please contact postmaster@mel.nist.gov for more information
X-MailScanner-ID: m33IfjU8011185
X-MailScanner: Found to be clean
X-MailScanner-SpamCheck: 
X-MailScanner-From: peter.denno@nist.gov
X-Spam-Status: No




Text of Clause 7.2.3 is unclear:


Suggested rewrite: 


(1) Add the following as the first two sentences of the first 
paragraph.


"In the evaluation of a Transformation, one or more domains are 
specified as target. The phrase 'executing in the direction of [some 
domain]' refers to these domains."


Then change a few words in the paragraph as suggest by the text in [] 
below:


"Whether or not the [change "the" to "a"] relationship maybe [should 
be "is"] enforced is determined by the target domain, which may be 
marked as checkonly or enforced. When a transformation 
[change "transformation" to "relation"] is enforced 
[change "enforced" to "evaluated"] in the direction of a checkonly 
domain, it is simply checked to see if [change "if" to "whether"] 
there exists a valid match in the relevant model that satisfies the 
relationship. When a transformation executes in the direction of the 
model of an enforced domain, if checking fails, the target model is 
modified so as to satisfy the relationship, i.e. a 
check-before-enforce semantics." 


[Strike the words beginning with "i.e." "check-before-enforce" is new 
terminology that is neither defined nor helpful.]


-- 
Best regards,
  - Peter