Verificação de diagramas UML utilizando redes de Petri

Detalhes bibliográficos
Autor(a) principal: Vidal, Larissa Gabriela Dias
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

Registros relacionados