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

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

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>>