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

• Ano de defesa: 2000
• Autor(a) principal: MEDEIROS, Ana Karla Alves de.
• 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
• Palavras-chave em Português: Redes de Petri de Alto Nível; Métodos Formais; Orientação a Objetos; Engenharia de Software; Mecanismos de Interação; High Level Petri Nets; Formal Methods; Object Orientation; Software Engineering; Interaction Mechanisms; Ciência da Computação
• Link de acesso: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9679

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.