-
Key: SACM-44
-
Legacy Issue Number: 16733
-
Status: closed
-
Source: Adelard LLP ( Luke Emmet)
-
Summary:
Incorporate 7.2.6 Meaning (abstract) (p18) 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:
All references are against document ptc/2012-04-04
Change text on page 13 into:
The key concept of evidence is a Document that provides evidentiary support to some Subject claim.
Document is collected during the course of Evidence collection process. Usually a Document is interpreted
as a description of a certain state of affairs involving several objects in the subject area (for which certain
claims are being made). Subject claims are assertions related to the state of affairs in the subject area.
Evidence evaluation (as opposed to Evidence collection) involves certain specific Claims about Evidence,
in particular, Evidence Relation describes the nature of the evidentiary support between a Document and a
Subject Claim, or the interpretation of a Document as a meaning. Evidence Relation involves certain
attributes that qualify relations between Documents and Subject Claims, or Documents and meanings.
Evidence Observations describe conflicts between evidence relations. Evidence Resolutions record
judgments that resolve conflicts in evidence relations. Note, that Documents and Subject Claims simply
exist. A Document becomes Evidence only insofar as it is claimed to provide evidentiary support to a
certain Subject Claim.
remove Figure 6.1
remove the following text on page 12, before the Figure 6.1: "Relationships between the key elements of
evidence metamodel are illustrated in Figure 6.1"
add note to element Meaning on page 105
Note: Meaning is represented by SACM Formal Element
Rename element Meaning to FormalElement on diagram Evidence Elements.
Change section 10.1.6 Meaning , page 38, from:
10.1.6 Meaning (abstract)
Meaning is an abstract class that represents any elements of meaning that are associated
with objects presented as evidence or otherwise involved in the evidence collection.
Superclass
EvidenceItem
Semantics
Meaning is an element of meaning that represents a certain individual concept, a noun
concept, verb phrases and claims. Two subclasses of Meaning are DomainObject,
representing noun concepts, and DomainAssertion, representing verb concepts and
claims.
into 10.1.6 FormalElement (abstract)
FormalElement is an abstract class that represents any elements of meaning that are
associated with objects presented as evidence or otherwise involved in the evidence
collection.
Superclass
EvidenceItem
Semantics
FormalElement is an element of meaning that represents a certain individual concept, a
noun concept, verb phrases and propositions. Two subclasses of FormalElement are
FormalObject, representing noun concepts, and FormalAssertion, representing verb
concepts and propositions.
Change sentence on page 80 from:
EvidenceInterpretation is an abstract class that represents a relation between one
EvidenceElement and one Meaning element.
into
EvidenceInterpretation is an abstract class that represents a relation between one
EvidenceElement and one FormalElement.
Change sentence on page 81 from:
EvidenceInterpretation is a unit of information generated during evidence evaluation. It
represents a relationship between an EvidenceItem and a Meaning object that is asserted
during the evidence evaluation.
into
EvidenceInterpretation is a unit of information generated during evidence evaluation. It
represents a relationship between an EvidenceItem and a FormalElement object that is
asserted during the evidence evaluation.
Change sentence on page 37 from
EvidenceItem represents objects that are collected as evidence. The two subclasses of
EvidenceItem are Exhibit, representing physical objects presented as evidence, and
Meaning, which represents associated elements of meaning, such as concepts and claims.
into
EvidenceItem represents objects that are collected as evidence. The two subclasses of
EvidenceItem are Exhibit, representing physical objects presented as evidence, and
FormalElement, which represents associated elements of meaning, such as concepts and
propositions/claims.
Diagram modification related to this resolution are presented at the related resolution 16729 -
Updated: Fri, 6 Mar 2015 20:58 GMT
SACM — Incorporate 7.2.6 Meaning (abstract) (p18) in a coherent way into merged SACM metamodel
- Key: SACM-44
- OMG Task Force: Structured Assurance Case Metamodel (SACM) FTF