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

• Autores: Riso, Bernardo Gonçalves; Notare, Mirela Sechi Moretti Anonni; Maciél, Cristiano
• Año de publicación: 1996
• Idioma: portugués
• Tipo de recurso: documento de conferencia
• Materia: 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
• Institución: Universidad Nacional de La Plata

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
This work presents an approach for designing network management systems by using of bibLOTOS library from pre-defined constructs which are described using the Formal Description Technique LOTOS. The bibLOTOS includes Basic LOTOS constructs (where only behavioural issues are defined) and Full lOTOS constructs (where th~y ¡3re both considered, behavioural and data issues). BibLOTOS is implemented using the Access system for microcomputers. An example of bibLOTOS using, in the case of des,igning a proactive network management system, is presented.
Eje: Redes de computadoras
Red de Universidades con Carreras en Informática (RedUNCI)