Teoria das categorias como ferramenta para modelagem de domínio

Abstract

Um dos grande gargalos no desenvolvimento de software é a comunicação, a falta de símbolos em comum entre a equipe e stakeholders, gera problemas na especificação, a fim de minimizar esse problema o Desenvolvimento dirigido a domínio propõem algumas abordagens como a criação de uma linguagem ubiquá. O objetivo geral do presente trabalho é explorar de que forma é possível utilizar Teoria das Categorias no desenvolvimento de softwares utilizando Desenvolvimento Dirigido ao Domínio, explorando a relação entre o resultado da sessão de Event Storming e Teoria das Categorias, entendendo como dá-se a relação entre Eventos e a representação dos mesmos com tipo. O trabalho faz uso de Olog e Teoria dos Processos para representar o workflow do domínio do problema. A representação gráfica é feita com o uso de Diagrama de Cordas. O trabalho descreve uma das possíveis formas de interligar os tópicos fazendo uso de Teoria das Categorias.