Verificação de diagramas UML utilizando redes de Petri
Autor(a) principal: | |
---|---|
Data de Publicação: | 2023 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://hdl.handle.net/10198/28643 |
Resumo: | Mestrado de dupla diplomação com a UTFPR - Universidade Tecnológica Federal do Paraná |
id |
RCAP_27ea0aeda677d0bcb6e2a03fd6162210 |
---|---|
oai_identifier_str |
oai:bibliotecadigital.ipb.pt:10198/28643 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
Verificação de diagramas UML utilizando redes de PetriUMLRede de PetriDiagrama de sequênciaDiagrama de casos de usoDomínio/Área Científica::Ciências Sociais::Ciências da ComunicaçãoMestrado de dupla diplomação com a UTFPR - Universidade Tecnológica Federal do ParanáA modelação de software desempenha um papel importante na garantia da qualidade e confiabilidade de sistemas computacionais. Nesse contexto, a Unified Modeling Language (UML) e as redes de Petri são amplamente empregadas como ferramentas para representar e analisar sistemas complexos, visando validar a corretude dos diagramas. Este trabalho propõe a criação de regras para o mapeamento dos diagramas de casos de uso e sequência da UML 2.0 para redes de Petri seguras equivalentes. As regras são aplicadas na prática, mapeando diagramas de um artigo encontrado através de pesquisas, seguido pela análise formal das redes resultantes. Além disso, é realizado o mapeamento desses mesmos diagramas para redes de Petri coloridas com base em regras criadas por outros autores, bem como a análise formal desse mapeamento. Por fim, é realizada uma comparação entre as abordagens. Os resultados deste estudo fornecem uma base sólida para a compreensão e aprimoramento dos processos de mapeamento de diagramas da UML para redes de Petri seguras e coloridas, contribuindo para a validação e verificação eficaz de sistemas complexos de software.Software modeling has an important role in ensuring the quality and reliability of computer systems. In this context, the UML and Petri nets are usually used as tools for representing and analyzing complex systems, aiming to validate the correctness of the diagrams. This work proposes the creation of rules for mapping UML 2.0 use case and sequence diagrams to equivalent secure Petri nets. The rules are applied in practice by mapping diagrams from a research paper, followed by the formal analysis of the resulting nets. Additionally, the mapping of these same diagrams to coloured Petri nets is performed based on rules created by other authors, along with the formal analysis of this mapping. Finally, a comparison between the approaches is conducted. The results of this study provide a solid foundation for understanding and improving the mapping processes of UML diagrams to secure and coloured Petri nets, contributing to the effective validation and verification of complex software systems.Fernandes, José EduardoBenito, Franck Carlos VelezBiblioteca Digital do IPBVidal, Larissa Gabriela Dias2023-08-01T08:29:07Z20232023-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10198/28643TID:203336470porinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-21T11:02:38Zoai:bibliotecadigital.ipb.pt:10198/28643Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T23:18:38.693361Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
Verificação de diagramas UML utilizando redes de Petri |
title |
Verificação de diagramas UML utilizando redes de Petri |
spellingShingle |
Verificação de diagramas UML utilizando redes de Petri Vidal, Larissa Gabriela Dias UML Rede de Petri Diagrama de sequência Diagrama de casos de uso Domínio/Área Científica::Ciências Sociais::Ciências da Comunicação |
title_short |
Verificação de diagramas UML utilizando redes de Petri |
title_full |
Verificação de diagramas UML utilizando redes de Petri |
title_fullStr |
Verificação de diagramas UML utilizando redes de Petri |
title_full_unstemmed |
Verificação de diagramas UML utilizando redes de Petri |
title_sort |
Verificação de diagramas UML utilizando redes de Petri |
author |
Vidal, Larissa Gabriela Dias |
author_facet |
Vidal, Larissa Gabriela Dias |
author_role |
author |
dc.contributor.none.fl_str_mv |
Fernandes, José Eduardo Benito, Franck Carlos Velez Biblioteca Digital do IPB |
dc.contributor.author.fl_str_mv |
Vidal, Larissa Gabriela Dias |
dc.subject.por.fl_str_mv |
UML Rede de Petri Diagrama de sequência Diagrama de casos de uso Domínio/Área Científica::Ciências Sociais::Ciências da Comunicação |
topic |
UML Rede de Petri Diagrama de sequência Diagrama de casos de uso Domínio/Área Científica::Ciências Sociais::Ciências da Comunicação |
description |
Mestrado de dupla diplomação com a UTFPR - Universidade Tecnológica Federal do Paraná |
publishDate |
2023 |
dc.date.none.fl_str_mv |
2023-08-01T08:29:07Z 2023 2023-01-01T00:00:00Z |
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://hdl.handle.net/10198/28643 TID:203336470 |
url |
http://hdl.handle.net/10198/28643 |
identifier_str_mv |
TID:203336470 |
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.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799135482507952128 |