Created: | 2007-01-31 16:33:18 |
Modified: | 2010-04-29 14:37:23 |
![]() |
|
![]() |
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 |