Handtuned MagicDraw UML
19.0 v9
-- Tree stereotype can only be applied on any class specialized from FTATree from FTA Library
self.base_Class->asSet()->closure(general).name->includes('FTATree')
OCL2.0
--DormantEvent stereotype can only be applied on any class specialized from DormantEvent from FTA Library
self.base_Class->asSet()->closure(general).name->includes('DormantEvent')
OCL2.0
--BasicEvent stereotype can only be applied on any class specialized from BasicEvent from FTA Library
self.base_Class->asSet()->closure(general).name->includes('BasicEvent')
OCL2.0
--BasicEvent + Undeveloped stereotype combination can be applied on any class specialized from UndevelopedEvent from FTA Library
Undeveloped.allInstances().base_Element->includesAll(self.base_Class)
implies
self.base_Class->asSet()->closure(general).name->includes('UndevelopedEvent')
OCL2.0
--ConditionalEvent stereotype can only be applied on any class specialized from ConditionalEvent from FTA Library
self.base_Class->asSet()->closure(general).name->includes('ConditionalEvent')
OCL2.0
--ZeroEvent stereotype can only be applied on any class specialized from ZeroEvent from FTA Library
self.base_Class->asSet()->closure(general).name->includes('ZeroEvent')
OCL2.0
--HouseEvent stereotype can only be applied on any class specialized from HouseEvent from FTA Library
self.base_Class->asSet()->closure(general).name->includes('HouseEvent')
OCL2.0
--AND stereotype can only be applied on any class specialized from AND gate from FTA Library
self.base_Class->asSet()->closure(general).name->includes('AND')
OCL2.0
--OR stereotype can only be applied on any class specialized from OR gate from FTA Library
self.base_Class->asSet()->closure(general).name->includes('OR')
OCL2.0
--SEQ stereotype can only be applied on any class specialized from SEQ gate from FTA Library
self.base_Class->asSet()->closure(general).name->includes('SEQ')
OCL2.0
--XOR stereotype can only be applied on any class specialized from XOR gate from FTA Library
self.base_Class->asSet()->closure(general).name->includes('XOR')
OCL2.0
--INHIBIT stereotype can only be applied on any class specialized from INHIBIT gate from FTA Library
self.base_Class->asSet()->closure(general).name->includes('INHIBIT')
OCL2.0
--MAJORITY_VOTE stereotype can only be applied on any class specialized from MAJORITY_VOTE gate from FTA Library
self.base_Class->asSet()->closure(general).name->includes('MAJORITY_VOTE')
OCL2.0
--NOT stereotype can only be applied on any class specialized from NOT gate from FTA Library
self.base_Class->asSet()->closure(general).name->includes('NOT')
OCL2.0
--IntermediateEvent stereotype can only be applied on any class specialized from IntermediateEvent from FTA Library
self.base_Class->asSet()->closure(general).name->includes('IntermediateEvent')
OCL2.0
--TopEvent stereotype can only be applied on any class specialized from TopEvent from FTA Library
self.base_Class->asSet()->closure(general).name->includes('TopEvent')
OCL2.0
-- type of TransferIn property must be TransferOut FTA Tree
TransferOut.allInstances().base_Class->includesAll(self.base_Property.type)
OCL2.0