AllocateActivityPartition::1_actions_on_client_ends An Action appearing in an "AllocateActivityPartition" shall be the /client (from) end of an "allocate" dependency. The element that represents the "AllocateActivityPartition" shall be the /supplier ...

An Action appearing in an "AllocateActivityPartition" shall be the /client (from) end of an "allocate" dependency. The element that represents the "AllocateActivityPartition" shall be the /supplier (to) end of the same "allocate" dependency. In the «AllocateActivityPartition» name field, Properties are designated by the use of a fully qualified name (including colon, e.g., "part_name:Block_Name"), and Classifiers are designated by a simple name (no colons, e.g., "Block_Name").

self.base_ActivityPartition.node->select(n|n.oclIsKindOf(UML::Action)) ->forAll(a | let allocs: Set(UML::Abstraction) = Allocate.allInstances().base_Abstraction ->select(x |x.client->includes(a))->asSet() in allocs->exists(x | x.supplier ->includes(self.base_ActivityPartition.represents)))