1. Biblioteca Digital de Teses e Dissertações da UFCG
  2. Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
  3. PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
  4. Mestrado em Ciência da Computação.
Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9679
Full metadata record
DC FieldValueLanguage
dc.creator.IDMEDEIROS, A. K. A.pt_BR
dc.creator.Latteshttp://lattes.cnpq.br/2789194000664080pt_BR
dc.contributor.advisor1PERKUSICH, Angelo.-
dc.contributor.advisor1IDPerkusich, A.pt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/9439858291700830pt_BR
dc.contributor.referee1FIGUEIREDO , Jorge César Abrantes de.-
dc.contributor.referee2DÉHARBE, David Paul Boris.-
dc.description.resumoNeste 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.pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentCentro de Engenharia Elétrica e Informática - CEEIpt_BR
dc.publisher.programPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOpt_BR
dc.publisher.initialsUFCGpt_BR
dc.subject.cnpqCiência da Computaçãopt_BR
dc.titleMecanismos de interação para um modelo de redes de Petri orientado a objetos.pt_BR
dc.date.issued2000-08-28-
dc.description.abstractThis 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.pt_BR
dc.identifier.urihttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9679-
dc.date.accessioned2019-11-29T09:29:10Z-
dc.date.available2019-11-29-
dc.date.available2019-11-29T09:29:10Z-
dc.typeDissertaçãopt_BR
dc.subjectRedes de Petri de Alto Nívelpt_BR
dc.subjectMétodos Formaispt_BR
dc.subjectOrientação a Objetospt_BR
dc.subjectEngenharia de Softwarept_BR
dc.subjectMecanismos de Interaçãopt_BR
dc.subjectHigh Level Petri Netspt_BR
dc.subjectFormal Methodspt_BR
dc.subjectObject Orientationpt_BR
dc.subjectSoftware Engineeringpt_BR
dc.subjectInteraction Mechanismspt_BR
dc.rightsAcesso Abertopt_BR
dc.creatorMEDEIROS, Ana Karla Alves de.-
dc.publisherUniversidade Federal de Campina Grandept_BR
dc.languageporpt_BR
dc.title.alternativeInteraction mechanisms for an object-oriented Petri net model.pt_BR
dc.identifier.citationMEDEIROS, 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/9679pt_BR
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.pdfAna Karla Alves Medeiros - dissertação (PPGCC) 2000.1.53 MBAdobe PDFView/Open
Show simple item record


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