A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent Functions Sobre a construção de protocolo e serviço de comunicação de n-entidades com funções alternativas e simultâneas

Bhed Bahadur BISTA, Kaoru TAKAHASHI, Norio SHIRATORI

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

Neste artigo, consideramos um método flexível para projetar protocolos e serviços de comunicação de n entidades. A técnica proposta considera a composição alternativa e paralela de n especificações de serviço e n especificações de protocolo, onde n 2. As especificações são especificadas no LOTOS Básico, que é uma Técnica de Descrição Formal (FDT). Usamos a equivalência de bissimulação fraca () para representar as propriedades de correção entre a especificação do serviço e a especificação do protocolo.

Publicação
IEICE TRANSACTIONS on Fundamentals Vol.E85-A No.11 pp.2426-2435
Data de publicação
2002/11/01
Publicitada
ISSN online
DOI
Tipo de Manuscrito
Special Section PAPER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
Categoria

autores

Palavra-chave