FpoIsOnDocument

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 document (x2).

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

Roles

  1. hasFpo
  2. hasOnDocument

Restrictions

  • Role filler of hasFpo 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.