The case of KAO

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia InformáticaRequirements engineering aims at eliciting, analyzing, specifying, validating and managing system requirements. When eliciting system requirements, it is possible to use various approaches, including goal-oriented and aspect-oriented approaches. Although those are two well-known approaches, they are seldom used in conjunction. On the other hand, when using goal-oriented approaches, one common and usual problem is the fact that some of the goals repeat themselves all over the system. This makes goal-oriented models to have a boost in complexity because of the repeating goals, and thus, making the evolution of this model harder than necessary. This complexity could be minimized if an aspect-oriented approach would be used. The big advantage of using a hybrid approach, in our case goal-oriented and aspect-oriented one is the possibility to identify all the scattered goals and modularize them as aspects. In this way we can represent this kind of goal (now an aspect) only once in the model. This means the complexity of the model will be greatly reduced and the readability of the model will also be improved. The final result will be an evolution that could be easily controlled, thus minimizing errors. Although this seems a good idea, there are some challenges to overcome when merging goals and aspects. First of all, a notation and a set of rules must be built in order to compose the model. In order to do this we will use patterns based on roles, as these will help elaborating the model. This work will present an approach that will make possible after modeling the system with a goal-oriented approach, identify aspects and then refine the model taking into account the aspects. In order to accomplish this, the KAOS methodology will be extended with aspects

Uma linguagem de domínio específico para a framework i*

Dissertação apresentada para obtenção do Grau de Mestre em Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e TecnologiaA framework i* é uma framework orientada aos objectivos muito popular na comunidade de engenharia de requisitos, tendo começado a ser aplicada na indústria. É uma abordagem sistemática usada para descobrir e estruturar requisitos a um nível organizacional, onde requisitos não funcionais e as suas relações são especificados. No entanto ainda há muito por fazer em termos de investigação sobre este framework. Por exemplo, a definição e a relação dos seus elementos através de metamodelos continua a conter algumas ambiguidades, o que leva a que as ferramentas existentes não consigam implementar de modo eficaz todas as potencialidades disponibilizadas por esta linguagem permitindo a criação de modelos inconsistentes, assim como os modelos criados nessas ferramentas continuam a apresentar sérios problemas de gestão de escalabilidade dos mesmos. Assim um dos objectivos desta tese consiste no estudo do metamodelo do i* e das ferramentas que o implementam, com o objectivo de identificar as suas limitações. O estudo desse metamodelo vai possibilitar a resolução das referidas ambiguidades e introduzir mecanismos que permitam gerir a escalabilidade dos modelos criados, sendo a escalabilidade um problema típico quando se pretende modelar sistemas reais com uma complexidade aceitável. Para que isto se torne possível, uma Linguagem de Domínio Especifico (LDE) vai ser especificada. Uma LDE tem como propósito especificar e modelar conceitos num determinado domínio, tendo várias vantagens em relação às linguagens de domínio geral, tais como permitir expressar a solução de um problema na linguagem desejada e ao nível de abstracção desejado. Para se poder criar uma LDE com sucesso, normalmente é necessário começar por especificar a sua sintaxe recorrendo a um metamodelo que será dado como input para os workbenches da linguagem que vão gerar o editor correspondente. Com um editor apropriado para a linguagem podemos especificar modelos com a notação proposta. Esta tese pretende então desenhar e desenvolver uma LDE para a framework i*, com o propósito de gerir a complexidade e escalabilidade dos seus modelos concretos, introduzindo para esse efeito algumas inovações nesse metamodelo tais como mecanismos que ajudem a gerir a escalabilidade dos modelos produzidos

Adaptação da framework i* para linhas de produtos

Dissertação de Mestrado em Engenharia InformáticaA investigação de requisitos em linhas de produtos de software tem explorado as maneiras pelas quais se podem definir, de forma apropriada, uma plataforma capaz de servir de base para a derivação rentável dos produtos para os utilizadores individuais. Os modelos de features são uma técnica importante para capturar os pontos comuns e diferentes nas linhas de produtos. Uma feature pode representar uma característica funcional ou não-funcional de requisitos, arquitectura, ou de qualquer outro nível de abstracção do software. Contudo, os modelos de features mostram uma perspectiva muito específica das linhas de produtos, por isso é necessário ter uma abordagem que mostre outras perspectivas a nível de requisitos e dar significado a essas features de maneira a ser mais compreensível o que se pretende representar. Os paradigmas orientados a objectivos ou agentes têm sido usados para o desenvolvimento de sistemas complexos e, algumas abordagens como a framework i* têm sido desenvolvidas para serem utilizadas na engenharia de requisitos. A framework de modelação organizacional i* oferece conceitos sociais e intencionais, e os desejos dos stakeholders são considerados realmente importantes para o desenvolvimento de sistemas que satisfaçam melhor nas suas necessidades. Os modelos de objectivos fornecem um modo natural de identificar a variabilidade na fase inicial de requisitos, permitindo a captura de formas alternativas para os stakeholders alcançarem os seus objectivos. Este modo natural é muito importante para se conseguir utilizar modelos orientados a objectivos no desenvolvimento de linhas de produtos. Todavia, o uso da framework i* para linhas de produtos não foi ainda suficientemente explorado. Portanto, o objectivo desta dissertação é adaptar a framework i* para o desenvolvimento de linhas de produtos de software e fornecer uma abordagem mais expressiva para a engenharia de requisitos destes produtos

De arquitecturas organizacionais em i* para arquitecturas baseadas em agentes: uma abordagem orientada a modelos

Os requisitos dizem, normalmente, o que um sistema deve fazer, por oposição a como fazê-lo. O contexto organizacional justifica e ajuda a compreender os porquês que levam à necessidade de certos requisitos importantes para um sistema de software ser bem sucedido. As técnicas de modelação de requisitos oferecem o conhecimento que permite a análise necessária nesta fase inicial do desenvolvimento. Contudo, a maioria das técnicas de requisitos são mais adequadas para uma fase posterior do processo da engenharia de requisitos. O desenvolvimento de software orientado a agentes procura preencher esta lacuna, mas é um paradigma relativamente recente. Para a consolidação deste novo paradigma, o projecto Tropos está a desenvolver uma abordagem para o desenvolvimento orientado a Agentes que se baseia nos conceitos sociais e intencionais oferecidos pela abordagem de modelação organizacional i*. No entanto, o uso do i* não é suficientemente expressivo como uma linguagem de descrição arquitectural. Reconhecendo no UML a capacidade de actuar como linguagem de descrição arquitectural, esta dissertação especifica as transformações necessárias dos modelos arquitecturais organizacionais descritos em i*, para os modelos arquitecturais descritos no perfil de Agência do UML utilizado para modelar sistemas multi-agente, através de uma abordagem orientada a modelos