Portal InstitucionalUFPEL

01/09/2012 - 01/09/2016

Ciências Exatas e da Terra - Ciência da Computação

Sistemas de software tornaram-se essenciais em diversos setores. Assim, garantir que esses sistemas são corretos, é primordial. Este projeto trata dois aspectos: correção e flexibilidade. Estes aspectos são essenciais para que o software produzido seja confiável e adaptável ao ambiente complexo das aplicações. A garantia da qualidade destes aspectos está intrinsecamente ligada à atividade de verificação, a qual visa a garantir que o software produzido segue a especificação definida. Apesar de geralmente haver uma etapa específica para verificar a correção esta atividade deveria ser desempenhada ao longo de todo o ciclo de vida do software. A correção do software depende da sua flexibilidade para se adaptar a mudanças. O uso de modelos abstratos tem sido apontado como o mecanismo ideal para tratar a complexidade do software e facilitar sua evolução. Porém, a integração desses modelos com técnicas de verificação ainda é limitada. Todos os modelos de um sistema devem ser consistentes para que se possa garantir que os resultados de uma verificação realizada no nível de especificação são válidos para o código gerado. Porém, um dos grandes desafios da Engenharia de Software é como administrar mudanças mantendo a qualidade do software. Uma das abordagens para tratar mudanças reusando projeto de software é a Engenharia de Software Guiada por Modelos. Existem várias abordagens que usam gramáticas de grafos para descrever tipos diferentes de transformações de modelos. Esta área oferece vários resultados para análise desse tipo de transformação e verificação, portanto, parece adequada para servir de embasamento formal para este projeto.