Mapeando Cenário & LEL para o modelo Statechart: Uma Estratégia para Verificação da Especificação de Requisitos

Resumo

A fase de especificação de requisitos de software (SRS) é fundamental no processo de desenvolvimento de software. O uso de cenários é bastante popular para especificar requisitos e, normalmente, são descritos em linguagem natural (LN), dando margem a requisitos ambíguos, incompletos e inconsistentes. Esses problemas são preocupantes, pois as especificações em LN podem prejudicar a qualidade final do software. Nesse sentido, uma técnica baseada em Cenário & LEL (Language Extended Lexicon) - C&L - pode ser a solução adequada para reduzir esses problemas, pois é uma técnica de cenários controlada pelo LEL, que por sua vez é um glossário que define um conjunto de palavras que pertencem a um domínio. Apesar de C&L ser uma LN controlada, ela não garante a completude e consistência dos requisitos. Surge a necessidade de verificar essas especificações por meio de um mapeamento para uma linguagem mais formal. O presente trabalho propõe um mapeamento de C&L para o modelo de statechart com o objetivo de verificar a completude e consistência dos requisitos especificados nos cenários.