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

Detalhes bibliográficos
Ano de defesa: 1997
Autor(a) principal: MARTINS, Aldenor Falcão.
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituiçã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
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: 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.