Formal design of a telecommunications networks management system

Author

Notare, Mirela Sechi Moretti Annoni ; Riso, Bernardo Gonçalves ; Lorena, Paulo Sérgio ; de Oliveira Penna Neto, Manoel Camillo ; Westphall, Carlos Becker

Author_Institution

Technol. Center, Univ. Fed. de Santa Catarina, Florianapolis, Brazil

fYear

1997

fDate

1-3 Jul 1997

Firstpage

146

Lastpage

150

Abstract

This article presents a formal design of a generic platform for heterogeneous network management. A platform is defined to support management applications with the objective of solving problems associated with the distribution of processes and supplying the telecommunication carriers´ necessities related to the efficient development of management applications. Specifying this platform formally significantly contributes in the sense of providing a rigorous approach to the description and validation process, thus collaborating toward its exactness, mainly in the studies that aim at attesting the conformity between the product obtained and the description of the requirement which were considered

Keywords

formal specification; formal verification; protocols; telecommunication computing; telecommunication network management; description process; formal design; generic platform; heterogeneous network management; management applications; protocol platform; telecommunication carriers; telecommunications networks management system; validation process; Application software; Appropriate technology; Computer network management; Computer science; Formal specifications; Protocols; Resource management; Technology management; Telecommunication network management; Telecommunication standards;

fLanguage

English

Publisher

ieee

Conference_Titel

Computers and Communications, 1997. Proceedings., Second IEEE Symposium on

Conference_Location

Alexandria

Print_ISBN

0-8186-7852-6

Type

conf

DOI

10.1109/ISCC.1997.615986

Filename

615986