Formal design of a telecommunications networks management system

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