Actualización dinámica de controladores de eventos discretos

Mostrar todas las versiones(3)

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...

Descripción completa

Detalles Bibliográficos
Autor principal: Nahabedian, Leandro Ezequiel
Otros Autores: Uchitel, Sebastián
Formato: Tesis doctoral publishedVersion
Lenguaje:Español
Publicado: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2020
Materias:
ACTUALIZACION DINAMICA
SISTEMAS REACTIVOS
PROCESOS DE NEGOCIO
SISTEMAS DE EVENTOS DISCRETOS
SINTESIS
DYNAMIC UPDATE
REACTIVE SYSTEMS
BUSINESS PROCESSES
DISCRETE EVENT CONTROLLERS
SYNTHESIS
Acceso en línea:https://hdl.handle.net/20.500.12110/tesis_n6855_Nahabedian
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id tesis:tesis_n6855_Nahabedian
record_format dspace
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
language Español
orig_language_str_mv spa
topic ACTUALIZACION DINAMICA
SISTEMAS REACTIVOS
PROCESOS DE NEGOCIO
SISTEMAS DE EVENTOS DISCRETOS
SINTESIS
DYNAMIC UPDATE
REACTIVE SYSTEMS
BUSINESS PROCESSES
DISCRETE EVENT CONTROLLERS
SYNTHESIS
spellingShingle ACTUALIZACION DINAMICA
SISTEMAS REACTIVOS
PROCESOS DE NEGOCIO
SISTEMAS DE EVENTOS DISCRETOS
SINTESIS
DYNAMIC UPDATE
REACTIVE SYSTEMS
BUSINESS PROCESSES
DISCRETE EVENT CONTROLLERS
SYNTHESIS
Nahabedian, Leandro Ezequiel
Actualización dinámica de controladores de eventos discretos
topic_facet ACTUALIZACION DINAMICA
SISTEMAS REACTIVOS
PROCESOS DE NEGOCIO
SISTEMAS DE EVENTOS DISCRETOS
SINTESIS
DYNAMIC UPDATE
REACTIVE SYSTEMS
BUSINESS PROCESSES
DISCRETE EVENT CONTROLLERS
SYNTHESIS
description 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.
author2 Uchitel, Sebastián
author_facet Uchitel, Sebastián
Nahabedian, Leandro Ezequiel
format Tesis doctoral
Tesis doctoral
publishedVersion
author Nahabedian, Leandro Ezequiel
author_sort Nahabedian, Leandro Ezequiel
title Actualización dinámica de controladores de eventos discretos
title_short Actualización dinámica de controladores de eventos discretos
title_full Actualización dinámica de controladores de eventos discretos
title_fullStr Actualización dinámica de controladores de eventos discretos
title_full_unstemmed Actualización dinámica de controladores de eventos discretos
title_sort actualización dinámica de controladores de eventos discretos
publisher Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
publishDate 2020
url https://hdl.handle.net/20.500.12110/tesis_n6855_Nahabedian
work_keys_str_mv AT nahabedianleandroezequiel actualizaciondinamicadecontroladoresdeeventosdiscretos
AT nahabedianleandroezequiel dynamicupdateofdiscreteeventcontrollers
_version_ 1831982317000720384
spelling tesis:tesis_n6855_Nahabedian2025-03-31T21:48:43Z Actualización dinámica de controladores de eventos discretos Dynamic update of discrete event controllers Nahabedian, Leandro Ezequiel Uchitel, Sebastián ACTUALIZACION DINAMICA SISTEMAS REACTIVOS PROCESOS DE NEGOCIO SISTEMAS DE EVENTOS DISCRETOS SINTESIS DYNAMIC UPDATE REACTIVE SYSTEMS BUSINESS PROCESSES DISCRETE EVENT CONTROLLERS SYNTHESIS 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. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2020-07-03 info:eu-repo/semantics/doctoralThesis info:ar-repo/semantics/tesis doctoral info:eu-repo/semantics/publishedVersion application/pdf spa info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar https://hdl.handle.net/20.500.12110/tesis_n6855_Nahabedian

Ejemplares similares