FaultFailurePropagationLink : public class
Created: 2007-01-31 16:33:18
Modified: 2010-04-29 14:37:23
Project:
Advanced:
<p>The FaultFailurePropagationLink metaclass represents the links for the propagations of faults/failures across system elements. In particular, it defines that one error model provides the faults/failures that another error model receives.<br/></p><p><br/></p><p>A fault/failure link can only be applied to compatible ports, either for fault/failure delegation within an error model or for fault/failure transmission across two error models. A FaultFailurePropagationLink can only connect fault/failure ports that have compatible types. <br/></p><p><br/></p><p>Constraints:<br/></p><p>[1] Only compatible fromPort-toPort pairs may be connected.<br/></p><p><br/></p><p>[2] Two fault/failure ports are compatible if the EADatatype of the fromPort represents a subset of the Fault/Failure set represented by the toPort’s EADatatype. <br/></p><p><br/></p><p><br/></p><p>Semantics:<br/></p><p>The FaultFailurePropagationLink defines a Failure propagation path, from the fromPort on one error model to the toPort of another error model. <br/></p><p><br/></p><p><br/></p><p>Extension:<br/></p><p>UML::Connector<br/></p>
Attribute Details
public Boolean
  immediatePropagation
Initial: true
 
Element Source Role Target Role Details
«instanceRef» FaultFailurePropagationLink_fromPort
Class  
Name:  
 
Name: fromPort
 
 
Element Source Role Target Role Details
«instanceRef» FaultFailurePropagationLink_toPort
Class  
Name: toPort
 
Name:  
 
 
«atpType» ErrorModelType
Class  
Name:  
 
Name: faultFailureConnector
The contained links for internal propagations of faults/failures between the subordinate error models.
 
Constraint Type Status Detail
otherRelatedPropagation OCL Proposed
inv: not self.otherRelatedPropagations = self
propagationMeans OCL Proposed
inv: (self.throughADLEntity->isEmpty xor self.throughARElement->isEmpty) xor self.throughADLRealization->isEmpty
inv: (self.throughARElement->notEmpty) implies (self.from.portOwner.targetARType->notEmpty and self.to.portOwner.targetARType->notEmpty) and (self.throughADLEntity <> self.to.portOwner.targetARType and self.throughARElement <> self.from.portOwner.targetARElement)
inv: (self.throughADLEntity->notEmpty) implies (self.from.portOwner.targetADLType->notEmpty and self.to.portOwner.targetADLType->notEmpty) and (self.throughADLEntity <> self.to.portOwner.targetADLType and self.throughADLEntity <> self.from.portOwner.targetADLType) and (self.throughADLEntity.oclIsKindOf(ADLFunctionPrototype) or self.throughADLEntity.oclIsKindOf(ADLConnectorPrototype))
Object Type Connection Notes
«instanceRef» FaultFailurePropagationLink_toPort Class Strong  
«atpType» ErrorModelType Class Weak  
EAElement Class Generalization  
«atpPrototype» FaultFailurePort Class Dependency  
«atpPrototype» FaultFailurePort Class Dependency  
«instanceRef» FaultFailurePropagationLink_fromPort Class Weak