A bottom up approach for modeling business process using time Petri nets

• Autor(a) principal: Ramos, Danillo Siqueira
• Data de Publicação: 2022
• Tipo de documento: Dissertação
• Idioma: eng
• Título da fonte: Repositório Institucional da UFS
• Texto Completo: https://ri.ufs.br/jspui/handle/riufs/18319
• topic: Unified modeling language (UML); Time Petri nets; System modeling; Microservices; UML; Computação; Modelos de capacitação e maturidade (Software); Redes de Petri temporais; Modelagem de software; Microserviços; CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO

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.