Formalização de entidades gerenciadas através de redes de petri orientada a objetos.

Abstract

With the growth in corporate networks, the difficulty for resource management increases in the same pace. Considering the heterogeneous nature of actual network systems, standards to unify the management of these networks are becoming more important. The managed resources are usually described based on a natural language without any mathematical basis. Such definitions will suffer from ambiguities due to misinterpretations, leading to errors in the description of the managed resources. It is the aim of this work to try to demonstrate the applicability of the formal definition of managed entities, by means of a class of object oriented Petri net, named G-CPN. In order to shown the modeling power of G-CPN we also apply another formal technique, SDL (Specification and Description Language), to the modeling of managed objects and discuss the advantages and disadvantages of each one of the mentioned formal methods.