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

Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS Derivando EFSMs Síncronos Simultâneos de Especificações de Protocolo em LOTOS

Akira KITAJIMA, Keiichi YASUMOTO, Teruo HIGASHINO, Kenichi TANIGUCHI

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

Neste artigo, propomos um algoritmo para converter uma determinada especificação LOTOS estruturada em um modelo nivelado equivalente denominado EFSMs síncronos. O modelo EFSMs síncronos é um modelo de execução para protocolos de comunicação e sistemas distribuídos onde cada sistema consiste em EFSMs simultâneos e um conjunto finito de indicações de múltiplos encontros entre seus subconjuntos. Os EFSMs podem ser derivados de uma especificação em uma subclasse de LOTOS e sua implementação se torna mais simples do que a implementação direta da especificação LOTOS original porque a sincronização entre os processos no modelo não possui nenhum relacionamento filho-pai, o que pode tornar o mecanismo de sincronização é muito mais complexo. Alguns resultados experimentais são relatados para mostrar a vantagem dos EFSMs síncronos em termos de eficiência de execução.

Publicação
IEICE TRANSACTIONS on Fundamentals Vol.E82-A No.3 pp.487-494
Data de publicação
1999/03/25
Publicitada
ISSN online
DOI
Tipo de Manuscrito
Special Section PAPER (Special Section on Selected Papers from the 11th Workshop on Circuits and Systems in Karuizawa)
Categoria

autores

Palavra-chave