SACM2-81 |
Typo in reference to ISO/IEC 15026 |
SACM 1.1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-30 |
Inconsistent naming of class |
SACM 1.1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-17 |
Assurance Cases under development or Incomplete |
ARM 1.0b1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-28 |
Scope of availability of change management information |
SAEM 1.0b1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-23 |
Properties as Assertions |
ARM 1.0b1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-29 |
SBVR should be available in SACM for use wherever this would make sense |
SAEM 1.0b1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-26 |
Ownership needs improved representation |
SAEM 1.0b1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-18 |
Justification of Methods of Reasoning |
ARM 1.0b1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-19 |
Different Meanings of Different Variants/Versions of a Model Elements Need to be Labeled, e.g. for Claims |
ARM 1.0b1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-12 |
We are missing an SBVR vocabulary for ARM |
SACM 1.0
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-16 |
Property Inherence Hierarchy |
ARM 1.0b1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-20 |
Properties of Model Elements must be Distinguished from Properties of what they Represent |
ARM 1.0b1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-22 |
Events should be able to be Associated with all Kinds of ModelElements |
ARM 1.0b1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-21 |
Making Role Binding and SBVR more generally available |
ARM 1.0b1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-14 |
Integration Issue: Inconsistency in level of prescription in the models |
SACM 1.0
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-13 |
Incorporate 11.2.2 SupportLevel (enumeration) (p52) in a coherent way into merged SACM metamodel |
SACM 1.0
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-11 |
There is no support for patterning, which is found to be useful current practice. |
SACM 1.0
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-5 |
prefixes in the SAEM 'Evidence.... |
SACM 1.0
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-15 |
combined standard should include a vocabulary for talking about standards of proof |
SACM 1.0
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-1 |
Add missing definitions to SBVR Vocabulary in Annex A |
SACM 1.0b1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-33 |
Apparently spurious associations on class diagram |
SACM 1.1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-32 |
Superclass in text is inconsistent with diagram |
SACM 1.1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-8 |
Issue: No approach to allowing Structured Expression of Claims within ARM |
SACM 1.0
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-6 |
No method of handling confidence in the ARM |
SACM 1.0
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-2 |
Integration Issue: Inconsistent approaches to handling counter argument and evidence |
SACM 1.0
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-10 |
Integration Issue: Inconsistent terminology |
SACM 1.0
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-9 |
Incorporate 11.5.3 Contributes (abstract) (p64) in a coherent way into merged SACM metamodel |
SACM 1.0
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-3 |
Page73 ,section 13.2, figure21 |
SACM 1.0
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-4 |
Evidence evaluation attributes in SAEM overlap in purpose - e.g. insufficient distinction between Strength and ... |
SACM 1.0
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-7 |
fundamental difference in modelling style of each metamodel |
SACM 1.0
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-27 |
EvidenceProperty inherit from Property |
SAEM 1.0b1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-31 |
Reference to non-existent class |
SACM 1.1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-25 |
Uncertainty characteristic for claims |
SAEM 1.0b1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM2-24 |
Identifying nature of element contents |
SAEM 1.0b1
|
SACM 2.0
|
Closed; No Change |
closed |
|
SACM11-2 |
Scope of availability of change management information |
SAEM 1.0b1
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-1 |
Need for general facility for stating and handling issues |
SAEM 1.0b1
|
SACM 1.1
|
Closed; No Change |
closed |
|
SACM11-12 |
Different Meanings of Different Variants/Versions of a Model Elements Need to be Labeled, e.g. for Claims |
ARM 1.0b1
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-11 |
Events should be able to be Associated with all Kinds of ModelElements |
ARM 1.0b1
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-10 |
Making Role Binding and SBVR more generally available |
ARM 1.0b1
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-9 |
Property Inherence Hierarchy |
ARM 1.0b1
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-8 |
Properties of Model Elements must be Distinguished from Properties of what they Represent |
ARM 1.0b1
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-7 |
Properties as Assertions |
ARM 1.0b1
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-4 |
Assurance Cases under development or Incomplete |
ARM 1.0b1
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-3 |
Uncertainty characteristic for claims |
SAEM 1.0b1
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-6 |
SBVR should be available in SACM for use wherever this would make sense |
SAEM 1.0b1
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-5 |
Ownership needs improved representation |
SAEM 1.0b1
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-34 |
All associations need to be labeled with a verb |
SACM 1.0
|
SACM 1.1
|
Closed; No Change |
closed |
|
SACM11-33 |
combined standard should include a vocabulary for talking about standards of proof |
SACM 1.0
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-32 |
Evidence evaluation attributes in SAEM overlap in purpose - e.g. insufficient distinction between Strength and ... |
SACM 1.0
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-31 |
There is no support for patterning, which is found to be useful current practice. |
SACM 1.0
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-30 |
fundamental difference in modelling style of each metamodel |
SACM 1.0
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-29 |
prefixes in the SAEM 'Evidence.... |
SACM 1.0
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-28 |
Issue: No approach to allowing Structured Expression of Claims within ARM |
SACM 1.0
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-27 |
No method of handling confidence in the ARM |
SACM 1.0
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-26 |
Integration Issue: Inconsistent approaches to handling counter argument and evidence |
SACM 1.0
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-25 |
Integration Issue: Inconsistency in level of prescription in the models |
SACM 1.0
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-14 |
Usage of Specializations of Claim |
ARM 1.0b1
|
SACM 1.1
|
Closed; No Change |
closed |
|
SACM11-13 |
Justification of Methods of Reasoning |
ARM 1.0b1
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-17 |
InformationAssertion Dependencies on other Elements |
ARM 1.0b1
|
SACM 1.1
|
Closed; No Change |
closed |
|
SACM11-16 |
Multiple Fact types/Rolebindings in a Claim Statement |
ARM 1.0b1
|
SACM 1.1
|
Closed; No Change |
closed |
|
SACM11-15 |
Need for Groups of Asserted Links |
ARM 1.0b1
|
SACM 1.1
|
Closed; No Change |
closed |
|
SACM11-24 |
Integration Issue: Overlapping scope |
SACM 1.0
|
SACM 1.1
|
Resolved |
closed |
|
SACM11-23 |
Integration Issue: Inconsistent terminology |
SACM 1.0
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-22 |
Incorporate 11.5.3 Contributes (abstract) (p64) in a coherent way into merged SACM metamodel |
SACM 1.0
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-21 |
Incorporate 11.2.2 SupportLevel (enumeration) (p52) in a coherent way into merged SACM metamodel |
SACM 1.0
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-20 |
Page73 ,section 13.2, figure21 |
SACM 1.0
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-19 |
ARM: Page 20, section 8.2.17 |
SACM 1.0
|
SACM 1.1
|
Closed; No Change |
closed |
|
SACM11-18 |
ARM: Page 18, section 8.2.14 |
SACM 1.0
|
SACM 1.1
|
Resolved |
closed |
|
SACM11-44 |
"ArgumentResoning" Class and "Assertedinferce" Class |
SACM 1.0
|
SACM 1.1
|
Closed; No Change |
closed |
|
SACM11-43 |
AssertedRelationship Class |
SACM 1.0
|
SACM 1.1
|
Closed; No Change |
closed |
|
SACM11-42 |
Use uniform 'statement' language for describing evidence properties |
SACM 1.0b1
|
SACM 1.1
|
Resolved |
closed |
|
SACM11-41 |
Add missing definitions to SBVR Vocabulary in Annex A |
SACM 1.0b1
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-40 |
Need examples of the Evidence Metamodel XMI |
SACM 1.0b1
|
SACM 1.1
|
Resolved |
closed |
|
SACM11-39 |
Use name "Artfact" rather than Exhibit" |
SAEM 1.0b1
|
SACM 1.1
|
Closed; No Change |
closed |
|
SACM11-38 |
Identifying nature of element contents |
SAEM 1.0b1
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-37 |
EvidenceProperty inherit from Property |
SAEM 1.0b1
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-36 |
Assurance case composed of assurance cases |
ARM 1.0b1
|
SACM 1.1
|
Resolved |
closed |
|
SACM11-35 |
We are missing an SBVR vocabulary for ARM |
SACM 1.0
|
SACM 1.1
|
Deferred |
closed |
|
SACM11-91 |
typo: facctype section 12.3.1 |
SACM 1.0
|
SACM 1.1
|
Closed; No Change |
closed |
|
SACM11-93 |
editing error & typo in 10.1.1 & 10.2.3 |
SACM 1.0
|
SACM 1.1
|
Resolved |
closed |
|
SACM11-82 |
Rationalizing Citations within the Argumentation structure |
SACM 1.0
|
SACM 1.1
|
Resolved |
closed |
|
SACM11-81 |
ArgumentReasoning associations with AssertedRelations |
SACM 1.0
|
SACM 1.1
|
Resolved |
closed |
|
SACM11-85 |
AssertedRelationship Class |
SACM 1.0
|
SACM 1.1
|
Resolved |
closed |
|
SACM11-84 |
"ArgumentResoning" Class and "Assertedinferce" Class |
SACM 1.0
|
SACM 1.1
|
Closed; No Change |
closed |
|
SACM11-83 |
Replace Individual Class Examples with Single Integrated Example |
SACM 1.0
|
SACM 1.1
|
Resolved |
closed |
|