La base teórica que describe las reglas del estado de una solicitud de servicio y las condiciones a las transiciones de estado.