StreamParticipatesInUnitOperation

Description

Classes of streams and activities are modelled, here, because the symbols on process flow diagrams do not describe actual events and individuals but their classes.

The cardinalities for participant and activity have to be given at instantiation of the MMT-template [ClassOfParticipationDefinition].

The definition of cardinalities in ISO 15926 Part 2 has a “bug” (–Hans Teijgeler). In contrast to the depiction in Figs. 174 and 74 the definition of cardinality in section 5.2.13.1 states that the cardinality gives the number of times a thing can play a particular role in a relationship.

Definition

A stream (x1) participates in a unit operation (x2).

../../_images/StreamParticipatesInUnitOperation.svg
StreamParticipatesInUnitOperation(x1, x2) <->
    edm:ClassOfStream(x1) &
    ClassOfActivity(x2) &
    exists u1 exists u2 exists u3 exists jord:Participant(
        ParticipatingRoleAndDomain(u1) &
        Cardinality(u2) &
        Cardinality(u3) &
        Role(jord:Participant) &
        MMT:ClassOfParticipationDefinition(x2, x1, jord:Participant, 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.