The theoretical base describing the rules of a service request's state and the conditions to state transitions.