-
Key: SACM11-81
-
Status: closed
-
Source: MITRE ( Mr. Robert Martin)
-
Summary:
In SACM 1.0 it is possible to associate an ArgumentReasoning object to an AssertedInference or AssertedChallenge. This supports the claim-argument-claim (or claim-counterargument-claim) structure described in ISO 15026-2, but not the claim-argument-evidence structure described in ISO 15026-2.
-
Reported: SACM 1.0 — Wed, 15 Oct 2014 18:35 GMT
-
Disposition: Resolved — SACM 1.1
-
Disposition Summary:
In SACM 1.0 it is possible to associate an ArgumentReasoning object to an AssertedInference or AssertedChallenge. This supports the claim-argument-claim structure in ISO 15026-2, but not the claim-argument-evidence structure in ISO 15026-2.
There are 2 possible approaches to resolving. The first is to add associations. The second is to remove the existing two associations, and replace these with a single new association to the parent class. This is recognised as a potentially useful.
-
Updated: Tue, 21 Apr 2015 01:16 GMT
-
Attachments:
- SR-42 SACM_formal_13-01-01_edited (dragged).pdf 290 kB (application/pdf)
SACM11 — ArgumentReasoning associations with AssertedRelations
- Key: SACM11-81
- OMG Task Force: SACM 1.1 RTF