Publication
Verificação de diagramas UML utilizando redes de Petri
| datacite.subject.fos | Ciências Sociais::Ciências da Comunicação | pt_PT |
| dc.contributor.advisor | Fernandes, José Eduardo | |
| dc.contributor.advisor | Benito, Franck Carlos Velez | |
| dc.contributor.author | Vidal, Larissa Gabriela Dias | |
| dc.date.accessioned | 2023-08-01T08:29:07Z | |
| dc.date.available | 2023-08-01T08:29:07Z | |
| dc.date.issued | 2023 | |
| dc.description | Mestrado de dupla diplomação com a UTFPR - Universidade Tecnológica Federal do Paraná | pt_PT |
| dc.description.abstract | 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. | pt_PT |
| dc.description.abstract | 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. | pt_PT |
| dc.identifier.tid | 203336470 | pt_PT |
| dc.identifier.uri | http://hdl.handle.net/10198/28643 | |
| dc.language.iso | por | pt_PT |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc/4.0/ | pt_PT |
| dc.subject | UML | pt_PT |
| dc.subject | Rede de Petri | pt_PT |
| dc.subject | Diagrama de sequência | pt_PT |
| dc.subject | Diagrama de casos de uso | pt_PT |
| dc.title | Verificação de diagramas UML utilizando redes de Petri | pt_PT |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | masterThesis | pt_PT |
| thesis.degree.name | Informática | pt_PT |