Actualización dinámica de controladores de eventos discretos

• Autores: Nahabedian, Leandro Ezequiel
• Año de publicación: 2020
• Idioma: español castellano
• Tipo de recurso: tesis doctoral
• Colaborador/a o director/a de tesis: Uchitel, Sebastián
• Materia: ACTUALIZACION DINAMICA; SISTEMAS REACTIVOS; PROCESOS DE NEGOCIO; SISTEMAS DE EVENTOS DISCRETOS; SINTESIS; DYNAMIC UPDATE; REACTIVE SYSTEMS; BUSINESS PROCESSES; DISCRETE EVENT CONTROLLERS; SYNTHESIS
• Institución: Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales

Los sistemas de eventos discretos están en el corazón de muchos sistemas de software que requieren operación continua como los sistemas reactivos. Cambiar estos controladores en tiempo de ejecución, para dar soporte a cambios del ambiente o cambios en los requerimientos, es una problema desafiante y no resuelto hasta ahora. En esta tesis, se plantea formalmente el problema de actualizar dinámicamente sistemas de eventos discretos que controlan sistemas reactivos. Presento aquí un enfoque general para especificar criterios de correctitud para actualizaciones dinámicas y una técnica que computa automáticamente un controlador que maneja la transición desde la vieja especificación hasta la nueva especificación, garantizando que el sistema alcance un estado en el cual esa transición pueda ocurrir correctamente y en la cual la arquitectura del sistema subyacente pueda reconfigurarse. La solución usa síntesis de controladores de eventos discretos para construir automáticamente un controlador que garantiza ambas: progreso sobre la actualización y actualizaciones seguras. La técnica desarrollada fue aplicada a distintos dominios como sistemas reactivos o sistemas robóticos. Cada uno de ellos comprende distintos desafíos entre los cuales se destaca la urgencia por adaptarse a los nuevos requerimientos y las variedades de estrategias que se pueden computar para lograr la actualización. Otro dominio de aplicación de la técnica fue la reconfiguración de procesos de negocio. Como es esperado, las organizaciones requieren que sus procesos de negocios evolucionen manteniendo el cumplimiento de nuevas políticas, estrategias y regulaciones. La reconfiguración de un proceso de negocio es un problema desafiante ya que no solo se debe idear un nuevo workflow, sino que también, requiere de entender de cómo debe ser la transición entre el viejo workflow y el nuevo. Si bien los procesos de negocio suelen ser más lentos que los sistemas reactivos o los sistemas robóticos, este problema solo fue levemente estudiado, sin poder garantizar un proceso automático que lo resuelva. En esta tesis producimos procesos de reconfiguración que garantiza la evolución de un antiguo workflow a uno nuevo, satisfaciendo los requerimientos de transición definidos por el usuario.
Discrete event controllers are at the heart of many software systems that require continuous operation such as reactive systems. Changing these controllers at runtime to cope with environment or system requirements change is a challenging open problem. In this paper we address the problem of dynamic update of controllers in reactive systems. We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur and in which the underlying system architecture can reconfigure. Our solution uses discrete event controller synthesis to automatically build a controller that guarantees both progress towards update and safe update. The developed technique was applied to different domains as reactive systems or robotic systems. Each of them comprises different challenges, among them the urgency to adapt to the new requirements and varieties of strategies that can be computed to achieve the update. Another domain of application of the technique was the reconfiguration of business processes. As expected, organizations require that their business processes evolve while maintaining compliance with new policies, strategies and regulations. The reconfiguration of a business process is a challenging problem since not only a new workflow must be devised, but it also requires to understand how the transition between the old workflow and the new one should be. While business processes are usually slower than reactive systems or robotic systems, this problem was only slightly studied, without being able to guarantee an automatic process that solves it. In this thesis we produce a reconfiguration of a business process that guarantees the evolution of an old workflow to a new one, satisfying the transition requirements defined by the user.
Fil: Nahabedian, Leandro Ezequiel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.