define component NoodBedienplek
  parameter
    bediensignaal_SNB is a bediensignaal
    bedienhandelingen_NBP-LBN is a bedienhandeling
    bediensignaal_NBP is a bediensignaal

    statussignaal_SBN is a statussignaal
    statusinformatie_SBN is an informatie-stroom

    objectbedienmodus is an bedienmodi-enumeratie
    operationele-status is a component-operationele-status-enumeratie property

  transformation-requirement
    NBP-omzetten-bedienhandelingen-01: must omzetten bedienhandelingen_NBP-LBN and bediensignaal_SNB in bediensignaal_NBP

    NBP-omzetten-statussignaal-01: must omzetten statussignaal_SBN in statusinformatie_SBN

  behavior-requirement
    NBP-operationele-status:
      case NBP-is-actief:
        when
          * c1: objectbedienmodus is equal to bediening-lokaal-nood [-]
        then
          * r1: operationele-status must be equal to actief [-]
      case NBP-is-passief:
        when
          * c2: objectbedienmodus is equal to bediening-lokaal-regulier-of-onderhoud [-] or objectbedienmodus is equal to bediening-op-afstand [-]
        then
          * r2: operationele-status must be equal to passief [-]