Modelamiento y especificación de sistemas distribuidos y temporizados
Palabras clave:
Automatas Temporizados, Métodos Formales, Lógica Temporizados, Sistemas Distribuidos.Barra lateral del artículo
Contenido principal del artículo
El aumento en la complejidad de los sistemas distribuidos y temporizados hace que ellos sean muy difícil de modelary especificar correctamente. Diferentes métodos formales son útiles para el proceso de modelado y especificaciónde estos tipos de sistemas. Los Autómatas Temporizados (AT) y los Autómatas Temporizados Distribuidos (ATD)son los modelos formales más utilizados para modelar sistemas de tiempo real y distribuidos. Lamentablemente losalgoritmos existentes para calcular la inclusión y complementación de sus lenguajes son indecidible. En este artículo,presentaremos las lógicas (Lógica Temporalizada de Eventos Distribuidos, Lógica Temporizados de Memorizaciónde Eventos) y los autómatas (Autómatas de Eventos Distribuidos, Autómatas de Memorización de Eventos),totalmente decidibles. Estos métodos fueron diseñados para modelar, especificar, estudiar el comportamiento y enespecial verificar el buen funcionamiento de los sistemas de tiempo real y distribuidos.
Downloads
Los autores que publican en esta revista están de acuerdo con los siguientes términos:
Los autores ceden los derechos patrimoniales a la revista y a la Universidad del Valle sobre los manuscritos aceptados, pero podrán hacer los reusos que consideren pertinentes por motivos profesionales, educativos, académicos o científicos, de acuerdo con los términos de la licencia que otorga la revista a todos sus artículos.
Los artículos serán publicados bajo la licencia Creative Commons 4.0 BY-NC-SA (de atribución, no comercial, sin obras derivadas).