MARTINS, A. F.; http://lattes.cnpq.br/9389166627228023; MARTINS, Aldenor Falcão.
Resumo:
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.