![]() |
Context: EResourceBelongsTo inv: (self.EResourceBelongsTosource.content.oclIsKindOf(OrganizationGroup) or self.EResourceBelongsTosource.content.oclIsKindOf(Agent) or self.EResourceBelongsTosource.content.oclIsKindOf(Role)) and (self.EResourceBelongsTotarget.content.oclIsKindOf(Resource) or self.EResourceBelongsTotarget.content.oclIsKindOf(Application)) |
![]() |
Context: OHasGroup inv: (self.OHasGroupsource.content.oclIsKindOf(Organization)) and (self.OHasGrouptarget.content.oclIsKindOf(OrganizationGroup)) |
![]() |
Context: OHasMember inv: (self.OHasMembersource.content.oclIsKindOf(OrganizationGroup)) and (self.OHasMembertarget.content.oclIsKindOf(Agent) or self.OHasMembertarget.content.oclIsKindOf(Role) or self.OHasMembertarget.content.oclIsKindOf(Resource) or self.OHasMembertarget.content.oclIsKindOf(Application)) |
![]() |
Context: OHasWF inv: (self.OHasWFsource.content.oclIsKindOf(Organization)) and (self.OHasWFtarget.content.oclIsKindOf(Workflow)) |
![]() |
Context: ODecomposesGroup inv: (self.ODecomposesGroupsource.content.oclIsKindOf(OrganizationGroup)) and (self.ODecomposesGrouptarget.content.oclIsKindOf(OrganizationGroup)) |
![]() |
Context: ODecomposesWF inv: (self.ODecomposesWFsource.content.oclIsKindOf(Workflow)) and (self.ODecomposesWFtarget.content.oclIsKindOf(Workflow)) |
![]() |
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: WFConnects inv: (self.WFConnectssource.content.oclIsKindOf(Workflow) or self.WFConnectssource.content.oclIsKindOf(Task)) and (self.WFConnectstarget.content.oclIsKindOf(Workflow) or self.WFConnectstarget.content.oclIsKindOf(Task)) |
![]() |
Context: WFUses inv: (self.WFUsessource.content.oclIsKindOf(Task)) and (self.WFUsestarget.content.oclIsKindOf(Application) or self.WFUsestarget.content.oclIsKindOf(Resource)) |
![]() |
Context: WFContainsTask inv: (self.WFContainsTasksource.content.oclIsKindOf(Workflow)) and (self.WFContainsTasktarget.content.oclIsKindOf(Task) or self.WFContainsTasktarget.content.oclIsKindOf(Workflow)) |
![]() |
Context: WFConsumes inv: (self.WFConsumessource.content.oclIsKindOf(Task) or self.WFConsumessource.content.oclIsKindOf(Workflow)) and (self.WFConsumestarget.content.oclIsKindOf(MentalEntity)) |
![]() |
Context: WFDecomposes inv: (self.WFDecomposessource.content.oclIsKindOf(Task)) and (self.WFDecomposestarget.content.oclIsKindOf(Task)) |
![]() |
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: AGORelationshipGroup inv: (self.AGORelationship2source.content.oclIsKindOf(OrganizationGroup)) and (self.AGORelationship2target.content.oclIsKindOf(OrganizationGroup)) |
![]() |
Context: AGORelationshipMember inv: (self.AGORelationship3source.content.oclIsKindOf(Agent) or self.AGORelationship3source.content.oclIsKindOf(Role)) and (self.AGORelationship3target.content.oclIsKindOf(Agent) or self.AGORelationship3target.content.oclIsKindOf(Role)) |
![]() |
Context: AGORelationshipOrg inv: (self.AGORelationship1source.content.oclIsKindOf(Organization)) and (self.AGORelationship1target.content.oclIsKindOf(Organization)) |
![]() |
Context: AGOSubordinationRelationshipGroup inv: (self.AGORelationship2source.content.oclIsKindOf(OrganizationGroup)) and (self.AGORelationship2target.content.oclIsKindOf(OrganizationGroup)) |
![]() |
Context: AGOSubordinationRelationshipMember inv: (self.AGORelationship3source.content.oclIsKindOf(Agent) or self.AGORelationship3source.content.oclIsKindOf(Role)) and (self.AGORelationship3target.content.oclIsKindOf(Agent) or self.AGORelationship3target.content.oclIsKindOf(Role)) |
![]() |
Context: AGOSubordinationRelationshipOrg inv: (self.AGORelationship1source.content.oclIsKindOf(Organization)) and (self.AGORelationship1target.content.oclIsKindOf(Organization)) |
![]() |
Context: AGOCondSubordinationRelationshipGroup inv: (self.AGORelationship2source.content.oclIsKindOf(OrganizationGroup)) and (self.AGORelationship2target.content.oclIsKindOf(OrganizationGroup)) |
![]() |
Context: AGOCondSubordinationRelationshipMember inv: (self.AGORelationship3source.content.oclIsKindOf(Agent) or self.AGORelationship3source.content.oclIsKindOf(Role)) and (self.AGORelationship3target.content.oclIsKindOf(Agent) or self.AGORelationship3target.content.oclIsKindOf(Role)) |
![]() |
Context: AGOCondSubordinationRelationshipOrg inv: (self.AGORelationship1source.content.oclIsKindOf(Organization)) and (self.AGORelationship1target.content.oclIsKindOf(Organization)) |
![]() |
Context: AGOInconditionalSubordinationRelationshipGroup inv: (self.AGORelationship2source.content.oclIsKindOf(OrganizationGroup)) and (self.AGORelationship2target.content.oclIsKindOf(OrganizationGroup)) |
![]() |
Context: AGOInconditionalSubordinationRelationshipMember inv: (self.AGORelationship3source.content.oclIsKindOf(Agent) or self.AGORelationship3source.content.oclIsKindOf(Role)) and (self.AGORelationship3target.content.oclIsKindOf(Agent) or self.AGORelationship3target.content.oclIsKindOf(Role)) |
![]() |
Context: AGOInconditionalSubordinationRelationshipOrg inv: (self.AGORelationship1source.content.oclIsKindOf(Organization)) and (self.AGORelationship1target.content.oclIsKindOf(Organization)) |
![]() |
Context: AGOClientServerRelationshipGroup inv: (self.AGORelationship2source.content.oclIsKindOf(OrganizationGroup)) and (self.AGORelationship2target.content.oclIsKindOf(OrganizationGroup)) |
![]() |
Context: AGOClientServerRelationshipMember inv: (self.AGORelationship3source.content.oclIsKindOf(Agent) or self.AGORelationship3source.content.oclIsKindOf(Role)) and (self.AGORelationship3target.content.oclIsKindOf(Agent) or self.AGORelationship3target.content.oclIsKindOf(Role)) |
![]() |
Context: AGOClientServerRelationshipOrg inv: (self.AGORelationship1source.content.oclIsKindOf(Organization)) and (self.AGORelationship1target.content.oclIsKindOf(Organization)) |
![]() |
Context: WFSpecifiesExecution inv: (self.WFSpecifiesExecutionsource.content.oclIsKindOf(Task)) and (self.WFSpecifiesExecutiontarget.content.oclIsKindOf(Interaction)) |
![]() |
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: WFParticipates inv: (self.WFParticipatessource.content.oclIsKindOf(Agent) or self.WFParticipatessource.content.oclIsKindOf(AutonomousEntityQuery) or self.WFParticipatessource.content.oclIsKindOf(Role)) and (self.WFParticipatestarget.content.oclIsKindOf(Workflow)) |
![]() |
Context: WFPlays inv: (self.WFPlayssource.content.oclIsKindOf(Agent) or self.WFPlayssource.content.oclIsKindOf(AutonomousEntityQuery)) and (self.WFPlaystarget.content.oclIsKindOf(Role)) |
![]() |
Context: WFDecomposesWF inv: (self.WFDecomposesWFsource.content.oclIsKindOf(Workflow)) and (self.WFDecomposesWFtarget.content.oclIsKindOf(Task) or self.WFDecomposesWFtarget.content.oclIsKindOf(Workflow)) |