Se 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 convencio nales, 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.