SACM 1.0b2 FTF Avatar
  1. OMG Issue

SACM — Page 16, section 8.2.2 (2)

  • Key: SACM-29
  • Legacy Issue Number: 16703
  • Status: closed  
  • Source: Adelard LLP ( Luke Emmet)
  • Summary:

    To stipulate the structure of the id of an element is over-constraining. If the URL of the organisation is important to capture, then there should be a separate attribute for it; the name of the SAEM class is surely redundant. It should be sufficient to state that, whatever the identifiers used, they are to be globally unique, and let the implementers solve the problem how they will.

  • Reported: SACM 1.0b1 — Fri, 18 Nov 2011 05:00 GMT
  • Disposition: Resolved — SACM 1.0b2
  • Disposition Summary:

    Add to the semantics of ModelElement:
    id of the model element shall be unique in the corresponding package (AssuranceCase,
    Argumentation or EvidenceContainer). Integration of multiple packages into a larger
    package, for example, adding Argumentation and EvidenceContainer to an
    AssuranceCase shall not affect the uniqueness of ids of all the objects involved.
    Add to the semantics of AssuranceCase:
    AssuranceCase shall have a globally unique gid attribute.
    Constraints
    gid is a string that has the following structure: unique url of the organization that created the assurance case
    the text 'AssuranceCase'
    a unique number
    For each contained object of the assurance case the gid+id identifier is globally unique,
    i.e., no two elements of the same type produced by the same organization shall have the
    same number.
    Add to the semantics of EvidenceContainer:
    EvidenceContainer shall have a globally unique gid attribute.
    Constraints
    gid is a string that has the following structure:
    unique url of the organization that created the evidence container
    the text 'EvidenceContainer'
    the unique number
    For each contained object the gid+id identifier is globally unique, i.e., no two evidence
    elements of the same type produced by the same organization shall have the same
    number.

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