Submitted by Irene Nascimento (irene.kessia@ufpe.br) on 2015-03-06T19:38:17Z No. of bitstreams: 2 DISSERTACAO_DIGITAL_ALMIR_BUARQUE_FEV_2012.pdf: 7439176 bytes, checksum: 3b4db72fb5cc5f5cf69bc769fc7dc50e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-06T19:38:17Z (GMT). No. of bitstreams: 2 DISSERTACAO_DIGITAL_ALMIR_BUARQUE_FEV_2012.pdf: 7439176 bytes, checksum: 3b4db72fb5cc5f5cf69bc769fc7dc50e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-02-27 / Nos últimos anos, o paradigma de desenvolvimento de software dirigido a modelos tem se consolidado e ganho popularidade. Desta forma, um produto de software pode ser obtido através de transformações dos modelos de mais alto nível de abstração para os de mais baixo nível, sendo essa transformação guiada por metamodelos. Por exemplo, requisitos iniciais de um sistema de software podem ser transformados em modelos conceituais deste sistema. Observamos que, tanto a abordagem de modelagem de requisitos i* (iStar) como a linguagem de modelagem conceitual OO-Method (OO-M), têm ganho notoriedade no âmbito acadêmico e industrial. Nesta dissertação, estamos interessados em transformar modelos de requisitos iniciais, descritos em i*, em modelos conceituais especificados em OO-Method. Em particular, investigaremos como os requisitos não-funcionais (NFR) de produto, relacionados a softgoals internos a um ator sistema do i*, poderão ser analisados nas abordagens que transformam modelos de requisitos i* em modelos conceituais descritos em OO-Method. Erros e omissões dos requisitos não-funcionais têm impacto bastante negativo na qualidade do produto final: custos elevados de correção pós-implantação e inviabilização do projeto de software. Esses requisitos estão entre os mais caros e difíceis de corrigir. Nesta dissertação, é apresentada a proposta OOM-NFR, que analisa os softgoals internos a um ator sistema em modelos i* para verificar conflitos, prioridades e satisfação dos mesmos. Além disso, com base nos metamodelos i* de origem e OO-Method de destino, a proposta especifica um processo de transformação contendo regras que convertem uma instância de um modelo i* em outra instância do modelo OO-Method. Com o processo OOM-NFR, o modelo OO-M gerado reflete as prioridades dos softgoals especificados em i*. Para ilustrar e validar a proposta, foi concebido um exemplo de uma aplicação baseada num sistema real, utilizando-se a linguagem de transformação de modelos Query/View/Transformation (QVT) para automatizar e implementar essas transformações.

Submitted by Isaac Francisco de Souza Dias (isaac.souzadias@ufpe.br) on 2015-05-15T18:23:09Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) MASTER THESIS VERSAO BIBLIOTECA.pdf: 2607756 bytes, checksum: f3fc68e302dd5e0adcd2e9c5c95d61fe (MD5) / Made available in DSpace on 2015-05-15T18:23:09Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) MASTER THESIS VERSAO BIBLIOTECA.pdf: 2607756 bytes, checksum: f3fc68e302dd5e0adcd2e9c5c95d61fe (MD5) Previous issue date: 2009-09-02 / A Engenharia de requisitos tem sido amplamente reconhecida como um fator crítico de sucesso de projetos de Software. Se não forem devidamente elicitados, os requisitos podem levar o projeto ao fracasso. A elicitação equivocada dos requisitos pode estar relacionada com a falta de compreensão do negócio pelo analista de sistemas, a falta entendimento dos objetivos do sistema, bem como a falta de comunicação entre analistas de negócio e analistas de sistema. A existência de uma lacuna entre os domínios do negócio e da computação podem causar desequilíbrios entre o que os usuários finais precisam e o que os analistas de sistema desenvolvem. Uma das razões para o problema de comunicação é que os modelos de requisitos utilizados para interagir com os usuários finais podem ser difíceis de serem compreendidos e validados em função da alta complexidade das notações. Além disso, os erros provocados por não lidar com requisitos, especialmente os não-funcionais, convenientemente são apontados como os mais caros e difíceis de corrigir. O problema tratado nesta dissertação é a integração dos requisitos não-funcionais aos modelos de processos de negócio, através de notações intuitivas para todos os usuários envolvidos no processo. Para isso, uma pesquisa baseada em análise de requisitos não-funcionais e modelagem de processos de negócio é apresentada. Portanto, propomos uma abordagem para inserir os requisitos não-funcionais na notação Business Process Modeling Notation (BPMN). A abordagem utiliza catálogos para requisitos não-funcionais, descritos na notação Non-Functional Requirement (NFR), que orientam a descoberta das suas operacionalizações. Esta abordagem é validada com um estudo de caso real.

