ResumenSe revisan los conceptos sobre la supervisión de procesos y se define la terminología y las funciones básicas de un sistema supervisor, así como los diferentes enfoques para el diseño de dicho sistema.Se selecciona un formalismo para la representación y modelado de la dinámica del proceso y se expresan las especificaciones desde esa base formal.La propuesta metodológica está orientada a los sistemas convencionales, pero la representación formal de la especificación y el modelo del comportamiento sirven de base para agregar las funcionalidades propias de sistemas modernos de supervisión inteligente.