Claim : public class
Created: 2008-12-08 12:54:52
Modified: 2010-04-29 14:40:30
Project:
Advanced:
<p>Claim represents a statement, the truth of which needs to be confirmed.<br/></p><p><br/></p><p>Claim has associations to the strategy for goal decomposition and to supported arguments. It also holds associations to the evidences for the SafetyCase.<br/></p><p><br/></p><p><br/></p><p>Semantics:<br/></p><p>Goal-based development provides the claim what should be achieved.<br/></p><p><br/></p><p>Goal is what the argument must show to be true. <br/></p>
Element Source Role Target Role Details
TraceableSpecification
Class  
Name:  
 
Name: safetyRequirement
Safety requirements and objectives in the SystemModel.
 
Rationale
Class  
Name:  
 
Name: justification
Justification can be used wherever it is felt to be valuable to provide the rationale behind the Claim.
 
Ground
Class  
Name:  
 
Name: evidence
An evidence provides the backing for stating that a requirement (Claim) has been meet.
 
Warrant
Class  
Name:  
 
Name: supportedArgument
Supported argument for the Claim.
 
Warrant
Class  
Name:  
 
Name: goalDecompositionStrategy
Strategies can be used to add further detail to a goal decomposition.
 
Element Source Role Target Role Details
Warrant
Class  
Name:  
 
Name: decomposedGoal
A statement the truth of which needs to be confirmed
 
SafetyCase
Class  
Name:  
 
Name: claim
A statement the truth of which needs to be confirmed.
 
Object Type Connection Notes
TraceableSpecification Class Generalization  
Rationale Class Weak  
SafetyCase Class Weak