UML22 — Region - Additional structural constraints necessary

Add the toe following query to the section "AdditionalOperations":

[1] allParentRegions() replies a set of regions which are direct or indirect ancestors of this region

Context Region::allParentRegions(): Set(Region) allParentRegions = if self.State->isEmpty() then Set{} else self.State.container->union(self.State.container.allParentRegions()) endif

Add the following constraints to the section "Constraint"

[5] A region does not directly belongs to a state machine and to a state self.StateMachine->intersection(self.State)->isEmpty()

[6] Regions are properly nested not self.allParentRegions()->includes(self)

No Data Available