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

Detalhes bibliográficos
Autor(a) principal: MARTINS, Aldenor Falcão.
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

Registros relacionados