
![]() |
| 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)) |