ODM 1.2 RTF Avatar
  1. OMG Issue

ODM12 — Issues in Annex G

  • Key: ODM12-123
  • Status: open  
  • Source: Institute for Defense Analyses ( Steven Wartik)
  • Summary:

    Annex G (MOF QVT: A Brief Tutorial) contains some statements that are incorrect or incomplete:

    • Section G.2, paragraph 3, sentence 2 states: "No work is done via a when clause". This is misleading. Relations invoked in a when clause can create instances.
    • Section G.2, paragraph 3, sentence 4: The sentence states that predicates can be connected by an or operator. Individual predicates can contain or operators, but the QVT specification doesn't say or connects predicates.
    • Section G.2, paragraph 4: The paragraph reads "OCL functions can be used." This is true, but incomplete. QVT permits a transformation to define functions, and to access externally-defined functions written in a language such as Java. The paragraph should be amended to describe these types of functions.
    • Section G.2, paragraph 5, sentence 1:
      • The sentence references OCL statements. The OCL specification describes a statement as something along the lines of an invariant (including the keyword inv) or a default attribute value. The correct term is "OCL expressions".
      • The sentence neglects to state that an OCL let expression can define a variable.
    • Section G.2, paragraph 7, sentence 2 reads "A top relation is executed by the system." A top relation may also be called in a where clause.
    • Section G.3, paragraph 6, sentence 2 reads "A process in a repository can link from one object to another via any property ..." The paragraph does not explain what "process" means.
    • Section G.3, paragraph 2, last sentence: the second clause should begin with "it".
  • Reported: ODM 1.1 — Fri, 13 Jan 2017 18:23 GMT
  • Updated: Fri, 13 Jan 2017 18:23 GMT