SACM — Integration issue: An overall goal is to integrate the ARM and SAEM specifications into SACM in a coherent way.

Integration issue: An overall goal is to integrate the ARM and SAEM specifications into SACM in a coherent way.

Add new section Common Elements Class Diagram to chapter 8 SACM Assurance Case
Add Common Elements diagram as follows: <<diagram on p 106 of ptc/2012-06-04 >> Add SACMElement section
SACMElement
A SACM element is a top-level element for the Structure Assurance Case Metamodel.
This is an abstract class that directly extends MOF::Element. Every class in SACM is a
(direct or indirect) subclass of SACMElement.
Superclass
MOF::Element
Semantics
The SACMElement is a common class for all meta-model elements that represent some
element of a structured assurance case.
Remove ModelElement section 9.2.1, page 23
Add ModelElement section to chapter 8 in the following way:
ModelElement Class (Abstract)
A ModelElement is an atomic constituent of a structured assurance case represented
using the Structured Assurance Case Metamodel. In the meta-model, ModelElement is the top meta-element in the SACM Common class hierarchy. ModelElement is an
abstract meta-model element.
Attributes
• id: String A unique identifier for the SACM entity.
Associations
taggedValue:TaggedValue[0..*] This association enables the association of one or more
user defined TaggedValues to any ModelElement.
annotation:Annotation[0..*] user defined annotations associated with the current element
Semantics
The ModelElement is a common class for all meta-model elements that represent some
element of a structured assurance case.
Invariants
• context ModelElement inv UniqueIdentifier: ModelElement.allInstances()->
select(me:ModelElement|me.identifier=self.identifier)->size()= 1
Add UtilityElement section to chapter 8 in the following way:
UtilityElement Class (Abstract)
A UtilityElement is an atomic constituent of a structured assurance case represented
using the Structured Assurance Case Metamodel. In contrast to a ModelElement,
UtiiltyElement represents auxiliary constructs that extend ModelElement and that are
only used as part of some ModelElement. In particular, such UtilityElement cannot be
referenced outside of the owner ModelElement. UtilityElement is an abstract class.
Semantics
The UtilityElement is a common class for all meta-model elements that represent some
auxiliary element of a structured assurance case.
Move TaggedValue section 9.2.2, page 24 to chapter 8
Change superclass of TaggedValue to UtilityElement
Change sentence in the description of TaggedValue element as follows:
A TaggedValue is a structured annotation that can be provided on any ModelElement in
the Structured Assurance Case Metamodel.
Change sentence in semantics section from:
This is a deliberately general mechanism to allow users to associate tags that they find
useful for any Argumentation Metamodel instance.
into
This is a deliberately general mechanism to allow users to associate tags that they find
useful for any Structure Assurance Case Metamodel object.
Add Annotation section to chapter 8.
"
Annotation
An Annotation element represents informal and unstructured user-defined content to any
ModelElement of the Structure Assurance Case Metamodel. In contrast, a TaggedValue
element allows more structured content to be added to elements.
Superclass UtilityElement
Attributes
content:String the text of the annotation
Semantics
It can be useful to be able to add informal text to the ModelElements. For example,
Annotation elements can record comments, notes and general explanations. This is a
deliberately general mechanism to allow users to associate annotations that they find
useful for any Structure Assurance Case Metamodel object.
"
Modifications to the Argumentation Metamodel and the Evidence Metamodel parts are
described in related resolutions. In particular, we are adding a reference from
Argumentation::InformationElement to Evidence::EvidenceItem and from
Evidence::ReferencedClaim to Argumentation::Claim