ProcessStreamThroughPipeOnDocument

Description

The relationship that a process stream flows in a pipe that is modelled as functional physical object is instantiated with this modelling pattern. Additionally, it is stated that the pipe is depicted on a specific document.

Modelling decisions: 1.Since it is neither possible nor advisable to define containment between possible individuals and classes, an unnamed PIPE CLASS of entity type dm:ClassOfInanimatePhysicalObject is assumed and input of the template ClassOfContainmentDefinition. 2.This class cannot be chosen arbitrarily but must contain criteria for the extension of the pipe to which the stream is related.

Definition

A process stream (x1) flows through a pipe (x2) that is depicted on a given document (x3).

../../_images/ProcessStreamThroughPipeOnDocument.svg
ProcessStreamThroughPipeOnDocument(x1, x2, x3) <->
    edm:ClassOfStream(x1) &
    FunctionalPhysicalObject(x2) &
    ClassOfInformationObject(x3) &
    AIX:FPO_is_on_DOCUMENT(x2, x3) &
    exists u1 exists u2 exists u3(
        ClassOfInanimatePhysicalObject(u1) &
        Cardinality(u2) &
        Cardinality(u3) &
        MMT:ClassificationOfIndividual(x2, u1) &
        MMT:ClassOfContainmentDefinition(u1, x1, u2, u3)) .

Roles

  1. hasProcessStream
  2. hasPipe
  3. hasOnDocument

Restrictions

  • Role filler of hasProcessStream must have entity type EdmClassOfStream.
  • Role filler of hasPipe must have entity type FunctionalPhysicalObject.
  • Role filler of hasOnDocument must have entity type ClassOfInformationObject.
  • One of:
    • Role filler of hasOnDocument must be a specialization of Document.
    • Role filler of hasOnDocument must be used as the role filler of hasThis with respect to the ThisIsADocument pattern.
  • One of:
    • Role filler of hasPipe must be classified as Pipe.
    • Role filler of hasPipe must be used as the role filler of hasFpo with respect to the FpoIsSomething pattern.