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. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9679 |
| ???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 | Size | Format | |
|---|---|---|---|---|
| ANA KARLA ALVES DE MEDEIROS - DISSERTAÇÃO (PPGCC) 2000.pdf | Ana Karla Alves Medeiros - dissertação (PPGCC) 2000. | 1.53 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.