Language Extensions - Policy Specifications

The policy specifications are in the form of a finite state machine, e.g.
policy BoundedRequests for SearchEngine { -> haveCredits transition haveCredits -> reachedLimit when (...) transition reachedLimit -> haveCredits when (...) CAN_SEARCH when { haveCredits } }
Each policy declares the set of states of the FSM in which the service to be controlled is considered to have the named property.
Properties are specific to each service object.

The policy specifications are in the form of a finite state machine, e.g.