Engenharia de protocolos com o uso de construçoes predefinidas em LOTOS

Neste trabalho apresenta-se o projeto da biblioteca bibLOTOS que armazena um conjunto de construçôes predefinidas realizadas com a Técnica de Descrição Formal LOTOS. A bibLOTOS inclui construçôes em LOTOS Básico (onde apenas os aspectos de compbrtamento são definidos) e construçôes em LOTOS completo...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Riso, Bernardo Gonçalves, Notare, Mirela Sechi Moretti Anonni, Maciél, Cristiano
Formato: Objeto de conferencia
Lenguaje:Portugués
Publicado: 1996
Materias:
Ciencias Informáticas
Tools
Distributed Systems
Network communication
sistemas distribuídos
servicios de comunicação
protocolos de ébmunicação
gerencia de redes
especificaçãó formal
construçãôs predefinidas
ferramientas de projeto
LOTOS
Access
bibLOTOS
communication services
communication protocols
netwbrk management
formal specification
pre-defined construcst
design tools
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24211
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
Descripción
Sumario:Neste trabalho apresenta-se o projeto da biblioteca bibLOTOS que armazena um conjunto de construçôes predefinidas realizadas com a Técnica de Descrição Formal LOTOS. A bibLOTOS inclui construçôes em LOTOS Básico (onde apenas os aspectos de compbrtamento são definidos) e construçôes em LOTOS completo(onde, além dos aspectos de comportamento sao copsiderados os aspectos de dados). A bibLOTOS é implementada utilizando o Gerenciador de Sánco de Dados Access para l1licrocomputadores. Umexemplo de utilização da bibLOTOS, no caso de um projeto de um sistema de geréncia proativa eje redes, é apresentado

Ejemplares similares