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/9889
Full metadata record
DC FieldValueLanguage
dc.creator.IDSANTOS, J. A. M.pt_BR
dc.creator.Latteshttp://lattes.cnpq.br/1111360838843470pt_BR
dc.contributor.advisor1FIGUEIREDO, Jorge César Abrantes de.-
dc.contributor.advisor1IDFIGUEIREDO, J. C. A.pt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/1424808046858622pt_BR
dc.contributor.advisor2GUERRERO, Dalton Dario Serey.-
dc.contributor.advisor2IDGUERRERO, D. D. S.pt_BR
dc.contributor.advisor2Latteshttp://lattes.cnpq.br/2050632960242405pt_BR
dc.contributor.referee1MACHADO , Patrícia Duarte de Lima.-
dc.contributor.referee2DOMÍNGUEZ, Arturo Hernández.-
dc.description.resumoRedes de Petri Orientadas a Objetos (RPOO) é um formalismo que integra conceitos de redes de Petri e orientação a objetos. A estratégia adotada para a integração garante a manutenção das características originais de cada um dos paradigmas. Este é um aspecto importante para o aproveitamento dos recursos obtidos com o uso das redes de Petri e da orientação a objetos. Devido às suas características, RPOO é adequado para a especificação e verificação de sistemas distribuídos de software. Contudo, embora o formalismo esteja plenamente desenvolvido, a falta de ferramentas de suporte inviabiliza o uso prático de RPOO. O problema central tratado neste trabalho é a falta de condições adequadas para a aplicação de RPOO. Mais especificamente, a falta de ferramentas de suporte para a validação e verificação de modelos. Abordamos o problema efetuando uma revisão do formalismo e construindo um sistema para a simulação de modelos. Como resultado da revisão, definimos uma linguagem de modelagem que concretiza o formalismo em termos computacionais. A definição desta linguagem, por sua vez, viabiliza a construção de ferramentas de simulação para os modelos, facilitando sua análise e aproximando o formalismo do uso prático.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.titleSuporte à análise e verificação de modelos RPOO.pt_BR
dc.date.issued2003-02-26-
dc.description.abstractOriented-Object Petri Nets (RPOO) is a formalism that integrates Petri Nets and Object- Oriented concepts. This composited strategy guarantees the preservation of the original characteristics of them both. This is an important aspect to take advantage of Petri Nets and Object-Oriented ideas. RPOO is appropriate to distributed systems verification and specification. Nevertheless, the absence of software toolsmakes the practical use of RPOO difficult. In this work, the main problem we tackle is the absence of the appropriate conditions to the practical use of RPOO. For this reason, a revision of the RPOO formalism was done and a simulation system of RPOO models was built. On the revision, we defined a concret language in order to allow the implementation of support tools. The language is the base on wich the RPOO model simulation system was built.pt_BR
dc.identifier.urihttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9889-
dc.date.accessioned2019-12-05T11:27:42Z-
dc.date.available2019-12-05-
dc.date.available2019-12-05T11:27:42Z-
dc.typeDissertaçãopt_BR
dc.subjectEngenharia de Softwarept_BR
dc.subjectRedes de Petript_BR
dc.subjectOrientação a Objetospt_BR
dc.subjectSoftware Engineeringpt_BR
dc.subjectPetri Netspt_BR
dc.subjectObject Orientationpt_BR
dc.rightsAcesso Abertopt_BR
dc.creatorSANTOS, José Amancio Macedo.-
dc.publisherUniversidade Federal de Campina Grandept_BR
dc.languageporpt_BR
dc.title.alternativeSupport for analysis and verification of RPOO models.pt_BR
dc.identifier.citationSANTOS, J. A. M. Suporte à análise e verificação de modelos RPOO. 2003. 136 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, 2003. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9889pt_BR
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
JOSÉ AMANCIO MACEDO SANTOS - DISSERTAÇÃO (PPGCC) 2003.pdfJosé Amancio Macedo Santos - Dissertação (PPGCC) 2003.844.8 kBAdobe PDFView/Open
Show simple item record


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