GeraÃÃo de especificaÃÃo formal de sistemas a partir de documento de requisitos

AUTOR(ES)
DATA DE PUBLICAÇÃO

2006

RESUMO

A escrita de requisitos, dentro do processo de desenvolvimento de sistemas, està sujeita a falhas, uma vez que os requisitos sÃo escritos em Linguagem Natural, como InglÃs, que pode conter definiÃÃes ambÃguas ou de difÃcil entendimento. Por outro lado, Linguagem Natural à a opÃÃo mais simples e flexÃvel para se especificar um sistema, e à a linguagem de entendimento comum entre clientes e contratados. Desta forma, para minimizar a existÃncia de erros nos documentos de requisitos, tÃcnicas de validaÃÃo com inspeÃÃo ou revisÃo de documentos sÃo utilizadas. Entretanto, o custo de se realizar este tipo de validaÃÃo à alto e sua eficÃcia à questionÃvel; erros podem persistir. AlÃm disso, requisitos escritos usando de linguagem natural sÃo de difÃcil processamento, dificultando a geraÃÃo de outros artefatos a partir do mesmo. Esta dissertaÃÃo define uma estratÃgia que utiliza templates de especificaÃÃo de casos de use e uma Linguagem Natural Controlada (LNC) para descrever requisitos. Os templates de casos de uso asseguram a estruturaÃÃo correta do documento de requisitos e a LNC garante a exatidÃo da gramÃtica do texto que especifica o comportamento do sistema. Foram criados dois templates de casos de uso, cada um com uma visÃo diferente do sistema. A visÃo mais abstrata se chama visÃo do usuÃrio e a visÃo mais detalhada se chama visÃo de componentes. A partir dessa estruturaÃÃo dos requisitos torna-se, possÃvel definir uma estratÃgia de geraÃÃo automÃtica de uma especificaÃÃo formal da aplicaÃÃo em questÃo. A geraÃÃo automÃtica de especificaÃÃo formal de sistemas reduz custo e necessidade de mÃo de obra especializada em projetos de desenvolvimento de software. Ou seja, uma vez que à possÃvel realizar a geraÃÃo automÃtica do modelo formal de sistemas podemos fazer uso do mesmo na validaÃÃo de propriedades do sistema. AlÃm disso, artefatos como casos de teste e diagramas UML podem ser gerados a partir deste. Em particular, esta dissertaÃÃo define uma estratÃgia para gerar modelos formais na Ãlgebra de processo CSP a partir das duas visÃes de caso de uso, mantendo a consistÃncia entre os artefatos. TambÃm foi definida uma relaÃÃo de refinamento entre os modelos gerados garantindo a consistÃncia entre as visÃes. Finalmente, todo o processo foi automatizado atravÃs de ferramentas. Estas foram validadas atravÃs de experimentos realizados no contexto de aplicaÃÃo para celulares da Motorola, empresa parceira e financiadora do projeto de pesquisa com o CIn/UFPE

ASSUNTO(S)

geraÃÃo de modelos formais controlled natural language formal models refinement ciencia da computacao formal specification generation csp especificaÃÃo de caso de uso refinamento formal de sistemas use case specification linguagem natural controlada csp

ACESSO AO ARTIGO

Documentos Relacionados