SACM 1.0b2 FTF Avatar
  1. OMG Issue

SACM — SAEM: Page 19, section 8.2.8

Open Closed All
  • Key: SACM-30
  • Legacy Issue Number: 16704
  • Status: closed  
  • Source: Adelard LLP ( Luke Emmet)
  • Summary:

    The use of a “content” attribute is suggested for the “stmt” attribute. See comment 5.
  • Reported: SACM 1.0b1 — Fri, 18 Nov 2011 05:00 GMT
  • Disposition: Resolved — SACM 1.0b2
  • Disposition Summary:

    All references are against document ptc/2012-04-04
    Change the description of the 'stmt' attribute for class FormalAssertion (used to be
    DomainAssertion but is being renamed as the result of the resolution to related issue
    16735), on page 39 from
    • stmt:String The statement that is the expression of the domain assertion
    (verbalization of the statement in a natural language).
    into
    • content:String The statement in a selected language that is the expression of the
    formal assertion (verbalization of the assertion in a natural language). Rename attribute 'stmt' into 'content' in class FormalAssertion (used to be
    DomainAssertion but is being renamed as the result of the resolution to related issue
    16735), Figure 10.1, page 35
    Rename attribute 'stmt' into 'content' in class FormalAssertion (used to be
    DomainAssertion but is being renamed as the result of the resolution to related issue
    16735), Figure 14.4, page 80
    Rename attribute 'stmt' into 'content' in class FormalAssertion (used to be
    DomainAssertion but is being renamed as the result of the resolution to related issue
    16735), Figure 12.1, page 50
    Rename attribute 'stmt' into 'content' in class FormalAssertion (used to be
    DomainAssertion but is being renamed as the result of the resolution to related issue
    16735), Figure 14.1, page 69
    Rename attribute 'stmt' into 'content' in class FormalAssertion (used to be
    DomainAssertion but is being renamed as the result of the resolution to related issue
    16735), Figure 14.5, page 83
    Rename attribute 'stmt' into 'content' in class FormalAssertion (used to be
    DomainAssertion but is being renamed as the result of the resolution to related issue
    16735), Figure 14.6, page 86
    Change text on page 51 from
    In a semi-formal assurance case the nature of the relationship can be described informally
    through a stmt property.
    into
    In a semi-formal assurance case the nature of the relationship can be described informally
    through a 'content' property.
    Change Reference schema for Domain Assertion on page 106 from
    Reference schema: stmt of Domain Assertion
    into
    Reference schema: content of Formal Assertion
  • Updated: Fri, 6 Mar 2015 20:58 GMT