Suporte à análise e verificação de modelos RPOO.

Página inicial
→
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
→
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
→
Mestrado em Ciência da Computação.
→
Ver item

dc.creator.ID	SANTOS, J. A. M.	pt_BR
dc.creator.Lattes	http://lattes.cnpq.br/1111360838843470	pt_BR
dc.contributor.advisor1	FIGUEIREDO, Jorge César Abrantes de.
dc.contributor.advisor1ID	FIGUEIREDO, J. C. A.	pt_BR
dc.contributor.advisor1Lattes	http://lattes.cnpq.br/1424808046858622	pt_BR
dc.contributor.advisor2	GUERRERO, Dalton Dario Serey.
dc.contributor.advisor2ID	GUERRERO, D. D. S.	pt_BR
dc.contributor.advisor2Lattes	http://lattes.cnpq.br/2050632960242405	pt_BR
dc.contributor.referee1	MACHADO , Patrícia Duarte de Lima.
dc.contributor.referee2	DOMÍNGUEZ, Arturo Hernández.
dc.description.resumo	Redes 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.country	Brasil	pt_BR
dc.publisher.department	Centro de Engenharia Elétrica e Informática - CEEI	pt_BR
dc.publisher.program	PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO	pt_BR
dc.publisher.initials	UFCG	pt_BR
dc.subject.cnpq	Ciência da Computação	pt_BR
dc.title	Suporte à análise e verificação de modelos RPOO.	pt_BR
dc.date.issued	2003-02-26
dc.description.abstract	Oriented-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.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9889
dc.date.accessioned	2019-12-05T11:27:42Z
dc.date.available	2019-12-05
dc.date.available	2019-12-05T11:27:42Z
dc.type	Dissertação	pt_BR
dc.subject	Engenharia de Software	pt_BR
dc.subject	Redes de Petri	pt_BR
dc.subject	Orientação a Objetos	pt_BR
dc.subject	Software Engineering	pt_BR
dc.subject	Petri Nets	pt_BR
dc.subject	Object Orientation	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.creator	SANTOS, José Amancio Macedo.
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	Support for analysis and verification of RPOO models.	pt_BR
dc.identifier.citation	SANTOS, 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/9889	pt_BR