SACM 1.0b2 FTF Avatar
  1. OMG Issue

SACM — Incorporate 12.1.2 Package (p72) in a coherent way into merged SACM metamodel

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

    Incorporate 12.1.2 Package (p72) in a coherent way into merged SACM metamodel

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

    Change text page 91 from
    Administration package defines key framework elements that determine patterns for
    constructing representations of evidence information.
    into
    This chapter describes the elements of the SACM Evidence Metamodel that are involved
    in managing evidence, exchanging units of evidence and related concerns. The elements
    described in this chapter organize instances on Evidence Metamodel, which can be
    referred to as an Evidence Model. In particular, this chapter defines the root object of
    Evidence Models - the EvidenceContainer. This element contains other objects in an
    evidence project and constitutes a unit of exchange using the Evidence Metamodel as the
    protocol.
    Rename section 15.1.2 Package into 15.1.2. EvidenceContainer
    Change text pages 92-93 from
    Package element is the root element that owns EvidenceItem, EvidenceEvaluation
    elements, as well as other auxiliary elements related to the processes of evidence
    identification, collection, interpretation, evaluation, and management.
    Superclass
    AdministrativeElement
    Attributes • consistency:ConsistencyLevel Globally unique identifier of a SACM evidence
    element.
    • version:String version of the package.
    • criteria:StandardOfProof Standard of Proof used for evaluation of evidence.
    • completeness:CompletenessLevel Level of completeness of the evidence package.
    Association
    • :requiresPackage[0..*] List of other evidence packages that are required by this
    package.
    • item:EvidenceItem[0..*] List of evidence items.
    • evaluation:EvidenceEvaluation[0..*] List of evaluations.
    • method:CollectionMethod[0..*] List of evidence collections methods, including
    tools.
    • originator:Originator[0..*] List of personnel and organizations involves in
    evidence collection project.
    • request:Request[0..*] List of evidence collection requests.
    • activity:Activity[0..*] List of project activities.
    • objective:ProjectObjective[0..*] List of project objectives.
    Constraints
    • Package shall not be the object of the requiresPackage relation owned by the
    Package, either directly or indirectly through requiresPackage of other Packages.
    • Any Package that is the object of the requiresPackage relation shall be available
    for exchange.
    • [Completeness of the package with respect to required packages] Any Element
    that is referenced by any of the Element that defined in the package (i.e., that are
    members of the lists item, evaluation, method, originator, request, activity, and objective
    of the Package) shall be also defined in the Package or in one of the Package that are
    referred to as objects of the requiresPackage relation either directly or indirectly. An
    Element is referenced if it is an object of an EvidenceProperty or an EvidenceEvaluation.
    • EvidenceProperty, EvidenceEvaluation, EvidenceRequest, EvidenceAction,
    ProjectObjective elements shall not be referenced across packages.
    Semantics
    Package element is the root element of an Evidence Model. A single Package is a unit of
    exchange. All Element defined in Package are exchanged together as part of the Package.
    Elements that are referenced shall be either present in the Package or in one of the
    Package that is specified as required for the Package. The Evidence Metamodel does not
    require completeness of the closure of all required packages.
    into
    EvidenceContainer element is the root object of the SACM Evidence Metamodel
    instances. This object owns EvidenceItem, and EvidenceEvaluation elements, as well as
    other ProjectElement related to the processes of evidence identification, collection,
    interpretation, evaluation, and management.
    Superclass
    EvidenceElement
    Attributes
    • name:String name of the EvidenceContainer.
    • gid:String Globally unique identifier of the EvidenceContainer. • version:String version of the EvidenceContainer.
    Association
    • item:EvidenceItem[0..*] List of evidence items.
    • evaluation:EvidenceEvaluation[0..*] List of evaluations.
    • element:ProjectElement[0..*] List project elements (objectives, activities,
    requests, methods, stakeholders).
    • property:ProjectProperty[0..*] List of project property clauses.
    Constraints
    • EvidenceContainer shall not be the object of the requiresContainer relation owned
    by the EvidenceContainer, either directly or indirectly through requiresContainer of other
    EvidenceContainers.
    • Any EvidenceContainer that is the object of the requiresContaienr relation shall
    be available for exchange.
    • [Completeness of the evidence container with respect to required evidence
    containers] Any Element that is referenced by any of the Element defined in the package
    (i.e., that are members of the lists item, evaluation, or element of the EvidenceContainer)
    shall be also defined in the EvidenceContaienr or in one of the EvidenceContainers that
    are referred to as objects of the requiresContaienr relation either directly or indirectly. An
    Element is referenced if it is an object of an EvidenceProperty or an EvidenceEvaluation.
    • EvidenceProperty, EvidenceEvaluation, EvidenceRequest, EvidenceAction,
    ProjectObjective elements shall not be referenced across evidence containers.
    Semantics
    EvidencePackage element is the root object of an instance of the Evidence Metamodel
    (which can be referred to as Evidence Model). A single EvidenceContainer is a unit of
    exchange of evidence information. All Element defined in an EvidenceContainer are
    exchanged together as part of the EvidenceContainer. Elements that are referenced shall
    be either present in the EvidenceContainer or in one of the EvidenceContaienrs that is
    specified as required for the EvidenceContainer. The Evidence Metamodel does not
    require completeness of the closure of all required packages.
    The properties of the EvidenceContainer element make assertions regarding the current
    container (use the current container as the subject of the corresponding clauses).
    Therefore, the following properties for an EvidenceContainer can be readily interpreted
    in the above way:
    RequiresContainer (for example, verbalized as "the EvidenceContainer requires container
    X1")
    ContainerConsistency (for example, verbalized as "the elements of the
    EvidenceContainer are interpreted formally")
    ContainerCompleteness (for example, verbalized as" the EvidenceContainer is in draft
    state")
    CompliesTo (for example, verbalized as "The EvidenceContainer complies to the
    Resolved Counter Evidence proof standard")
    All ProjectProperties clauses directly owned by an EvidenceContainer shall be
    interpreted with the EvidenceContainer as the main subject. For example, "The
    EvidenceContainer depends on evidentiary support rendered by exhibit E1 to the claim
    'testing is completed'"
    Replace Figure 15.1 with the following (see also resolution 16815): <<figure on p 99 of ptc/2012-06-04>> Add section ProjectProperties to chapter 15 (see also resolution 16818).
    Move section 15.1.3 StandardOfProof (enumeration) to the new section
    Move section RequiresPackage to the new section.
    Rename section RequiresPackage into RequiresContainer
    Change section RequiresContainer to the following:
    RequiresContainer is an owned property of EvidenceContainer element. This element
    represents a statement asserting that the subject EvidenceContainer requires another
    evidence container for the resolution of some references.
    Superclass
    ProjectProperty
    Associations

    • container:EvidenceContainer[1]
      EvidenceContainer that is required for the resolutions of soem references in the
      subject evidence contaienr
      Constraints
    • RequiresContainer element shall not be owned by any ProjectElement object
      -subject EvidenceContainer shall no be the 'container' of the requiresContainer
      relation, either directly or indirectly,
      Semantics
      RequiresContainer property represents a state of affairs that the subject
      EvidenceContainer requires another evidence container for the resolution of some
      references. This property contributes to the completeness constraint of the
      EvidenceContainer. This is a commitment to the set of evidence containers that need to
      be processed together. Add section ContainerConsistency as follows:
      ContainerConsistency ContainerConsistency element is a counterpart of the Consistency property of Documents.
      ContainerConsistency clause makes an assertion about the subject EvidenceContainer
      regarding the level of formality of the element of the container. In combination with other
      container properties, such as ContainerCompleteness and CompliesTo, this clause
      determines capability to interpret the elements of this container. Consistency of an
      EvidenceContainer can be informal, semiformal and formal.
      Superclass
      ProjectProperty
      Attributes
      value:ConsistencyLevel
      asserted Consistency level of the elements of the EvidenceContainer, such as informal,
      semi-formal, and formal.
      Add section ContainerCompleteness as follows:
      ContainerCompleteness
      ContainerCompleteness element is a counterpart of the Completeness property of Documents.
      ContainerCompleteness clause makes an assertion about the subject EvidenceContainer
      regarding the level of completeness of the element of the container. In combination with
      other container properties, such as ContainerConsistency and CompliesTo, this clause
      determines capability to interpret the elements of this container. Completeness of an
      EvidenceContainer can be incomplete, draft, final and obsolete.
      Superclass
      ProjectProperty
      Attributes
      value:CompletenessLevel
      asserted Completeness level of the elements of the EvidenceContainer, such as
      incomplete, draft, final and obsolete.
      Add section CompliesTo as follows:
      CompliesTo
      CompliesTo clause makes an assertion about the subject EvidenceContainer regarding the
      standard of proof used for the evaluation of evidence in the EvidenceContainer. In
      combination with other container properties, such as ContainerConsistency and
      ContainerCompleteness, this clause determines capability to interpret the elements of this
      container. Completeness of an EvidenceContainer can be incomplete, draft, final and
      obsolete.
      Attributes
      criteria:StandardOfProof Standard of Proof used for evaluation of evidence in the subject
      container.
      Add section ExtendedProjectProperty as follows:
      ExtendedProjectProperty
      ExtendedProjectProperty element represents a user-defined characteristic documents that
      is asserted during the course of evaluation for the project elements in the subject
      container.
      Superclass ProjectProperty
      Constraints
      • ExtendedProjectProperty element shall own at least one TaggedValue informally
      describing the meaning of the element.
      Semantics
      ExtendedProjectProperty is a user-defined characteristic. Its meaning is represented by
      the key-value pair of the corresponding TaggedValue element.
      ExtendedProjectProperty characteristic can not be verbalized using the standard
      vocabulary of the Structured Assurance Case Metamodel. However, the key and value
      pair may be carefully named to result in meaningful verbalizations for the targeted
      community in the selected language.
      Replace Figure 15.2 ProjectProperties (shows as part of 16818) as follows: <<diagram on p 101 of ptc/2012-06-04>>
  • Updated: Fri, 6 Mar 2015 20:58 GMT