Standards support

Work at the Object Management Group is ongoing to provide a standard for data exchange for structured arguments and assurance cases

CAE

A mapping between CAE elements and SACM is provided below. This is implemented by the SACM Export plugin for ASCE. Contact ASCE Support for details.

Mapping between CAE and SACM 2.0

This document describes the mapping from CAE elements onto SACM 2.0 elements.

Assurance cases that are written in CAE are therefore valid against the SACM specification

 

CAE ElementSACM ElementNotes
Node elements:    
CAE:Claim Claim  
CAE:Argument ArgumentReasoning attached to a single inference from child elements to parent claim The links from N child elements into CAE:Argument are mapped onto a single inference having N source elements and a single target, namely the parent claim
CAE: Evidence ArtefactElementCitation together with an associated ArtefactElement ArtefactElement contains title and content
CAE: Other ArtefactElementCitation together with an associated ArtefactElement ArtefactElement contains title and content
     
Link Elements:    
CAE: IsSubclaimOf AssertedInference  
CAE: Supports AssertedInference when from CAE:Argument to CAE:Claim

AssertedContext when from CAE:Other node
 
CAE: IsEvidenceFor AssertedEvidence  
     
Container Elements:    
CAE Module/File ArgumentPackage For example the AXML file saved by a tool such as ASCE
     
Node properties:    
HTML narrative Annotation, with associated "content-type: HTML" tagged value The detailed HTML content that may be associated with each node element in CAE
Layout properties: left, top, height, width Tagged values associated with each element Allows the layout information to be preserved