SACM 2.1 RTF Avatar
  1. OMG Issue

SACM21 — B and A or A and B

  • Key: SACM21-31
  • Status: closed  
  • Source: MITRE ( Bob Martin)
  • Summary:

    p39:Last sentences of 11.13 and 11.14: Is A and B intentionally exchange in "the truth of" parts of the two sentences?

    11.13: "An inference asserted between two claims (A � the source � and B � the target) denotes that the truth of Claim A is said to infer the truth of Claim B."

    11.14: "An AssertedInference between two claims (A � the source � and B � the target) denotes that the truth of Claim B is said to infer the truth of Claim A."

    I would expect that the inference of truth comes from the source and is asserted for the target so the other way than 11.14 Semantics part defines. [Remark: I am not a native English speaker so it might be strange just for me why the "said to infer" expression is used instead of "inferred from". I interpret "The truth of X is said to infer the truth of Y." as "Truth of Y can be inferred from the truth of X." or "The truth of X logically necessitates the truth of Y."- is it correct?]

  • Reported: SACM 2.0 — Sun, 17 Feb 2019 04:03 GMT
  • Disposition: Resolved — SACM 2.1
  • Disposition Summary:

    A and B are mistakenly swapped in the specification text

    Need to revise labels in section 11.14 to correctly describe the functionality.

  • Updated: Tue, 8 Oct 2019 17:58 GMT
  • Attachments: