SciELO - Scientific Electronic Library Online

 
vol.15 número2A survey of computational calculi used in musical applicationsThree-Step method to tightly integrate data mining tasks into a relational database system índice de autoresíndice de assuntospesquisa de artigos
Home Pagelista alfabética de periódicos  

Serviços Personalizados

Artigo

Indicadores

Links relacionados

  • Em processo de indexaçãoCitado por Google
  • Não possue artigos similaresSimilares em SciELO
  • Em processo de indexaçãoSimilares em Google

Compartilhar


Ingeniería y competitividad

versão impressa ISSN 0123-3033

Resumo

ORTIZ, James J.. Modelamiento y especificación de sistemas distribuidos y temporizados. Ing. compet. [online]. 2013, vol.15, n.2, pp.115-124. ISSN 0123-3033.

El aumento en la complejidad de los sistemas distribuidos y temporizados hace que ellos sean muy difícil de modelar y especificar correctamente. Diferentes métodos formales son útiles para el proceso de modelado y especificación de 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 los algoritmos 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ón de 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 en especial verificar el buen funcionamiento de los sistemas de tiempo real y distribuidos

Palavras-chave : Automatas Temporizados; Métodos Formales; Lógica Temporizados; Sistemas Distribuidos.

        · resumo em Inglês     · texto em Inglês     · Inglês ( pdf )