UML14 — UseCase - Constraint for non-circular include relation

UseCase - Constraint for non-circular include relation

I suggest to add the following fragments to the sections "Additional Operations" and "Constraints":

Additional Operations [1] The query allIncludedCases() gives a set of all of the uses cases which are either included directly by this use case or indirectly by other included use cases.

UseCase::allIncludedCases(): Set(UseCase); allIncludedCases = self.include->union( self.include->collect(uc | uc.allIncludedCases()) )

Constraints [4] A Use Case may not directly or indirectly include itself not self.allIncludedCases()->includes(self)

see above