É 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. / 163 f.