Issue 16287: Uncertainty characteristic for claims (sacm-rtf) Source: MITRE (Mr. Samuel Redwine, samredwine(at)verizon.net) Nature: Revision Severity: Critical Summary: From the viewpoint of compatibility with ISO/IEC 15026, the most important issue is that SACM contain an "Uncertainty" characteristic or attribute, a key aspect of 15026-2, in order to facilitate use of SACM with ISO/IEC 15026 conformant assurance cases. These would be useful throughout SACM as attributes of assertions or claims (not relations). Current usage means a need exists for several data type options ­ not necessarily mutually exclusive. Data Types • Probability true: 0-1.00 • Type I error: 0-1.00 • Type 2 error: 0-1.00 • Enumeration: None, low, medium, large, unknown • Standard deviation: real number One might also want to include a data type with customizable meaning (values: 1-100) that would parallel the data type for “Strength” in present draft if this is retained. This attribute element is associated with claims (assertions) and not with relations. Current SAEM draft defines characteristics ­ such as “Strength,” and “Confidence” ­ of evidence relations between an EvidenceItem (e.g. exhibit) and a DominAssertion. These relate to uncertainty but are associated with a relation and not with a DomainAssertion (claim). Note that the draft of SAEM states these are one-to-one relations unlike the many-to-one inferential relations in ARM. Resolution: Revised Text: Actions taken: May 27, 2011: received issue Discussion: This issue is related to the Argumentation Metamodel. It is deferred to the future RTF due to the lack of time to work on the resolution. Disposition: Deferred End of Annotations:===== m: webmaster@omg.org Date: 27 May 2011 13:11:40 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: Samuel T. Redwine, Jr. Employer: Sam Redwine Consulting mailFrom: samredwine@ieee.org Terms_Agreement: I agree Specification: Software Assurance Evidence Metamodel (SAEM) Section: 7.2.8 FormalNumber: ptc/2010-08-37 Version: FTF - Beta 1 Doc_Year: 2010 Doc_Month: August Doc_Day: Day Page: 19-20 Title: Uncertainty characteristic for claims Nature: Revision Severity: Critical CODE: 3TMw8 B1: Report Issue Description: >From the viewpoint of compatibility with ISO/IEC 15026, the most important issue is that SACM contain an "Uncertainty" characteristic or attribute, a key aspect of 15026-2, in order to facilitate use of SACM with ISO/IEC 15026 conformant assurance cases. These would be useful throughout SACM as attributes of assertions or claims (not relations). Current usage means a need exists for several data type options ­ not necessarily mutually exclusive. Data Types . Probability true: 0-1.00 . Type I error: 0-1.00 . Type 2 error: 0-1.00 . Enumeration: None, low, medium, large, unknown . Standard deviation: real number One might also want to include a data type with customizable meaning (values: 1-100) that would parallel the data type for .Strength. in present draft if this is retained. This attribute element is associated with claims (assertions) and not with relations. Current SAEM draft defines characteristics ­ such as .Strength,. and .Confidence. ­ of evidence relations between an EvidenceItem (e.g. exhibit) and a DominAssertion. These relate to uncertainty but are associated with a relation and not with a DomainAssertion (claim). Note that the draft of SAEM states these are one-to-one relations unlike the many-to-one inferential relations in ARM.