ObjectPerformsFunctionInProcess

Description

The term ‘object’ in modelling patterns is used as term for instances of entity type Coipo.

Definition

A Coipo (x1) participates in a process (x3) as performer of a particular function (x2).

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

Roles

  1. hasObject
  2. hasFunction
  3. hasProcess

Restrictions

  • Role filler of hasObject must have entity type ClassOfInanimatePhysicalObject.
  • Role filler of hasFunction must have entity type ClassOfFunctionalObject.
  • Role filler of hasProcess must have entity type ClassOfActivity.