StreamIsOutputOfUnitOperation

Description

A stream (hasStream) is the input stream of a unit operation (hasUnitOperation).

Definition

A stream (x1) fulfills the role of output of a unit operation (x2).

../../_images/StreamIsOutputOfUnitOperation.svg
StreamIsOutputOfUnitOperation(x1, x2) <->
    edm:ClassOfStream(x1) &
    ClassOfActivity(x2) &
    exists u1 exists u2 exists u3 exists u4(
        ParticipatingRoleAndDomain(u1) &
        Cardinality(u2) &
        Cardinality(u3) &
        Role(u4) &
        MMT:ClassOfParticipationDefinition(x2, x1, u4, u1, u2, u3)) .

Roles

  1. hasStream
  2. hasUnitOperation

Restrictions

  • Role filler of hasStream must have entity type EdmClassOfStream.
  • Role filler of hasUnitOperation must have entity type ClassOfActivity.