Integrando problem frames com aspectos

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áticaA primeira actividade do processo de desenvolvimento de software consiste na identificação das funcionalidades e propriedades que se pretendem ver implementadas nos sistemas, sendo designada por engenharia de requisitos. Nesta fase de análise de requisitos podem surgir problemas que, se não forem correctamente solucionados, irão posteriormente conduzir a um agravamento de custos num estágio mais avançado do desenvolvimento. Um exemplo disto são elementos que se encontram espalhados e repetidos por diversas componentes do sistema que se pretendem modularizar, designados por assuntos transversais (crosscutting concerns), e que afectam o seu comportamento (aspectos). Os mecanismos de Engenharia de Requisitos Orientada a Aspectos, dão suporte a que este tipo de conjunturas seja minimizado, fornecendo maneiras de lidar de forma eficaz com estes concerns. A abordagem “Problem Frames” é uma técnica de análise de requisitos bastante conhecida e estabelecida na comunidade de requisitos, composta por vários conceitos com o objectivo de reunir e especificar as funcionalidades de um problema em engenharia de software, bem como reutilizar conhecimentos relacionados a classes de problemas previamente conhecidas. No entanto, este método pode ainda tornar-se bastante mais poderoso, isto se permitir lidar com elementos transversais, através da integração de noções orientadas para aspectos

Modelação de aplicações SIG com aspectos

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia InformáticaO aparecimento da internet desempenha um papel muito importante no significativo desenvolvimento que os Sistemas de Informação Geográfica (SIG) têm tido ao longo dos últimos anos. Os SIG tornaram-se sistemas mais acessíveis e fáceis de usar, e existem actualmente várias aplicações de SIG na Web que são acedidas por milhares de utilizadores, quer para resolução de problemas de cariz geográfico ou apenas para conhecer melhor o mundo. As aplicações SIG na Web, como qualquer outro sistema de software, têm de lidar com um vasto número de concerns (funcionais e não funcionais), para além dos concerns que são comuns nos SIG (concerns espaciais), como por exemplo, análise espacial ou escala. A forma mais eficiente de tratar estes concerns que são intrinsecamente transversais (do inglês crosscutting) é através da identificação e modularização dos mesmos, utilizando as técnicas de desenvolvimento orientado a aspectos. Isto permite que uma possível evolução do sistema tenha um impacto mais localizado, facilitando a evolução do sistema como um todo. Embora a modelação comportamental de um sistema de software seja essencial para se obter um programa bem estruturado, a modelação utilizada em aplicações SIG na Web é geralmente direccionada para o tratamento de dados geográficos. Tendo em conta todos estes factores, esta dissertação tem como objectivo aplicar e adaptar uma abordagem orientada a aspectos a aplicações SIG na Web. Esta abordagem permite a modelação comportamental da aplicação através da identificação, especificação e composição de crosscutting concerns (ou aspectos). O modelo proposto por esta abordagem será construído com base em modelos apresentados por abordagens já existentes na área de desenvolvimento de software orientado a aspectos

Adaptação da abordagem theme para linhas de produtos de software

Dissertação apresentada Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia InformáticaParte da investigação na área de requisitos para Linhas de Produtos de Software (LPS) tem sido realizada de modo a estudar a forma pela qual se podem definir e estruturar artefactos de requisitos da forma mais modularizada possível. O objectivo é que esses artefactos sejam capazes de servir como base para a derivação rentável de produtos e também a fim de facilitar a sua evolução. Na especificação de LPS, a modelação de features é uma técnica chave para capturar pontos comuns e variáveis nas famílias de sistemas de linhas de produtos. Uma feature pode denotar qualquer característica funcional ou não funcional ao nível dos requisitos. Contudo, os modelos de features mostram uma perspectiva muito específica das linhas de produtos, sendo necessário ter uma abordagem que mostre outras perspectivas ao nível dos requisitos, onde a modularização se deve ter em conta. Uma das abordagens de engenharia de requisitos que endereça de forma eficiente a modularização de requisitos é a abordagem Theme, uma vez que adopta o paradigma da orientação a aspectos que se caracteriza por identificar, modelar e compor requisitos transversais,facilitando assim a evolução de sistemas. Contudo, o uso de Theme ainda não foi suficientemente explorado para descrever linhas de produtos. Os modelos de Theme, tal como outras abordagens de requisitos, oferecem uma forma natural de identificar pontos comuns e variáveis nas fases iniciais de requisitos, podendo ser combinados com o modelo de features e fornecendo uma abordagem mais expressiva para a engenharia de requisitos para LPS. Deste modo, este trabalho visa desenvolver uma abordagem que investiga como o desenvolvimento de LPS pode ser beneficiado com a integração de uma abordagem orientada a aspectos, nomeadamente a abordagem Theme

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

