SACM 1.1 RTF Avatar
  1. OMG Issue

SACM11 — ARM: Page 18, section 8.2.14

Open Closed All
  • Key: SACM11-18
  • Legacy Issue Number: 16693
  • Status: closed  
  • Source: Adelard LLP ( Luke Emmet)
  • Summary:

    : In the AssertedInference class, the invariants leave the possibility of inferring an AssertedRelationship from a set of claims. They do not, however, allow a Claim to be inferred from an AssertedRelationship. Since an AssertedRelationship is a kind of claim (not in the sense of the model, but in a general sense), it seems reasonable to allow it; that is, “I claim A because of the relationship between claims B and C”.
  • Reported: SACM 1.0 — Fri, 18 Nov 2011 05:00 GMT
  • Disposition: Resolved — SACM 1.1
  • Disposition Summary:

    *Invariant should be changed *

    Agreed – Invariant should be changed to read:

    On Page 49, section 9.1.12
    context AssertedInference
    inv SourceMustBeAssertion : self.source->forAll(s|s.oclIsTypeOf(Assertion))
    inv TargetMustBeAssertion : self.target->forAll(t|t.oclIsTypeOf(Assertion))
  • Updated: Tue, 21 Apr 2015 01:16 GMT
  • Attachments: