Formalização de Casos de Uso Textuais Baseados em Redes de Petri

Um caso de uso é uma especificação de interações envolvendo um sistema e atores externos a esse sistema. A natureza intuitiva e centrada no usuário dos casos de uso textuais é uma das razões para o sucesso da abordagem de casos de uso. No entanto, um certo nível de formalização é necessário para automatizar o desenvolvimento de sistemas baseado em casos de uso, incluindo tarefas como síntese de design, verificação e validação. Neste artigo, é proposta uma mapeamento de casos de uso textuais para um modelo formal (redes de Petri). Os casos de uso são descritos em uma forma restrita de linguagem natural. A sintaxe abstrata da língua é formalmente definida usando uma estrutura de tuplas. O mapeamento de casos de uso para redes de Petri considera as restrições de sequenciamento de casos de uso definidas a nível sintático, e fornece uma definição da semântica de execução para casos de uso.