Modelado de sistemas supervisores distribuidos y abiertos usando redes de Petri y orientación a Objetos

Abstract

El modelado de sistemas supervisores para ambientes automatizados puede ser visto como una tarea que involucra técnicas y métodos de dos áreas principales: ingeniería de control e ingeniería de software. En este contexto, el propósito de este trabajo es introducir un nuevo abordaje para el modelado de sistemas supervisores distribuidos y abiertos, basado en la unión de técnicas tradicionales de ingeniería de software (como la orientación a objetos) y con modelos formales de los sistemas dinámicos a eventos discretos (como las redes de Petri). En el primer nivel de abstracción, es usado el modelo de referencia de procesamiento distribuido y abierto (RM-ODP) como marco atquitectural estándar pata la construcción de un sistema distribuido y abierto. Basado en el modelo de referencia ODP, los diagramas en el lenguaje de modelado unificado UML son construidos como un segundo nivel de abstracción. Finalmente, las redes de Petri (el tercer nivel de abstracción) son usadas a través del proceso con la finalidad de garantizar la coherencia entre los modelos en UML desde el análisis de requerimientos hasta la implementación de manera a proveer modelos formales del sistema.