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

Detalhes bibliográficos
Ano de defesa: 2003
Autor(a) principal: SANTOS, José Amancio Macedo.
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: 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
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Engenharia de Software
Redes de Petri
Orientação a Objetos
Software Engineering
Petri Nets
Object Orientation
Ciência da Computação
Link de acesso: 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 UCB-2_5f2d7c65aaf2c4068b91ec135d2cb2f7
oai_identifier_str oai:localhost:riufcg/9889
network_acronym_str UCB-2
network_name_str Repositório Institucional da UCB
repository_id_str
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:Repositório Institucional da UCBinstname:Universidade Católica de Brasília (UCB)instacron:UCB2022-03-22T11:57:58Zoai:localhost:riufcg/9889Repositório InstitucionalPRIhttps://repositorio.ucb.br/oai/requestsara.ribeiro@ucb.bropendoar:2022-03-22T11:57:58Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)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:Repositório Institucional da UCB
instname:Universidade Católica de Brasília (UCB)
instacron:UCB
instname_str Universidade Católica de Brasília (UCB)
instacron_str UCB
institution UCB
reponame_str Repositório Institucional da UCB
collection Repositório Institucional da UCB
repository.name.fl_str_mv Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)
repository.mail.fl_str_mv sara.ribeiro@ucb.br
_version_ 1834013173326282752

Registros relacionados