Modelagem e simulação de uma solução de integração para identificação de gargalos de desempenho baseadas em formalismo matemático: uma abordagem orientada à Cadeias De Markov

Detalhes bibliográficos
Ano de defesa: 2016
Autor(a) principal: Horn, Márcia Maria
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: http://bibliodigital.unijui.edu.br:8080/xmlui/handle/123456789/3673
Resumo: É de senso comum que, para auxiliar seus processos de negócios, as empresas utilizam heterogêneas aplicações de software, em sua maioria, compostas de sistemas legados, pacotes de softwares adquiridos de terceiros ou sistemas desenvolvidos por sua própria equipe de programadores como solução para um problema específico. Neste aspecto, percebe-se que no momento que surge a demanda pela comunicação e interação entre tais aplicações, as soluções tornam-se adaptações, acarretando mais complexidade ao problema, insegurança, além de elevados custos de implantação e manutenção. Neste cenário, a área de integração de aplicações empresárias tornou-se fundamental para a gestão da informação, pois proporciona metodologias e ferramentas para projetar e implementar soluções de integração, sem afetar a estrutura de dados e aplicações existentes. Seu desenvolvimento seguem processos da área da engenharia de software, tipicamente incluem as fazes de especificação, projeto, implementação, teste e evolução. A tecnologia Guaraná é ferramenta que proporciona o desenvolvimento de soluções de integração possibilitando projetar soluções em um alto nível de abstração, utilizando uma sintaxe concreta gráfica e muito intuitiva. Este trabalho propõe analisar o comportamento e identificar gargalos de desempenho em soluções de integração de aplicações por meio do desenvolvimento de um modelo formal de simulação baseado em Cadeias de Markov. Utiliza-se, como estudo de caso, um sistema de gerenciamento de telefonemas pessoais implementado na Unijuí e desenvolvido pela tecnologia Guaraná. Os resultados experimentais demonstraram que é possível avaliar a qualidade de uma solução de integração ainda na fase de projeto, sem a necessidade de implementa-la. O modelo de simulação proposto foi validado por meio de técnicas de verificação formal.