![]() |
Context: IInitiates inv: (self.IInitiatessource.content.oclIsKindOf(Interaction)) and (self.IInitiatestarget.content.oclIsKindOf(Agent) or self.IInitiatestarget.content.oclIsKindOf(Role)) |
![]() |
Context: IColaborates inv: (self.IColaboratessource.content.oclIsKindOf(Interaction)) and (self.IColaboratestarget.content.oclIsKindOf(Agent) or self.IColaboratestarget.content.oclIsKindOf(Role)) |
![]() |
Context: UIInitiates inv: (self.UIInitiatessource.content.oclIsKindOf(InteractionUnit) or self.UIInitiatessource.content.oclIsKindOf(Interaction)) and (self.UIInitiatestarget.content.oclIsKindOf(Agent) or self.UIInitiatestarget.content.oclIsKindOf(Role)) and (self.UIExecutestarget.content.oclIsKindOf(Task)) |
![]() |
Context: UIColaborates inv: (self.UIColaboratessource.content.oclIsKindOf(Interaction) or self.UIColaboratessource.content.oclIsKindOf(InteractionUnit)) and (self.UIColaboratestarget.content.oclIsKindOf(Agent) or self.UIColaboratestarget.content.oclIsKindOf(Role)) and (self.UIExecutestarget.content.oclIsKindOf(Task)) |
![]() |
Context: UISelection inv: (self.UISelectionsource.content.oclIsKindOf(InteractionUnit) or self.UISelectionsource.content.oclIsKindOf(Interaction)) and (self.UISelectiontarget.content.oclIsKindOf(InteractionUnit) or self.UISelectiontarget.content.oclIsKindOf(Interaction)) |
![]() |
Context: IPursues inv: (self.IPursuessource.content.oclIsKindOf(Interaction)) and (self.IPursuestarget.content.oclIsKindOf(Goal)) |
![]() |
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: IHasSpec inv: (self.IHasSpecsource.content.oclIsKindOf(Interaction)) and (self.IHasSpectarget.content.oclIsKindOf(Specification)) |
![]() |
Context: UIPrecedes inv: (self.UIPrecedessource.content.oclIsKindOf(InteractionUnit) or self.UIPrecedessource.content.oclIsKindOf(Interaction)) and (self.UIPrecedestarget.content.oclIsKindOf(InteractionUnit) or self.UIPrecedestarget.content.oclIsKindOf(Interaction)) |
![]() |
Context: UMLSendsMessage inv: (self.UMLSendsMessagesource.content.oclIsKindOf(Agent) or self.UMLSendsMessagesource.content.oclIsKindOf(Role)) and (self.UMLSendsMessagetarget.content.oclIsKindOf(Agent) or self.UMLSendsMessagetarget.content.oclIsKindOf(Role)) |