Made available in DSpace on 2014-06-12T16:00:45Z (GMT). No. of bitstreams: 2 arquivo6946_1.pdf: 2936868 bytes, checksum: 385f753c6b8c624fde65aed76f1ebf6a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Os conceitos de SOA (Service Oriented Architecture) e composição de serviços estão cada vez mais presentes nas soluções de softwares. A composição de serviços permite que serviços sejam criados a partir da utilização de outros serviços e disponibilizados por terceiros. Neste contexto, a especificação requisitos não funcionais relacionados aos serviços de uma composição e a busca de serviços que atendam esses requisitos é essencial tanto para o rápido desenvolvimento de uma composição quanto para que o arquiteto de soluções tenha uma maior confiabilidade dos serviços que ele utiliza. Projetar, implantar e executar composição de serviços e os seus requisitos não funcionais associados são atividades naturalmente complexas. Isso ocorre porque estas atividades normalmente envolvem múltiplas partes interessadas, incluindo especialistas no domínio de negócio, especialistas nos requisitos não funcionais, desenvolvedores de serviços e equipe de TI. Além disto, enquanto ambientes de modelagem de processos de negócio são comuns, não há nenhum ambiente de desenvolvimento de um processo de negócio que inclua aspectos não funcionais. Este trabalho propõe uma ferramenta de modelagem de composição de serviços em BPMN (Business Process Modeling Notation) com anotações de requisitos não funcionais. A principal contribuição deste trabalho é o desenvolvimento de um ambiente, chamado Sec-MoSC Editor (Security for Model-oriented Service Composition Editor), onde processos de negócios com anotações de requisitos não funcionais são especificados. O Sec-MoSC Editor é também responsável por gerar um artefato com todas as anotações (serviços e aspectos não funcionais) utilizado como base para geração de código executável da composição

Submitted by Pedro Henrique Rodrigues (pedro.henriquer@ufpe.br) on 2015-03-04T17:08:03Z No. of bitstreams: 2 DISSERTACAO_DIGITAL_ALMIR_BUARQUE_FEV_2012.pdf: 7439176 bytes, checksum: 3b4db72fb5cc5f5cf69bc769fc7dc50e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-04T17:08:03Z (GMT). No. of bitstreams: 2 DISSERTACAO_DIGITAL_ALMIR_BUARQUE_FEV_2012.pdf: 7439176 bytes, checksum: 3b4db72fb5cc5f5cf69bc769fc7dc50e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-02-27 / SERPRO / Nos últimos anos, o paradigma de desenvolvimento de software dirigido a modelos tem se consolidado e ganho popularidade. Desta forma, um produto de software pode ser obtido através de transformações dos modelos de mais alto nível de abstração para os de mais baixo nível, sendo essa transformação guiada por metamodelos. Por exemplo, requisitos iniciais de um sistema de software podem ser transformados em modelos conceituais deste sistema. Observamos que, tanto a abordagem de modelagem de requisitos i* (iStar) como a linguagem de modelagem conceitual OO-Method (OO-M), têm ganho notoriedade no âmbito acadêmico e industrial. Nesta dissertação, estamos interessados em transformar modelos de requisitos iniciais, descritos em i*, em modelos conceituais especificados em OO-Method. Em particular, investigaremos como os requisitos não-funcionais (NFR) de produto, relacionados a softgoals internos a um ator sistema do i*, poderão ser analisados nas abordagens que transformam modelos de requisitos i* em modelos conceituais descritos em OO-Method. Erros e omissões dos requisitos não-funcionais têm impacto bastante negativo na qualidade do produto final: custos elevados de correção pós-implantação e inviabilização do projeto de software. Esses requisitos estão entre os mais caros e difíceis de corrigir. Nesta dissertação, é apresentada a proposta OOM-NFR, que analisa os softgoals internos a um ator sistema em modelos i* para verificar conflitos, prioridades e satisfação dos mesmos. Além disso, com base nos metamodelos i* de origem e OO-Method de destino, a proposta especifica um processo de transformação contendo regras que convertem uma instância de um modelo i* em outra instância do modelo OO-Method. Com o processo OOM-NFR, o modelo OO-M gerado reflete as prioridades dos softgoals especificados em i*. Para ilustrar e validar a proposta, foi concebido um exemplo de uma aplicação baseada num sistema real, utilizando-se a linguagem de transformação de modelos Query/View/Transformation (QVT) para automatizar e implementar essas transformações.

