FpoForProcess

Description

The modelling pattern does not state an actual participation in an actual process but a participation in anticipated process.

Definition

An Fpo (x1) participates in a process (x2) as performer.

../../_images/FpoForProcess.svg
FpoForProcess(x1, x2) <->
    FunctionalPhysicalObject(x1) &
    ClassOfActivity(x2) &
    exists u1 exists OWN:PERFORMER exists u2 exists u3(
        ClassOfInanimatePhysicalObject(u1) &
        Role(OWN:PERFORMER) &
        Cardinality(u2) &
        Cardinality(u3) &
        MMT:ClassificationOfIndividual(x1, u1) &
        MMT:ClassOfParticipationDefinition(x2, u1, OWN:PERFORMER, u3, u4)) .

Roles

  1. hasFpo
  2. hasProcess

Restrictions

  • Role filler of hasFpo must have entity type FunctionalPhysicalObject.
  • Role filler of hasProcess must have entity type ClassOfActivity.