Detalhes bibliográficos
| Ano de defesa: |
2022 |
| Autor(a) principal: |
Ramos, Danillo Siqueira |
| Orientador(a): |
Soares, Michel dos Santos |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
eng |
| Instituição de defesa: |
Não Informado pela instituição
|
| Programa de Pós-Graduação: |
Pós-Graduação em Ciência da Computação
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Palavras-chave em Inglês: |
|
| Área do conhecimento CNPq: |
|
| Link de acesso: |
https://ri.ufs.br/jspui/handle/riufs/18319
|
Resumo: |
A UML é considerada uma linguagem de modelagem padrão de fato, oferecendo uma variedade de diagramas que fornecem aos engenheiros uma visão detalhada de vários aspectos do software modelado. Com a UML é possível modelar processos de negócios, modelos de dados, casos de uso, atividades, cenários de usos, entre outros, fornecendo um alto nível de abstração. Apesar de oferecer variados tipos de diagramas, a UML não está livre de inconsistências semânticas, ambiguidades ou notações impróprias. Tais problemas acabam criando interpretações equivocadas dos diagramas UML, as quais se tornam obstáculos na construção de um software confiável e adoção de uma arquitetura que seja adequada ao projeto. Uma forma de mitigar essas lacunas da UML é o uso de métodos formais, como as Redes de Petri, na modelagem de sistemas. Utilizar métodos formais permite, entre outras vantagens, simular o comportamento do sistema modelado e analisar suas propriedades. O uso de métodos formais auxilia na escolha de componentes arquiteturais adequados ao software, os quais atendem as suas necessidades de forma satisfatória. Nesta dissertação, o método formal usado para desenvolver os modelos são as Redes de Petri Temporais. Para modelar uma visão geral do sistema, foram elaborados modelos menores de forma a representar cada detalhe do sistema, os quais foram unidos posteriormente utilizando uma abordagem bottom-up. Para investigar qual o tipo de Rede de Petri com tempo é mais adequada e mais utilizada, um mapeamento sistemático da literatura foi realizado sobre o estado da arte sobre Redes de Petri com tempo nas últimas duas décadas (2001-2021), no qual ficou constatado que as Redes de Petri com tempo associado às transições são as mais utilizadas. Após esta investigação, um estudo de caso foi realizado para verificar o comportamento e analisar as propriedades dos modelos em Redes de Petri com tempo associados às transições em uma arquitetura de microserviços. Os Diagramas de Atividades e Diagramas de Casos de Uso do Sistema de Gerenciamento Eletrônico de Documentos foram transcritos em diagramas em Redes de Petri com tempo associado às suas transições. O sistema utiliza a arquitetura de microserviços, na qual pequenos serviços são implementados e executam uma única tarefa, se comunicando entre si por meio de mensagens assíncronas. Dos modelos transcritos, foram analisadas as propriedades e o comportamento da arquitetura de microserviços modelada em Redes de Petri Temporais foi verificado. Também foi possível observar problemas de temporização do software e identificar gargalos, o que auxiliou na escolha de componentes arquiteturais adequados ao software. |
