define component LokaleBedienplek
  parameters
    reguliere_bedienhandelingen_LBN is a bedienhandeling
    bediensignaal_LBP is a bediensignaal
    bediensignaal_SLB is a bediensignaal
    intern_gerouteerde_statussignaal_PBN is a statussignaal
    statusinformatie_PBN is a informatie-stroom
    objectbedienmodus is an bedienmodi-enumeratie
    operationele-status is a component-operationele-status-enumeratie property

  transformation-requirement
    LBP-omzetten-bedienhandelingen-01: must omzetten reguliere_bedienhandelingen_LBN and bediensignaal_SLB in bediensignaal_LBP

    LBP-omzetten-statussignaal-01: must omzetten intern_gerouteerde_statussignaal_PBN in statusinformatie_PBN

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