![]() |
Context: GTPursues inv: (self.GTPursuessource.content.oclIsKindOf(Autonomous_entity) or self.GTPursuessource.content.oclIsKindOf(Role) or self.GTPursuessource.content.oclIsKindOf(AutonomousEntityQuery)) and (self.GTPursuestarget.content.oclIsKindOf(Goal)) |
![]() |
Context: GTCreates inv: (self.GTCreatessource.content.oclIsKindOf(Task)) and (self.GTCreatestarget.content.oclIsKindOf(MentalEntity)) |
![]() |
Context: GTAffects inv: (self.GTAffectssource.content.oclIsKindOf(Task)) and (self.GTAffectstarget.content.oclIsKindOf(MentalEntity)) |
![]() |
Context: GTDestroys inv: (self.GTDestroyssource.content.oclIsKindOf(Task)) and (self.GTDestroystarget.content.oclIsKindOf(MentalEntity)) |
![]() |
Context: GTFails inv: (self.GTFailssource.content.oclIsKindOf(Task)) and (self.GTFailstarget.content.oclIsKindOf(Goal)) and (self.GTFailsHelperTasktarget.content.oclIsKindOf(Task)) |
![]() |
Context: GTSatisfies inv: (self.GTSatisfiessource.content.oclIsKindOf(Task)) and (self.GTSatisfiestarget.content.oclIsKindOf(Goal)) |
![]() |
Context: WFConsumes inv: (self.WFConsumessource.content.oclIsKindOf(Task) or self.WFConsumessource.content.oclIsKindOf(Workflow)) and (self.WFConsumestarget.content.oclIsKindOf(MentalEntity)) |
![]() |
Context: WFUses inv: (self.WFUsessource.content.oclIsKindOf(Task)) and (self.WFUsestarget.content.oclIsKindOf(Application) or self.WFUsestarget.content.oclIsKindOf(Resource)) |
![]() |
Context: WFUsesMethod inv: (self.WFUsessource.content.oclIsKindOf(Task)) and (self.WFUsestarget.content.oclIsKindOf(Application) or self.WFUsestarget.content.oclIsKindOf(Resource)) |
![]() |
Context: WFProduces inv: (self.WFProducessource.content.oclIsKindOf(Task)) and (self.WFProducestarget.content.oclIsKindOf(MentalEntity) or self.WFProducestarget.content.oclIsKindOf(Interaction) or self.WFProducestarget.content.oclIsKindOf(Resource)) |
![]() |
Context: GTDecomposes inv: (self.GTDecomposessource.content.oclIsKindOf(Goal)) and (self.GTDecomposestarget.content.oclIsKindOf(Goal)) |
![]() |
Context: GTDepends inv: (self.GTDependssource.content.oclIsKindOf(Goal)) and (self.GTDependstarget.content.oclIsKindOf(Goal)) |
![]() |
Context: GTInherits inv: (self.GTInheritssource.content.oclIsKindOf(MentalEntity)) and (self.GTInheritstarget.content.oclIsKindOf(MentalEntity)) |
![]() |
Context: GTAndDepends inv: (self.GTDependssource.content.oclIsKindOf(Goal)) and (self.GTDependstarget.content.oclIsKindOf(Goal)) |
![]() |
Context: GTOrDepends inv: (self.GTDependssource.content.oclIsKindOf(Goal)) and (self.GTDependstarget.content.oclIsKindOf(Goal)) |
![]() |
Context: WFDecomposes inv: (self.WFDecomposessource.content.oclIsKindOf(Task)) and (self.WFDecomposestarget.content.oclIsKindOf(Task)) |
![]() |
Context: Contribute inv: (self.Contributesource.content.oclIsKindOf(Goal)) and (self.Contributetarget.content.oclIsKindOf(Goal)) |
![]() |
Context: ContributePositively inv: (self.Contributesource.content.oclIsKindOf(Goal)) and (self.Contributetarget.content.oclIsKindOf(Goal)) |
![]() |
Context: ContributeNegatively inv: (self.Contributesource.content.oclIsKindOf(Goal)) and (self.Contributetarget.content.oclIsKindOf(Goal)) |