Formalização de entidades gerenciadas através de redes de petri orientada a objetos.
Autor(a) principal: | |
---|---|
Data de Publicação: | 1997 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da UFCG |
Texto Completo: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10222 |
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. |
id |
UFCG_74cf63b2ae3f3335cc1e8b819c276059 |
---|---|
oai_identifier_str |
oai:localhost:riufcg/10222 |
network_acronym_str |
UFCG |
network_name_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
repository_id_str |
4851 |
spelling |
Formalização de entidades gerenciadas através de redes de petri orientada a objetos.Formalization of managed entities through object-oriented petri nets.Entidades GerenciadasRedes de Petri Orientada a ObjetosG-CPNTécnica de Descrição FormalTécnicas na Definição de Objetos GerenciadosSDL (Specification and Description Language)Managed EntitiesObject Oriented Petri NetsFormal Description TechniqueTechniques in Defining Managed ObjectsEngenharia ElétricaA 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.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.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICAUFCGPERKUSICH, Angelo.FIGUEIREDO, Jorge Cesar Abrantes de.PERKUSICH, A.FIGUEIREDO, J. C. A.http://lattes.cnpq.br/9439858291700830http://lattes.cnpq.br/1424808046858622LIMA, Antonio Marcus Nogueira.MONTEIRO, José Augusto Suruagy.MARTINS, Aldenor Falcão.1997-12-292019-12-16T18:01:09Z2019-12-162019-12-16T18:01:09Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10222MARTINS, 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.porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2021-06-08T19:04:06Zoai:localhost:riufcg/10222Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512021-06-08T19:04:06Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false |
dc.title.none.fl_str_mv |
Formalização de entidades gerenciadas através de redes de petri orientada a objetos. Formalization of managed entities through object-oriented petri nets. |
title |
Formalização de entidades gerenciadas através de redes de petri orientada a objetos. |
spellingShingle |
Formalização de entidades gerenciadas através de redes de petri orientada a objetos. MARTINS, Aldenor Falcão. Entidades Gerenciadas Redes de Petri Orientada a Objetos G-CPN Técnica de Descrição Formal Técnicas na Definição de Objetos Gerenciados SDL (Specification and Description Language) Managed Entities Object Oriented Petri Nets Formal Description Technique Techniques in Defining Managed Objects Engenharia Elétrica |
title_short |
Formalização de entidades gerenciadas através de redes de petri orientada a objetos. |
title_full |
Formalização de entidades gerenciadas através de redes de petri orientada a objetos. |
title_fullStr |
Formalização de entidades gerenciadas através de redes de petri orientada a objetos. |
title_full_unstemmed |
Formalização de entidades gerenciadas através de redes de petri orientada a objetos. |
title_sort |
Formalização de entidades gerenciadas através de redes de petri orientada a objetos. |
author |
MARTINS, Aldenor Falcão. |
author_facet |
MARTINS, Aldenor Falcão. |
author_role |
author |
dc.contributor.none.fl_str_mv |
PERKUSICH, Angelo. FIGUEIREDO, Jorge Cesar Abrantes de. PERKUSICH, A. FIGUEIREDO, J. C. A. http://lattes.cnpq.br/9439858291700830 http://lattes.cnpq.br/1424808046858622 LIMA, Antonio Marcus Nogueira. MONTEIRO, José Augusto Suruagy. |
dc.contributor.author.fl_str_mv |
MARTINS, Aldenor Falcão. |
dc.subject.por.fl_str_mv |
Entidades Gerenciadas Redes de Petri Orientada a Objetos G-CPN Técnica de Descrição Formal Técnicas na Definição de Objetos Gerenciados SDL (Specification and Description Language) Managed Entities Object Oriented Petri Nets Formal Description Technique Techniques in Defining Managed Objects Engenharia Elétrica |
topic |
Entidades Gerenciadas Redes de Petri Orientada a Objetos G-CPN Técnica de Descrição Formal Técnicas na Definição de Objetos Gerenciados SDL (Specification and Description Language) Managed Entities Object Oriented Petri Nets Formal Description Technique Techniques in Defining Managed Objects Engenharia Elétrica |
description |
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. |
publishDate |
1997 |
dc.date.none.fl_str_mv |
1997-12-29 2019-12-16T18:01:09Z 2019-12-16 2019-12-16T18:01:09Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10222 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. |
url |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10222 |
identifier_str_mv |
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. |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.publisher.none.fl_str_mv |
Universidade Federal de Campina Grande Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA UFCG |
publisher.none.fl_str_mv |
Universidade Federal de Campina Grande Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA UFCG |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da UFCG instname:Universidade Federal de Campina Grande (UFCG) instacron:UFCG |
instname_str |
Universidade Federal de Campina Grande (UFCG) |
instacron_str |
UFCG |
institution |
UFCG |
reponame_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
collection |
Biblioteca Digital de Teses e Dissertações da UFCG |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG) |
repository.mail.fl_str_mv |
bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br |
_version_ |
1809744422424805376 |