FpoHasRedundantFunctionInProcess

Description

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

Definition

Fpo (x1) is classified as participating in a process (x3) fulfilling a particular function (x2) redundantly.

../../_images/FpoHasRedundantFunctionInProcess.svg
FpoHasRedundantFunctionInProcess(x1, x2, x3) <->
    FunctionalPhysicalObject(x1) &
    ClassOfFunctionalObject(x2) &
    ClassOfActivity(x3) &
    exists u1 exists OWN:REDUNDANT_PERFORMER exists u2 exists u3 exists u4(
        ClassOfInanimatePhysicalObject(u1) &
        Role(OWN:REDUNDANT_PERFORMER) &
        ParticipatingRoleAndDomain(u2) &
        Cardinality(u3) &
        Cardinality(u4) &
        MMT:ClassificationOfIndividual(x1, u1) &
        MMT:DefinitionOfParticipatingRoleAndDomain(x2, OWN:REDUNDANT_PERFORMER, u2) &
        MMT:ClassOfParticipationDefinition(x3, u1, u2, u3, u4)) .

Roles

  1. hasFpo
  2. hasFunction
  3. hasProcess

Restrictions

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