Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9679
Title: Mecanismos de interação para um modelo de redes de Petri orientado a objetos.
Other Titles: Interaction mechanisms for an object-oriented Petri net model.
???metadata.dc.creator???: MEDEIROS, Ana Karla Alves de.
???metadata.dc.contributor.advisor1???: PERKUSICH, Angelo.
???metadata.dc.contributor.referee1???: FIGUEIREDO , Jorge César Abrantes de.
???metadata.dc.contributor.referee2???: DÉHARBE, David Paul Boris.
Keywords: 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
Issue Date: 28-Aug-2000
Publisher: Universidade Federal de Campina Grande
Citation: MEDEIROS, A. K. A. de. Mecanismos de interação para um modelo de redes de Petri orientado a objetos. 2000. 92 f. Dissertação (Mestrado em Ciência da Computação) – Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2000.
???metadata.dc.description.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.
Abstract: This work presents the addition of new abstractions for interaction mechanisms between objects of Rede de Petri Orientada Objetos (RPOO). RPOO is a formal notation well suited for the specification of concurrent and distributed software systems. The added abstractions provide synchronous communication and method synchronization. The main idea is to improve the abstraction power of this notation, facilitating the software designer's task. Additionally, some hints about analyzing the new notation are given.
Keywords: 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
???metadata.dc.subject.cnpq???: Ciência da Computação
URI: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9679
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
ANA KARLA ALVES DE MEDEIROS - DISSERTAÇÃO (PPGCC) 2000.pdf1.61 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.