SACM 1.0b2 FTF Avatar
  1. OMG Issue

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

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

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

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

    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

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