FenixEdu™

Dissertação

RSLingo-Studio: A Tool for Rigorous Requirements Specification, Validation and Transformation EVALUATED

Detalhes: Qualquer projeto de software implica uma rigorosa especificação de requisitos durante a sua fase inicial de conceção. Com o propósito de definir e partilhar os requisitos entre todos os stakeholders, o documento resultante desta análise de requisitos é frequentemente produzido numa linguagem natural. Esta é uma abordagem razoável, uma vez que a língua natural é expressiva e universal. No entanto, também é propícia a erros e ambiguidade. Além disso, produzir representações gráficas destes requisitos, nomeadamente, diagramas UML, e validá-los quanto à sua precisão são tarefas que requerem um esforço humano significativo. O RSLingo é uma abordagem de Model-Driven Engineering que procura abordar estes problemas ao melhorar a qualidade global das especificações de requisitos. Fazendo uso de uma linguagem rigorosa e consistente, é possível produzir especificações de requisitos de sistemas com menor quantidade de erros e de intervenção humana. Com o objetivo de consolidar esta abordagem, este trabalho consistiu no desenvolvimento da ferramenta RSLingo-Studio, com o propósito de automatizar a validação e tornar fluído o realizar de transformações das especificações em diferentes formatos e tipos de diagramas UML. Para este fim, recorre à Requirement Specification Language (RSL), definida com a framework Xtext e tira proveito da expressividade e flexibilidade da linguagem de programação Xtend para a implementação destas transformações. Com os resultados obtidos por via desta abordagem e da utilização do RSLingo-Studio aplicado a um caso de estudo específico, pudemos comprovar que esta ferramenta pode ser considerada uma mais-valia nas diferentes atividades da engenharia de requisitos de um projeto de software.
Keywords: RSLingo, Especificação de requisitos, Validação de Requisitos, Transformações, Eclipse, Xtext

Discussão: novembro 3, 2017, 14:30