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

• Ano de defesa: 1997
• Autor(a) principal: MARTINS, Aldenor Falcão.
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Campina Grande; Brasil; Centro de Engenharia Elétrica e Informática - CEEI; PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA; UFCG
• Palavras-chave em Português: 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
• Link de acesso: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10222

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.