Entity InteractionModel

Preview

Original size

Relationships

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))

INGENIAS meta-model V1.1 for the IDK. Developed at Grasia Research Group