FpoIsOnPid

Description

This modelling pattern allows to express that a ‘functional physical object’ is referred to on a document that is a P&ID. No information about the type of reference is made - it could be symbolic, textual or both.

It is assumed that, while parsing the information about the FPO from a data file, an entity for the underlying document can be found or is created in a database that contains information about documents.

Definition

An Fpo (x1) is depicted on a P&ID (x2).

../../_images/FpoIsOnPid.svg
FpoIsOnPid(x1, x2) <->
    FunctionalPhysicalObject(x1) &
    ClassOfInformationObject(x2) &
    MMT:ReferenceToIndividualOnDocument(x1, x2) .

Roles

  1. hasFpo
  2. hasOnPid

Restrictions

  • Role filler of hasFpo must have entity type FunctionalPhysicalObject.
  • Role filler of hasOnPid must have entity type ClassOfInformationObject.
  • One of:
    • Role filler of hasOnPid must be a specialization of Document.
    • Role filler of hasOnPid must be used as the role filler of hasThis with respect to the ThisIsADocument pattern.
  • One of:
    • Role filler of hasOnPid must be a specialization of PAndIDiagram.
    • Role filler of hasOnPid must be used as the role filler of hasDocument with respect to the DocumentIsOfDocumentClass pattern.