Reestruturando Especificações de Restrições de Modelos Elaboradas em OCL

A OCL (Object Constraint Language) é uma linguagem que pode ser utilizada para especificar, de forma precisa, elementos que as notações gráficas da UML não são capazes de representar, como, por exemplo, restrições, expressões associadas a atributos derivados, expressões de consulta e definições contratuais de operações. Embora a OCL tenha sido definida com o objetivo de ser uma linguagem de uso mais fácil, se comparada às linguagens formais tradicionais, especificações produzidas com a OCL podem apresentar problemas de legibilidade e manutenibilidade.

A partir de um estudo realizado em diversas especificações, identificamos e catalogamos construções potencialmente problemáticas ao entendimento e à manutenção de especificações que empreguem a OCL. Um conjunto de reestruturações foi proposto com o objetivo de apoiar a substituição dessas construções por outras mais adequadas. Um estudo experimental foi realizado para avaliar a viabilidade de aplicação destes conceitos. Em particular, foi feita uma avaliação preliminar de como a compreensão de restrições especificadas em OCL pode ser afetada pela estrutura das expressões que a compõem. Finalmente, este trabalho propõe uma abordagem e um software para apoiar a automação de reestruturações e a verificação da preservação da semântica do modelo no caso de reestruturações realizadas manualmente.