Suporte á análise de compatibilidade comportamental e estrutural entre componentes no ambiente SEA

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da ComputaçãoA utilização de componentes para o desenvolvimento de sistemas é uma abordagem que promove o reuso, tanto de código quanto de projeto, em um alto nível de abstração. Mas para que o reuso seja vantajoso, isto é, exija menos esforço que o desenvolvimento de um novo artefato de software, então o componente deve ser descrito de forma que, com o mínimo esforço, sua compatibilidade com os outros componentes possa ser avaliada. Com esta avaliação, poderá ser tomada a decisão sobre seu uso como está, em caso de constatação da compatibilidade ou, no caso de incompatibilidade, decidir sobre compatibilização ou abandono. Este trabalho trata formas de automatizar a análise de compatibilidade estrutural e comportamental entre componentes, durante o processo de especificação de projeto. A idéia é modelar uma arquitetura de componentes, para que se possa visualizar suas conexões, e com isto poder fazer as análises necessárias para garantir a compatibilidade e o perfeito funcionamento desta arquitetura. Na implementação foi utilizado o ambiente de desenvolvimento SEA, produzido sob o framework OCEAN. Eles permitem que especificações e ferramentas possam ser desenvolvidas e que trabalhem integradas. Para a verificação de compatibilidade estrutural são levantados os tipos de incompatibilidade e as soluções permitidas dentro do universo de possibilidades da arquitetura da especificação que se quer verificar. Redes de Petri ordinárias são utilizadas para que as análises de suas propriedades e suas interpretações, para o contexto de componentes, possa permitir a automação da verificação de compatibilidade comportamental. Ferramentas para as análises estruturais e comportamentais foram desenvolvidas e estão integradas ao ambiente SEA, fazendo a leitura de informações contidas nas especificações da estrutura de componentes. Com as informações da estrutura de componentes e as análises necessárias levantadas neste trabalho é feita a verificação automatizada da compatibilidade entre os componentes. Caso haja alguma incompatibilidade, possíveis soluções são propostas, ficando a cargo do desenvolvedor escolher, dentre elas, a melhor solução