Text this: Propuesta de un formalismo para la supervisión de procesos continuos