Made available in DSpace on 2016-12-12T20:22:51Z (GMT). No. of bitstreams: 1 MARCELA LEITE.pdf: 8156863 bytes, checksum: 678c8b87d0e5cb9954f9b90176517400 (MD5) Previous issue date: 2014-03-21 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work proposes a design approach for FPGA-based embedded system. Such an approach integrates concepts and techniques from Model Driven Engineering and Aspect Oriented Software Development approaches, in order to systematize and automate the design process. AOSD concepts are used to handle non-functional requirements in FPGA-based embedded system development, in conjunction with a set of metrics to control the project constraints. A subset of relevant non-functional requirements for FPGA-based embedded system, as well as a set of metrics to evaluate these requirements, have been identified through a survey of literature. This subset of non-functional requirements composes an aspect-oriented framework for the FPGA platform, including aspects and their implementation in VHDL. In this sense, new aspects have been included in the Distributed Real-time Aspects Framework (DERAF). Moreover, to support the proposed approach, a code generation tool was enhanced to enable the generation of VHDL descriptions from UML models. A set of mapping rules have been defined to perform this UML-to- VHDL transformation. In order to validate the proposed approach, three case studies have been performed. The obtained results demonstrate the feasibility of combining AOSD and MDE in order to handle non-functional requirements in the design of systems through hardware description languages, such as VHDL. In addition, the modularization achieved by using AOSD affects positively the final embedded system, improving the overall system performance, as well as it contributes to the fulfillment of system requirements, time-to-market, reusability and manutenability of design artifacts, such as models and component descriptions. / Este trabalho apresenta uma abordagem de desenvolvimento de sistemas embarcados implementados em FPGA, que agrega técnicas de MDE e AOSD com o objetivo de sistematizar e automatizar o processo de desenvolvimento. Propõe-se o tratamento e gerenciamento dos requisitos não funcionais para sistemas embarcados desenvolvidos na plataforma FPGA, com o uso do paradigma orientado a aspectos e de métricas que possibilitem o controle no cumprimento das restrições do projeto. Para tanto, a geração do código VHDL a partir do modelo especificado na UML foi implementada neste trabalho. Para essa transformação, um conjunto de regras de mapeamento dos elementos da UML para VHDL foi criado. A partir da análise da literatura foi detalhado um conjunto de requisitos não funcionais para projetos implementados em FPGA, que constituem o framework de aspectos para essa plataforma. Novos aspectos foram incluídos no DERAF e implementadas regras de mapeamento para esses. Foram desenvolvidos três estudos de caso utilizando a abordagem e o conjunto de regras de mapeamento criado, nos quais foram implementados três aspectos que tratam requisitos não funcionais dessas aplicações. Com as regras de mapeamento implementadas, foi possível a geração completa do código VHDL, funcional e sintetizável. O uso das métricas identificadas permitiu uma avaliação mais precisa da eficácia da utilização da abordagem proposta. Os resultados encontrados, mostram que a utilização da orientação a aspectos para o tratamento de requisitos não funcionais na descrição de hardware em VHDL, melhora o desempenho do sistema, tem alto impacto sobre o sistema final e contribui para o atendimento de requisitos de projeto como time-to-market, reusabilidade e manutenabilidade

Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-10T19:13:26Z No. of bitstreams: 2 DISSERTAÇÃO Tarcísio Couto Pereira.pdf: 2103982 bytes, checksum: df4254a236a805949d9c999329dba52d (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Approved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-10T19:43:10Z (GMT) No. of bitstreams: 2 DISSERTAÇÃO Tarcísio Couto Pereira.pdf: 2103982 bytes, checksum: df4254a236a805949d9c999329dba52d (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-10T19:43:10Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Tarcísio Couto Pereira.pdf: 2103982 bytes, checksum: df4254a236a805949d9c999329dba52d (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014-02-24 / Os processos estão se tornando cada vez mais complexos e heterogêneos, inseridos em ambientes onde as mudanças são constantes, sendo influenciados por fatores geográficos, climáticos, dentre outros. As empresas precisam manter seus processos atualizados e funcionando adequadamente, sem desprezar os requisitos de qualidade. Baseado neste cenário, foi proposto na literatura uma abordagem de configuração de processos chamada BVCCoN. Esta abordagem possui como objetivo oferecer suporte a configuração de processos baseada em NFRs e informações contextuais. A abordagem possui três perspectivas na configuração de processo de negócio: a descrição de variabilidade, os requisitos não-funcionais e o contexto. Durante as etapas desta abordagem, é necessário realizar a modelagem destas três perspectivas. Contudo, modelar as três perspectivas é uma atividade que requer tempo e que está propensa a erros. Assim, esta dissertação propõe o desenvolvimento de uma ferramenta que apoia a modelagem dos requisitos não-funcionais, da variabilidade e das regras de contexto. Para construir a ferramenta, foi realizada a integração de três metamodelos, com algumas alterações, sendo cada um referente a uma perspectiva da abordagem BVCCoN. Além disso, foi utilizado o framework Epsilon e seu conjunto de linguagens integrado no ambiente Eclipse para o desenvolvimento da ferramenta. Para ilustrar a utilização da ferramenta, foi realizado um estudo de caso em um cenário de check-in em aeroporto, bem como uma avaliação de usabilidade com potenciais usuários, visando avaliar os seguintes fatores: satisfação geral, utilidade do sistema, qualidade da informação e qualidade da interface.

Este trabalho discorre sobre o estudo da utilização do método de avaliação ATAM como referência para um roteiro para evolução arquitetural. O estudo apresentado está dividido em duas partes: a elaboração de um roteiro para evolução de software e a aplicação do roteiro em um ambiente real de um sistema para automação de linhas aéreas. O objetivo é avaliar o uso do método de avaliação de arquitetura para direcionar a evolução do software. As diretrizes geradas neste trabalho orientam as ações a serem tomadas com base em evidências obtidas pela avaliação, possibilitando ao software que exiba os atributos de qualidade desejados. / This paper discusses the study of the use of ATAM evaluation method as a reference to a roadmap for architectural evolution. The present study is divided into two parts: the preparation of a roadmap for software development and implementation of the roadmap in a real environment of a system for automation of airlines. The goal is to evaluate the use of architecture evaluation method to direct the evolution of software. The guidelines generated in this work have guided the actions to be taken based on evidence obtained by the evaluation, enabling the software that displays the desired quality attributes.

Este trabalho discorre sobre o estudo da utilização do método de avaliação ATAM como referência para um roteiro para evolução arquitetural. O estudo apresentado está dividido em duas partes: a elaboração de um roteiro para evolução de software e a aplicação do roteiro em um ambiente real de um sistema para automação de linhas aéreas. O objetivo é avaliar o uso do método de avaliação de arquitetura para direcionar a evolução do software. As diretrizes geradas neste trabalho orientam as ações a serem tomadas com base em evidências obtidas pela avaliação, possibilitando ao software que exiba os atributos de qualidade desejados. / This paper discusses the study of the use of ATAM evaluation method as a reference to a roadmap for architectural evolution. The present study is divided into two parts: the preparation of a roadmap for software development and implementation of the roadmap in a real environment of a system for automation of airlines. The goal is to evaluate the use of architecture evaluation method to direct the evolution of software. The guidelines generated in this work have guided the actions to be taken based on evidence obtained by the evaluation, enabling the software that displays the desired quality attributes.

Esta tese tem o objetivo de definir um processo para análise de requisitos não-funcionais orientado a aspectos denominado PARNAFOA. Este processo utiliza, de maneira integrada, métodos de tratamento de requisitos não-funcionais, baseados no NFR Framework, e métodos orientados a aspectos. Como resultado principal obtém-se um modelo de casos de uso que incorpora novas funções relacionadas aos requisitos não-funcionais. A aplicação do PARNAFOA foi realizada em cinco sistemas de software, com domínios, características e complexidades diversos. A avaliação da aplicação deste processo mostrou que o tratamento dos requisitos não-funcionais, desde as fases iniciais do desenvolvimento dos sistemas de software, complementa o modelo de casos de uso com funções adicionais ou gera restrições de projeto. Se estes requisitos não forem considerados desde o início, a introdução posterior dessas funções pode causar alterações nos modelos consolidados ou as atividades de projeto podem ser realizadas sem considerar as restrições. As aplicações do PARNAFOA e sua conseqüente melhoria, incorporada após sua avaliação, permitiu torná-lo mais flexível do que sua versal inicial. Aplicações futuras, com outros tipos de requisitos não-funcionais, irão permitir o amadurecimento deste processo. / The aim of this thesis is to define an aspect-oriented non-functional requirements analysis process named PARNAFOA. This process applies nonfunctional requirements methods in an integrated manner, based on NFR Framework, and aspect-oriented methods. A use case model that embodies non-functional requirements as new functions is the main result obtained from this process. PARNAFOA application was performed in five software systems, with diverse features, domains and complexities. The evaluation of this process application showed that the treatment of these non-functional requirements, from the early phases of software systems development, complements the use case model with additional new functions or generates project restrictions. If these requirements are not considered from the very beginning, the introduction of these functions at a later phase can generate modifications in consolidated models or project activities, that do not consider these restrictions, can be performed. The PARNAFOA applications and consequent improvement, incorporated after the assessment, allowed it to become more flexible than the initial version. Future applications, with other non-functional requirements types, will provide this process maturity.

A utilização da Internet como um meio de automação de serviços de e-business tem sido adotada como estratégia por empresas em vários ramos da economia, diminuindo custos e propiciando uma melhoria no relacionamento com o cliente. Um requisito não-funcional importante a ser considerado no desenvolvimento de sistemas de software que possibilita esta automação é a disponibilidade. O nível de disponibilidade de um sistema pode ser influenciado pela arquitetura do sistema, e, em particular, pela arquitetura de software, pois as decisões arquitetônicas devem considerar aspectos relacionados à disponibilidade. No método de avaliação de arquitetura ATAM (Architecture Tradeoff Analysis Method Método de Análise de Compromissos de Arquitetura), esse requisito é analisado através da utilização de cenários de disponibilidade. Como a avaliação da disponibilidade é normalmente uma tarefa complexa, requerendo dos analistas a identificação de numerosos itens interdependentes, a geração e, conseqüentemente, a análise de cenários de disponibilidade na maioria das vezes não é uma tarefa trivial. O presente trabalho tem como objetivo elaborar uma técnica de análise de disponibilidade em sistemas de software para a Web, que auxilie a geração sistemática de cenários de disponibilidade requeridos no método ATAM. Para a elaboração da proposta, o trabalho aborda métodos para a elicitação, representação e análise de requisitos não-funcionais em uma determinada arquitetura de software, bem como conceitos e taxonomias relacionadas à dependabilidade. Ao final, a técnica é exercitada em um exemplo simplificado de sistema de software bancário na Web. / The use of Internet for e-business service automation has been adopted as a strategy by organizations in several sectors of the economy, reducing costs and providing a better relationship with the customer. Availability is an important nonfunctional requirement to be considered in the development of software systems offering this type of automation. The level of system availability may be affected by the system architecture, and, especially, by the software architecture, as architectural decisions must take availability-related aspects into account. In the ATAM (Architecture Tradeoff Analysis Method) architecture evaluation method, this requirement is analyzed by means of availability scenarios. As availability evaluation is normally a complex task, requiring analysts to identify several interdependent items, the generation and, consequently, the analysis of availability scenarios is often not a trivial task. This work aims to elaborate an availability technique analysis for web-based software systems, to aid in the systematic generation of availability scenarios required in the ATAM method. To elaborate the proposal, the work covers methods for elicitation, representation and analysis of non-functional requirements in a specific software architecture, as well as concepts and taxonomies related to dependability. In the end, the technique is applied on a simplified example of web banking software system.