SubProcessIsPartOfProcess

Description

A process (Coac) is at least composed of the subprocess (Coac).

Definition

A process (x2) has a subprocess (x1) as a part.

../../_images/SubProcessIsPartOfProcess.svg
SubProcessIsPartOfProcess(x1, x2) <->
    ClassOfActivity(x1) &
    ClassOfActivity(x2) &
    exists u1 exists u2(
        Cardinality(u1) &
        Cardinality(u2) &
        MMT:ClassOfCompositionDefinition(x2, x1, u2, u1)) .

Roles

  1. hasSubProcess
  2. hasProcess

Restrictions

  • Role filler of hasSubProcess must have entity type ClassOfActivity.
  • Role filler of hasProcess must have entity type ClassOfActivity.
  • Role filler of hasSubProcess must be used as the role filler of hasThis with respect to the ThisIsAProcess pattern.
  • Role filler of hasProcess must be used as the role filler of hasThis with respect to the ThisIsAProcess pattern.