Infraestrutura baseada em componentes para o desenvolvimento de software com suporte à evolução dinâmica não antecipada.

• Autor(a) principal: ALMEIDA, Hyggo Oliveira de.
• Data de Publicação: 2007
• Tipo de documento: Tese
• Idioma: por
• Título da fonte: Biblioteca Digital de Teses e Dissertações da UFCG
• Texto Completo: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2462
• topic: Desenvolvimento de Software; Evolução Dinâmica Não Antecipada - Software; Engenharia de Software; Evolução de Software; Engenharia de Sistemas de Software; Infraestrutura de Software; Análise de Desempenho de Aplicações; Método Formal Alloy; Software Engineering; Software Infrastructure; Software Development; Engenharia de Software.; Engenharia Elétrica.

As atividades relacionadas à evolução têm sido apontadas como fatores de grande impacto sobre o custo e o tempo inerentes ao processo de engenharia de sistemas de software. O impacto causado por tais atividades de evolução é maior quando as mudanças de requisitos a serem contempladas em um software existente não são previstas, ou antecipadas, durante o projeto inicial do sistema. Este tipo de evolução torna-se ainda mais complexo em determinados domínios de aplicação, nos quais, por razões financeiras ou de segurança, a evolução deve ser realizada dinamicamente, ou seja, sem que a execução do software seja interrompida. Neste trabalho apresenta-se uma infra-estrutura para o desenvolvimento de software com suporte à evolução dinâmica não antecipada. Mais especificamente, introduz-se um modelo de composição de componentes, arcabouços e um conjunto de ferramentas que permitem o desenvolvimento de software com suporte a mudanças não previstas nos seus requisitos iniciais. Apresenta-se um arcabouço genérico para a implementação da especificação de componentes, assim como, a implementação deste arcabouço nas linguagens Java, Python, C++ e C Sharp, e a extensão deste arcabouço para a construção de aplicações corporativas. Propõe-se também um modelo para análise de desempenho de aplicações desenvolvidas utilizando a infra-estrutura. As ferramentas desenvolvidas para o suporte ao desenvolvimento de componentes e composição, análise de desempenho e execução de aplicações também são descritas. Apresenta-se também a utilização do método formal Alloy na definição de um mecanismo que possibilita que o desenvolvedor verifique se um dado cenário de evolução não antecipada satisfaz a corretude da especificação formal do sistema. Para guiar o desenvolvedor na utilização da infra-estrutura, descreve-se um processo de desenvolvimento de software com suporte à evolução dinâmica não antecipada. Por fim, a validação do trabalho foi realizada através do desenvolvimento de várias aplicações nos contextos de computação pervasiva, sistemas multi-agentes e comunidades virtuais móveis.