Building Definition Language

State Transition Rules define permitted movement between states.

Each rule shall identify:

source state;

destination state;

initiating authority;

preconditions;

required dependencies;

required evidence;

required actions;

timeout;

failure state;

rollback or recovery;

generated events.

Example:

state_transition Interface_Connected_to_Operational {

subject_type: StructuralInterface;

from: connected;

to: operational;

];

authority: @Commissioning_Authority;

}

Prohibited transitions shall be explicit:

) unless @Temporary_Support.verified;

Emergency transitions may bypass selected normal steps only where an approved rule defines:

emergency authority;

affected scope;

safety consequence;

temporary restrictions;