UPDM — 8.4.13.6:OperationalActivity Constratins

:[2] Asserts that for every callOperationAction in an OperationalActivity that refers to an Operation that is stereotyped OperationalTask, then:
if the OperationalTask that is the operation of a callOperationAction that resides in a partition that represents an OperationalNode or a Property that is typed by an OperationalNode or one of its specializations, then o
the OperationalTask must be owned by that OperationalNode and the OperationalTask must have at least one method that specifies a corresponding OperationalActivity owned by the OperationalNode, (an OperationalTask could also specify Interactions or StateTraces)
OR o
if the OperationalTask that is the operation of a callOperationAction that resides in a partition that represents an OperationalNodeSpecification or a Property that is typed by an OperationalNodeSpecification, then o
the OperationalNodeSpecification must own the OperationalTask.

This constraint forces the called operation to be owned by the OperationalActivity that represents the partition in which the callOperationResides and that is not generally the case.
Resolution:Fix the OCL.