Uma linguagem de domínio específico para AO

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áticaA Engenharia de Requisitos Orientada a Aspectos (EROA) consiste em identificar, modularizar, especificar e compor assuntos transversais (crosscutting concerns), conhecidos como aspectos. A abordagem AORE (Aspect - Oriented Requirements Engineering) foi uma das abordagens pioneiras de EROA. É uma abordagem sistemática usada para descobrir e estruturar requisitos com base em viewpoints e aspectos. No entanto, há muito por fazer em termos de investigação sobre a AORE, como: uma representação diagramática de seus modelos (já que a representação actual é puramente textual), tornando a abordagem mais fácil de utilizar por engenheiros de software e mais fácil de se integrar em ambientes de desenvolvimento orientado a modelos; a especificação completa do seu metamodelo; e a especificação e implementação rigorosa de uma ferramenta de suporte à abordagem. Para atingir estes objectivos, este trabalho propõe a especificação de uma Linguagem de Domínio Específico (LDE) para AORE. Uma LDE tem o propósito de especificar e modelar conceitos num determinado domínio, tendo vantagens em relação às linguagens de domínio geral, tais como permitir expressar um problema na linguagem e no nível de abstracção desejados, delegando a especificação de como resolver o problema para os níveis de abstracção inferiores. Para se criar uma LDE, é necessário começar por especificar a sua sintaxe abstracta, recorrendo a um modelo denominado metamodelo. Este metamodelo expressa como se formam os modelos dessa mesma LDE (no caso, o metamodelo da AORE) e 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 diagramáticos com a notação definida. Concluindo, esta dissertação pretende de

Ontological analysis of means-end links

The i* community has raised several main dialects and dozens of variations in the definition of the i* language. Differences may be found related not just to the representation of new concepts but to the very core of the i* language. In previous work we have tackled this issue mainly from a syntactic point of view, using metamodels and syntactic-based model interoperability frameworks. In this paper, we go one step beyond and consider the use of foundational ontologies in general, and UFO in particular, as a way to clarify the meaning of core i* constructs and as the basis to propose a normative definition. We focus here on one of the most characteristics i* constructs, namely means-end links.Postprint (published version

Estudos Linguísticos e Filológicos Oferecidos a Ivo Castro

info:eu-repo/semantics/publishedVersio

Anales del XIII Congreso Argentino de Ciencias de la Computación (CACIC)

Contenido: Arquitecturas de computadoras Sistemas embebidos Arquitecturas orientadas a servicios (SOA) Redes de comunicaciones Redes heterogéneas Redes de Avanzada Redes inalámbricas Redes móviles Redes activas Administración y monitoreo de redes y servicios Calidad de Servicio (QoS, SLAs) Seguridad informática y autenticación, privacidad Infraestructura para firma digital y certificados digitales Análisis y detección de vulnerabilidades Sistemas operativos Sistemas P2P Middleware Infraestructura para grid Servicios de integración (Web Services o .Net)Red de Universidades con Carreras en Informática (RedUNCI

Anales del XIII Congreso Argentino de Ciencias de la Computación (CACIC)

Contenido: Arquitecturas de computadoras Sistemas embebidos Arquitecturas orientadas a servicios (SOA) Redes de comunicaciones Redes heterogéneas Redes de Avanzada Redes inalámbricas Redes móviles Redes activas Administración y monitoreo de redes y servicios Calidad de Servicio (QoS, SLAs) Seguridad informática y autenticación, privacidad Infraestructura para firma digital y certificados digitales Análisis y detección de vulnerabilidades Sistemas operativos Sistemas P2P Middleware Infraestructura para grid Servicios de integración (Web Services o .Net)Red de Universidades con Carreras en Informática (RedUNCI