Dissertação

{pt_PT=RSLingo-Studio: A Tool for Rigorous Requirements Specification, Validation and Transformation } {} EVALUATED

{pt=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. , en=Any software system project entails a thoroughly performed requirements specification during its early stages of conception. With the purpose of defining and communicating requirements between all the stakeholders, the document resulting from this requirements analysis is often produced in natural language. This is a reasonable approach, given that natural language is expressive and universal. However, it is also error and ambiguity prone. Additionally, producing graphical representations of these requirements – namely, UML diagrams, and validating them against their correctness requires a significant amount of human effort. RSLingo is a Model-Driven Engineering approach that seeks to address these issues by improving the overall quality of requirements specifications. By making use of a rigorous and consistent language, we can produce system requirements specifications with significant less errors and human intervention. To further expand this approach, this work consisted of the development of the RSLingo-Studio tool, which serves the purpose of automating validation and streamlining the process of performing transformations of textual requirement specifications into different formats (MS Word or Excel) and multiple types of UML diagrams. RSLingo-Studio makes use of a rigorous Domain Specific Language (DSL) - Requirement Specification Language (RSLingo RSL) defined with the Xtext framework and takes full advantage of the power and flexibility of the Xtend programming language to achieve this goal. With the results obtained by applying RSLingo-Studio to a specific case study, we were able to prove that this tool can be a valuable asset for any Requirements Engineering (RE) related activity of a software project. }
{pt=RSLingo, Especificação de requisitos, Validação de Requisitos, Transformações, Eclipse, Xtext, en=RSLingo, Requirement Specification, Validation of Requirements, Transformations, Eclipse, Xtext}

Novembro 3, 2017, 14:30

Publicação

Obra sujeita a Direitos de Autor

Orientação

ORIENTADOR

Alberto Manuel Rodrigues da Silva

Departamento de Engenharia Informática (DEI)

Professor Associado