![]() |
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: AInherits inv: (self.AInheritssource.content.oclIsKindOf(Agent)) and (self.AInheritstarget.content.oclIsKindOf(Agent)) |
![]() |
Context: AHasMS inv: (self.AHasMSsource.content.oclIsKindOf(Agent) or self.AHasMSsource.content.oclIsKindOf(AutonomousEntityQuery)) and (self.AHasMStarget.content.oclIsKindOf(MentalState)) |
![]() |
Context: AHasMSManager inv: (self.AHasMSManagersource.content.oclIsKindOf(Agent)) and (self.AHasMSManagertarget.content.oclIsKindOf(MentalStateManager)) |
![]() |
Context: AHasMSProcessor inv: (self.AHasMSProcessorsource.content.oclIsKindOf(Agent)) and (self.AHasMSProcessortarget.content.oclIsKindOf(MentalStateProcessor)) |
![]() |
Context: WFResponsable inv: (self.WFResponsablesource.content.oclIsKindOf(Agent) or self.WFResponsablesource.content.oclIsKindOf(Role) or self.WFResponsablesource.content.oclIsKindOf(AutonomousEntityQuery)) and (self.WFResponsabletarget.content.oclIsKindOf(Task)) |
![]() |
Context: AInstanceOf inv: (self.AInstanceOfsource.content.oclIsKindOf(Agent) or self.AInstanceOfsource.content.oclIsKindOf(Role)) and (self.AInstanceOftarget.content.oclIsKindOf(AutonomousEntityQuery)) |
![]() |
Context: AContainsME inv: (self.AContainsMEsource.content.oclIsKindOf(MentalState)) and (self.AContainsMEtarget.content.oclIsKindOf(MentalEntity)) |
![]() |
Context: WFPlays inv: (self.WFPlayssource.content.oclIsKindOf(Agent) or self.WFPlayssource.content.oclIsKindOf(AutonomousEntityQuery)) and (self.WFPlaystarget.content.oclIsKindOf(Role)) |
![]() |
Context: ARoleInheritance inv: (self.ARoleInheritancesource.content.oclIsKindOf(Role)) and (self.ARoleInheritancetarget.content.oclIsKindOf(Role)) |