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

Detalhes bibliográficos
Autor(a) principal: SANTOS, José Amancio Macedo.
Data de Publicação: 2003
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFCG
Texto Completo: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9889
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.
id UFCG_5f2d7c65aaf2c4068b91ec135d2cb2f7
oai_identifier_str oai:localhost:riufcg/9889
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str 4851
spelling Suporte à análise e verificação de modelos RPOO.Support for analysis and verification of RPOO models.Engenharia de SoftwareRedes de PetriOrientação a ObjetosSoftware EngineeringPetri NetsObject OrientationCiência da ComputaçãoRedes 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.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.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGFIGUEIREDO, Jorge César Abrantes de.FIGUEIREDO, J. C. A.http://lattes.cnpq.br/1424808046858622GUERRERO, Dalton Dario Serey.GUERRERO, D. D. S.http://lattes.cnpq.br/2050632960242405MACHADO , Patrícia Duarte de Lima.DOMÍNGUEZ, Arturo Hernández.SANTOS, José Amancio Macedo.2003-02-262019-12-05T11:27:42Z2019-12-052019-12-05T11:27:42Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9889SANTOS, 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/9889porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2022-03-22T11:57:58Zoai:localhost:riufcg/9889Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512022-03-22T11:57:58Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.none.fl_str_mv Suporte à análise e verificação de modelos RPOO.
Support for analysis and verification of RPOO models.
title Suporte à análise e verificação de modelos RPOO.
spellingShingle Suporte à análise e verificação de modelos RPOO.
SANTOS, José Amancio Macedo.
Engenharia de Software
Redes de Petri
Orientação a Objetos
Software Engineering
Petri Nets
Object Orientation
Ciência da Computação
title_short Suporte à análise e verificação de modelos RPOO.
title_full Suporte à análise e verificação de modelos RPOO.
title_fullStr Suporte à análise e verificação de modelos RPOO.
title_full_unstemmed Suporte à análise e verificação de modelos RPOO.
title_sort Suporte à análise e verificação de modelos RPOO.
author SANTOS, José Amancio Macedo.
author_facet SANTOS, José Amancio Macedo.
author_role author
dc.contributor.none.fl_str_mv FIGUEIREDO, Jorge César Abrantes de.
FIGUEIREDO, J. C. A.
http://lattes.cnpq.br/1424808046858622
GUERRERO, Dalton Dario Serey.
GUERRERO, D. D. S.
http://lattes.cnpq.br/2050632960242405
MACHADO , Patrícia Duarte de Lima.
DOMÍNGUEZ, Arturo Hernández.
dc.contributor.author.fl_str_mv SANTOS, José Amancio Macedo.
dc.subject.por.fl_str_mv Engenharia de Software
Redes de Petri
Orientação a Objetos
Software Engineering
Petri Nets
Object Orientation
Ciência da Computação
topic Engenharia de Software
Redes de Petri
Orientação a Objetos
Software Engineering
Petri Nets
Object Orientation
Ciência da Computação
description 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.
publishDate 2003
dc.date.none.fl_str_mv 2003-02-26
2019-12-05T11:27:42Z
2019-12-05
2019-12-05T11:27:42Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9889
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
url http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9889
identifier_str_mv 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
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1809744419721576448

Registros relacionados