QVT 1.1 RTF Avatar
  1. OMG Issue

QVT11 — Issue against QVT ptc/07-07-07 : clause 7.2.3

  • Key: QVT11-26
  • Legacy Issue Number: 12368
  • Status: closed  
  • Source: NIST ( Peter Denno)
  • 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.]

  • Reported: QVT 1.0 — Thu, 3 Apr 2008 04:00 GMT
  • Disposition: Resolved — QVT 1.1
  • Disposition Summary:

    Yes, we can certainly try to be clearer.

  • Updated: Fri, 6 Mar 2015 20:58 GMT