-
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
SACM — Page 16, section 8.2.2 (2)
- Key: SACM-29
- OMG Task Force: Structured Assurance Case Metamodel (SACM) FTF