dc.creator.ID |
MARTINS, A. F. |
pt_BR |
dc.creator.Lattes |
http://lattes.cnpq.br/9389166627228023 |
pt_BR |
dc.contributor.advisor1 |
PERKUSICH, Angelo. |
|
dc.contributor.advisor1 |
FIGUEIREDO, Jorge Cesar Abrantes de. |
|
dc.contributor.advisor1ID |
PERKUSICH, A. |
pt_BR |
dc.contributor.advisor1ID |
FIGUEIREDO, J. C. A. |
|
dc.contributor.advisor1Lattes |
http://lattes.cnpq.br/9439858291700830 |
pt_BR |
dc.contributor.advisor1Lattes |
http://lattes.cnpq.br/1424808046858622 |
|
dc.contributor.referee1 |
LIMA, Antonio Marcus Nogueira. |
|
dc.contributor.referee2 |
MONTEIRO, José Augusto Suruagy. |
|
dc.description.resumo |
A medida que a estrutura de redes corporativas cresce, a dificuldade de gerir os
recursos disponíveis cresce na mesma proporção. No panorama atual de completa heterogeneidade, busca-se padrões que permitam unificar a gerencia de redes diversas, usualmente as definições dos recursos que são gerenciados são escritas numa linguagem natural sem nenhum rigor matemático. Tais definições fatalmente incorrem em ambiguidades de interpretação, podendo implicar em erros na própria descrição destes objetos gerenciados. Este trabalho tenta demonstrar a viabilidade de definir tais entidades gerenciadas de maneira formal, através de um classe de Redes de Petri orientada a objetos, denominada de G-CPN. A fim de demonstrar o poder de G-CPN iremos confrontá-la com uma técnica de descrição formal amplamente utilizada na industria, SDL (Specification and Description Language), enfatizando as qualidades e deficiências de cada uma dessas técnicas na definição de Objetos Gerenciados. |
pt_BR |
dc.publisher.country |
Brasil |
pt_BR |
dc.publisher.department |
Centro de Engenharia Elétrica e Informática - CEEI |
pt_BR |
dc.publisher.program |
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA |
pt_BR |
dc.publisher.initials |
UFCG |
pt_BR |
dc.subject.cnpq |
Engenharia Elétrica |
|
dc.title |
Formalização de entidades gerenciadas através de redes de petri orientada a objetos. |
pt_BR |
dc.date.issued |
1997-12-29 |
|
dc.description.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. |
pt_BR |
dc.identifier.uri |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10222 |
|
dc.date.accessioned |
2019-12-16T18:01:09Z |
|
dc.date.available |
2019-12-16 |
|
dc.date.available |
2019-12-16T18:01:09Z |
|
dc.type |
Dissertação |
pt_BR |
dc.subject |
Entidades Gerenciadas |
|
dc.subject |
Redes de Petri Orientada a Objetos |
|
dc.subject |
G-CPN |
|
dc.subject |
Técnica de Descrição Formal |
|
dc.subject |
Técnicas na Definição de Objetos Gerenciados |
|
dc.subject |
SDL (Specification and Description Language) |
|
dc.subject |
Managed Entities |
|
dc.subject |
Object Oriented Petri Nets |
|
dc.subject |
Formal Description Technique |
|
dc.subject |
Techniques in Defining Managed Objects |
|
dc.rights |
Acesso Aberto |
pt_BR |
dc.creator |
MARTINS, Aldenor Falcão. |
|
dc.publisher |
Universidade Federal de Campina Grande |
pt_BR |
dc.language |
por |
pt_BR |
dc.title.alternative |
Formalization of managed entities through object-oriented petri nets. |
pt_BR |
dc.identifier.citation |
MARTINS, Aldenor Falcão. Formalização de entidades gerenciadas através de redes de petri orientada a objetos. 1997. 163f. (Dissertação de Mestrado em Engenharia Elétrica), Programa de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática , Universidade Federal de Campina Grande – Paraíba Brasil, 1997. |
pt_BR |