define type
  prestatie-indicator
  time is a real with unit ms
  informatie-stroom
  energie-stroom

  bediensignaal is an informatie-stroom
  besturingssignaal is an informatie-stroom
  statussignaal is an informatie-stroom
  verzoeksignaal is an informatie-stroom
  menselijke-energie-stroom is an energie-stroom
  bedienhandeling is a menselijke-energie-stroom
  fysiek-gedrag is an energie-stroom

  bedienmodi-enumeratie is an enumeration of bediening-op-afstand, bediening-lokaal-regulier-of-onderhoud, bediening-lokaal-nood

  component-operationele-status-enumeratie is an enumeration of passief, actief

define verb
  versturen over
  aanbieden aan
  omzetten in
  tonen aan
  beantwoorden met
  zenden naar
  uitvoeren op
  verzenden naar

define relation
  OpereationaleStatusAutomatonModel
    requiring parameters
      * objectbedienmodus is a bedienmodi-enumeratie
    returning parameters
      * component-operationale-status is an component-operationele-status-enumeratie
