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(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