Mecanismos de interação para um modelo de redes de Petri orientado a objetos.

Detalhes bibliográficos
Ano de defesa: 2000
Autor(a) principal: MEDEIROS, Ana Karla Alves de.
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 CIÊNCIA DA COMPUTAÇÃO
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/9679
Resumo: Neste trabalho é apresentado o acréscimo de abstrações para mecanismos de interação entre objetos de uma Rede de Petri Orientada a Objetos (RPOO). RPOO é uma notação formal apropriada à especificação de sistemas de software paralelos e distribuídos. As abstrações adicionadas referem-se aos mecanismos de comunicação síncrona e sincronização de métodos. A idéia básica é melhorar o poder de abstração dessa notação e facilitar a tarefa do projetista de software. Como complemento, indica-se como proceder à análise da nova notação.