Uma especificação formal e funcional de interconexão de redes DQDB/ATM para serviços com conexão não orientada
AUTOR(ES)
Luciano Pinto de Nadai
DATA DE PUBLICAÇÃO
1996
RESUMO
This work present a formal and functional implementation of DQDB-ATM LAN s integration, based on recomendations found in CCITT standards. We will treat connectionless services and the SDL language is used to implement and simulate the proposed procedures. Direct scenary has been adopted to support the connectionless services of the DQDB/ATM LAN S, using the IWU element as a bridge. A suitable format has been proposed to the addressing field of the DQDB slot. Simulation results of several cases are analised and discussed
ASSUNTO(S)
redes de computação local area network interconnection redes de computadores - protocolos
ACESSO AO ARTIGO
http://libdigi.unicamp.br/document/?code=vtls000113852Documentos Relacionados
- Uma linguagem de especificação formal orientada por aspectos
- Especificações e simulação na linguagem formal SDL das sinalizações de registro e conexão de uma rede ATM sem fio
- Larch : uma alternativa para especificação formal
- Uma Proposta de especificação formal e fundamentação teórica para simulated annealing
- Proposta de mobilidade para protocolos H.323 e SIP em telefonia IP, utilizando linguagem de especificação formal SDL orientada a objetos