[pt] Agentes de software incorporam várias propriedades específicas, como autonomia, adaptação, interação, aprendizagem e mobilidade. A inclusão dessas propriedades de agência é uma das maiores fontes de complexidade na construção de sistemas multiagentes. Dificilmente elas são modularizadas com abstrações e mecanismos da engenharia de software orientada a objetos. À medida que a complexidade da arquitetura interna dos agentes aumenta, essas propriedades tendem a se espalhar através dos vários módulos ou objetos do sistema. O espalhamento é observado desde fases preliminares de desenvolvimento, como a fase de definição arquitetural. O uso de abstrações e mecanismos existentes conduz ao projeto e à implementação de sistemas multiagentes que são difíceis de manter e reutilizar. Este trabalho apresenta uma abordagem orientada a aspectos para o desenvolvimento de sistemas baseados em agentes. A abordagem provê suporte para modularização e composição das propriedades de agência por meio de abstrações e mecanismos do paradigma orientado a aspectos. Além disso, tais propriedades são incorporadas de forma transparente à funcionalidade básica do sistema de software, desde a fase de definição arquitetural. A abordagem compreende três componentes: (i) um método arquitetural, (ii) uma linguagem de padrões e (iii) um framework para avaliação quantitativa. O método e a linguagem apresentam um conjunto de soluções orientadas a aspectos para a definição arquitetural, projeto e implementação de agentes de software. O framework define um conjunto de métricas e um modelo de qualidade que permite a avaliação empírica da nossa abordagem em termos de reusabilidade e manutenibilidade. Estudos experimentais qualitativos e quantitativos foram realizados para avaliar nossa proposta em diferentes domínios de aplicação. Os resultados empíricos concluíram que nossa abordagem permite a construção de sistemas baseados em agentes com modularização superior, menor acomplamento, menos linhas de código e menor complexidade interna dos componentes. / [en] Software engineers of Multi-Agent Systems (MASs) are faced with different concerns (properties), such as autonomy, adaptation, interaction, collaboration, learning, and mobility. Many of these agent concerns cannot be modularized based only on object-oriented abstractions. MAS developers however have relied mostly on objectoriented design techniques and on object-oriented programming languages, such as Java. As the agent complexity increases, the agent concerns tend to spread across several system components at the architectural, design and implementation levels. It often leads to a poor separation of agent concerns in the software system, and in turn to the production of MASs that are difficult to maintain and reuse. This thesis presents an innovative aspect-oriented approach for the seamless integration of agents into object-oriented software engineering from the architectural stage to the implementation stage. Aspect is the abstraction used to modularize agent concerns that crosscut several system components. The proposed approach encourages the separate handling of agent properties, and provides a disciplined scheme for their composition. The approach is composed of an architectural method, a pattern language, and an assessment framework. The architectural method and the pattern language provide aspect-oriented solutions for modularizing the agent concerns at different stages of design and implementation. The purpose of the assessment framework is to support the evaluation of the reusability and maintainability of aspect-oriented solutions based on a metrics suite and a quality model. Experimental studies in different application domains have been conducted to assess the proposed approach based on qualitative and quantitative criteria. The use of the aspect-oriented solutions resulted in fewer lines of code, fewer design and implementation components, lower internal complexity of system components, and lower coupling.

Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2018-06-26T11:05:37Z No. of bitstreams: 1 MATEUS_PRESOTTO_BALEN_DIS.pdf: 1919889 bytes, checksum: 44d920fb6535d287fb71793205e67ca4 (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-07-02T11:52:57Z (GMT) No. of bitstreams: 1 MATEUS_PRESOTTO_BALEN_DIS.pdf: 1919889 bytes, checksum: 44d920fb6535d287fb71793205e67ca4 (MD5) / Made available in DSpace on 2018-07-02T12:08:26Z (GMT). No. of bitstreams: 1 MATEUS_PRESOTTO_BALEN_DIS.pdf: 1919889 bytes, checksum: 44d920fb6535d287fb71793205e67ca4 (MD5) Previous issue date: 2018-03-12 / Software systems have become larger and more complex with considerable dissemination in many industries. Due to the need to become more comprehensive, eventually, operationally and managerially independent systems tend to interoperate with themselves. This integration between independent systems with evolutionary nature and geographically distributed results a class of systems called System-of-Systems. Considering that the architeture of software defines a base structure of a system and the engineering of requirements identifieds the necessary functionalities for a system, these activities are essential for any system, as a consequence, the identification of the stakeholders of a system becomes a primordial activity to elicit the necessary requirements and consequently build the system with the expected functionalities. This study preesents a process and a model for the identification of the main stakeholders of Acknowledged System-of-Systems with the objective of minimizing the problems caused in the definitions of requirements system and software architecture in thus category system. / Sistemas de software t?m se tornado maiores e mais complexos com consider?vel dissemina??o em muitas ?reas. Devido ? necessidade de se tornarem mais abrangentes, eventualmente, os sistemas operacionalmente e gerencialmente independentes tendem a interoperar entre eles. Esta integra??o entre sistemas independentes com natureza evolutiva e geograficamente distribu?do resulta uma classe de sistemas chamada Sistema-de-Sistemas. Uma vez que a Arquitetura de Software define a estrutura base de um sistema e a Engenharia de Requisitos identifica as funcionalidades necess?rias para um sistema, entende-se que essas atividades s?o essenciais para qualquer sistema, assim tornando a identifica??o dos stakeholders de um sistema uma atividade primordial para elicitar os requisitos necess?rios e, consequentemente, construir o sistema com as funcionalidades esperadas. Esta disserta??o apresenta um processo e um modelo para a identifica??o dos principais stakeholders de Sistema-de-Sistemas Acknowledged com o intuito de minimizar os problemas causados nas defini??es dos requisitos do sistema e da arquitetura de software por desconhecer os principais stakeholders.

Made available in DSpace on 2016-03-22T17:26:09Z (GMT). No. of bitstreams: 1 Vanessa_Souza_da_Fonseca.pdf: 1687661 bytes, checksum: 6dbf2a6dc47f997aa3e8aa0c8f37aced (MD5) Previous issue date: 2008-08-07 / This research describes the main contributions of the VirD-GM (Virtual Distributed Geometric Machine Model) for the model of parallelism and distribution of the Project D-GM (Distributed Geometric Machine Project). In order to provide the abstractions of the GM model (Geometric Machine) on a platform to support the implementation distributed and / or parallel computations, the middleware EXEHDA (Execution Environment for High Distributed Applications) is considered as the execution environment. The work enabled to create and manage an environment of parallel and directed programming, and promote the implementation, in this environment, of applications developed in the visual environment VPE-GM (Visual Programming Environment for the Geometric Machine Model). These applications are, by nature, parallel and restricted to the study of parallel algorithms for Scientific Computation. The work focuses on the design and construction of the software architecture of the VirD-GM, which is responsible for managing parallel computations obtained by the application of process constructors defined by the GM model. In this context, this research does not only disposes the construction of the structural vision of the project D-GM but also consolidates its integration with the functional vision. It is characterized by an extension of the visual environment VPEGM, which is responsible for the environment development and code generation for the Project D-GM. Among the main contributions, one may consider: (i) formalization of the concepts of concurrency and conflict intermittent with the notions of communication and synchronization of processes, directly related to the space-time structure of the GM model; (ii) modeling and implementation of the loading, management and control structures of the VirD-GM; (iii) implementation and customization of services provided by the EXEHDA; (iv) construction of the levels of applications, support of execution environment and basic systems; (v) data flow control and manipulation of adjacency matrix related to concurrent computations, including the implementation of barriers of synchronization. The prototyping of VirD-GM and avaliaton achieved through the development of test applications have implemented the viability of theoretical-practical approach proposed in Project D-GM / Este trabalho descreve as principais contribuic¸ oes da VirD-GM (Virtual Distributed Geometric Machine Model) para o modelo de distribuic¸ ao e paralelismo do Projeto D-GM (Distributed Geometric Machine Project). Para disponibilizar as abstrac¸ oes do modelo GM (Geometric Machine) em uma plataforma com suporte `a execuc¸ ao distribu ´ıda e/ou concorrente, considera-se o middleware EXEHDA ( Execution Environment for High Distributed Applications) como ambiente de suporte `a execuc¸ ao. O trabalho possibilitou criar e gerenciar um ambiente de programac¸ ao paralela e distribu´ıda, bem como promover a execuc¸ ao, sob este ambiente, das aplicac¸ oes desenvolvidas no ambiente visual VPE-GM (Visual Programming Environment for the Geometric Machine Model). Estas aplicac¸ oes s ao, por natureza, paralelas e direcionadas ao estudo de algoritmos paralelos para a Computac¸ ao Cient´ıfica. O trabalho est´a centrado na concepc¸ ao e construc¸ ao da arquitetura de software da VirD-GM, respons´avel pelo gerenciamento das computac¸ oes paralelas obtidas pela aplicac¸ ao de construtores de processos definidos no modelo GM. Neste contexto, esta dissertac¸ ao n ao s´o viabilizou construc¸ ao da vis ao estrutural do projeto D-GM como tamb´em consolidou sua integrac¸ ao com a vis ao funcional, caracterizada pela extens ao do ambiente VPE-GM, respons´avel pelo ambiente de desenvolvimento e gerac¸ ao de c´odigo para o Projeto D-GM. Dentre as principais contribuic¸ oes, destacam-se: (i) formalizac¸ ao das noc¸ oes de concorr encia e conflito intermitentes com as noc¸ oes de comunicac¸ ao e sincronizac¸ ao de processos, diretamente relacionadas com a estrutura espac¸o-temporal do modelo GM; (ii) definic¸ ao compreendendo a modelagem e implementac¸ ao dos m´odulos de carregamento, gerenciamento e controle da VirD-GM; (iii) estudo, aplicac¸ ao e customizac¸ ao dos servic¸os disponibilizados pelo middleware EXEHDA; (iv) implementac¸ ao das camadas de aplicac¸ ao, de suporte ao ambiente de execuc¸ ao e de sistemas b´asicos; (v) controle do fluxo de dados e manipulac¸ ao das depend encias entre as computac¸ oes concorrentes pelo uso de matrizes de adjac encias, incluindo a implementac¸ ao de barreiras de sincronizac¸ ao, garantindo a correta execuc¸ ao. A prototipac¸ ao da VirD-GM e a avaliac¸ ao obtida com o desenvolvimento de aplicac¸ oes de teste demonstraram a viabilidade da abordagem te´orica-pr´atica proposta no Projeto D-GM

Este trabalho propõe um modelo de alinhamento de sistemas de Comando e Controle (C2) que possibilite as Forças Armadas (FAs) do Brasil compartilhar, de forma automatizada, informações de operações militares cujos conteúdos e estruturas sejam previamente definidos. Para isso, o modelo utiliza-se de composições dinâmicas de serviços Web descritos semanticamente com base em uma ontologia de referência definida, mantida, atualizada, expandida e gerenciada pelas Comunidades de Interesse (Communities of Interest - COIs), distribuídas de acordo com as suas áreas de conhecimento. Um estudo de caso foi realizado com o objetivo de avaliar a aplicação da proposta de solução com a utilização do pacote de distribuição do Joint C3 Information Exchange Data Model (JC3IEDM), modelo de C2 utilizado pela países membros da OTAN (Organização do Tratado do Atlântico Norte). Implementação de um protótipo do modelo e a realização de experimentos indicam potencial de uso prático da proposta.

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.

Veículos Submarinos Não Tripulados (UUVs Unmanned Underwater Vehicles) possuem muitas aplicações comerciais, militares e científicas devido ao seu elevado potencial e relação custo-desempenho considerável quando comparados a meios tradicionais utilizados para a obtenção de informações provenientes do meio subaquático. O desenvolvimento de uma plataforma de testes e amostragem confiável para estes veículos requer o projeto de um sistema completo além de exigir diversos e custosos experimentos realizados no mar para que as especificações possam ser devidamente validadas. Modelagem e simulação apresentam medidas de custo efetivo para o desenvolvimento de componentes preliminares do sistema (software e hardware), além de verificação e testes relacionados à execução de missões realizadas por veículos submarinos reduzindo, portanto, a ocorrência de potenciais falhas. Um ambiente de simulação preciso pode auxiliar engenheiros a encontrar erros ocultos contidos no software embarcado do UUV além de favorecer uma maior introspecção dentro da dinâmica e operação do veículo. Este trabalho descreve a implementação do algoritmo de controle de um UUV em ambiente MATLAB/SIMULINK, sua conversão automática para código compilável (em C++) e a verificação de seu funcionamento diretamente no computador embarcado por meio de simulações. Detalham-se os procedimentos necessários para permitir a conversão dos modelos em MATLAB para código C++, integração do software de controle com o sistema operacional de tempo real empregado no computador embarcado (VxWORKS) e a estratégia de simulação com Hardware In The Loop (HIL) desenvolvida - A principal contribuição deste trabalho é apresentar de forma racional uma estrutura de trabalho que facilite a implementação final do software de controle no computador embarcado a partir do modelo desenvolvido em um ambiente amigável para o projetista, como o SIMULINK. / Unmanned Underwater Vehicles (UUVs) have many commercial, military, and scientific applications because of their potential capabilities and significant costperformance improvements over traditional means of obtaining valuable underwater information The development of a reliable sampling and testing platform for these vehicles requires a thorough system design and many costly at-sea trials during which systems specifications can be validated. Modeling and simulation provide a cost-effective measure to carry out preliminary component, system (hardware and software), and mission testing and verification, thereby reducing the number of potential failures in at-sea trials. An accurate simulation environment can help engineers to find hidden errors in the UUV embedded software and gain insights into the UUV operation and dynamics. This work describes the implementation of a UUV\'s control algorithm using MATLAB/SIMULINK, its automatic conversion to an executable code (in C++) and the verification of its performance directly into the embedded computer using simulations. It is detailed the necessary procedure to allow the conversion of the models from MATLAB to C++ code, integration of the control software with the real time operating system used on the embedded computer (VxWORKS) and the developed strategy of Hardware in the loop Simulation (HILS). The Main contribution of this work is to present a rational framework to support the final implementation of the control software on the embedded computer, starting from the model developed on an environment friendly to the control engineers, like SIMULINK.

[pt] A tecnologia de software está passando por uma transição de arquiteturas monolíticas e coesas para arquiteturas compostas por agentes e sistemas multiagentes semi-autônomos e heterogêneos. Estas arquiteturas são marcadas pela existência de propriedades adicionais no nível do sistema, como comunicação, coordenação, mobilidade, adaptabilidade e persistência. No entanto, o gerenciamento e controle destas propriedades e dos diferentes agentes de software não é uma tarefa simples e exige uma abordagem mais sofisticada desde a fase arquitetural deste tipo de sistema. Neste contexto, neste trabalho, propomos a definição de um padrão arquitetural, denominado Reflective Blackboard. Este padrão é o resultado da composição de dois outros padrões arquiteturais bem conhecidos: o padrão Blackboard e o padrão Reflection. Através da utilização do padrão, uma melhor separação de responsabilidades é atingida pelo tratamento separado, por meio de técnicas de reflexão computacional, das diferentes estratégias de controle incorporadas no sistema. De forma complementar à definição do padrão foi desenvolvida uma infra-estrutura para o desenvolvimento de sistemas multi-agentes que utilizam a arquitetura proposta pelo padrão apresentado. Esta infra- estrutura, além de funcionar como uma implementação do padrão Reflective Blackboard, provê suporte a diferentes propriedades do nível do sistema como mobilidade, comunicação, coordenação e persistência. A utilização do padrão e da infraestrutura desenvolvida foi aplicada em uma aplicação de Marketplace com o objetivo de validar os conceitos propostos. / [en] Software technology is undergoing a transition from monolithic architectures, constructed according to a single overall design, into open architectures composed of conglomerates of collaborative, heterogeneous, and independently designed agents and multi-agent systems (MAS). These architectures are driven by additional system- wide properties, such as communication, coordination, adaptability, mobility and persistence. However, controlling these properties and managing different application agents is not an easy task, requiring a more sophisticated software architectural approach. In this context, we propose the Reflective Blackboard architectural pattern, which is the result of the composition of tho other well-known architectural patterns: the Blackboard pattern and the Reflection pattern. The pattern allows a better separation of concerns, supporting the separate handling of control strategies, by means of the computational reflection technique. An infrastructure, which implements the proposed pattern and provides support to multiple system-level properties, such as mobility, communication, coordination and persistence, was also developed. The Reflective Blackboard pattern was applied together with this infrastructure to the development of a Marketplace application in order to validate de concepts proposed in this work.

O presente trabalho apresenta a utilização do modelo CIM – Common Information Model com uma abordagem ODP – Open and Distributed Processing na definição de uma arquitetura distribuída. A modelagem ODP-CIM efetuada busca validar formalmente a escolha da WBEM – Web Based Enterprise Management como arquitetura distribuída responsável pela interoperabilidade entre sistemas heterogêneos de uma empresa de energia elétrica. O contexto WBEM adicionalmente inclui a modelagem CIM das informações, de modo que o ambiente resultante pode ser visto como uma coleção distribuída de sistemas inter-relacionados. De modo a se verificar a adequação da WBEM como provedora de interoperabilidade e distribuição, será implementado um protótipo; o SISDEC - Sistema Distribuído de Estudo de Carga, responsável pela previsão, através de técnicas de inteligência artificial, da carga nodal de curto prazo do sistema elétrico de potência. A implementação dos modelos resultantes é apresentada assim como os resultados dos testes. Enfocando a disponibilidade aos vários domínios de gestão, das informações modeladas, validando a eficácia da modelagem e a adequação da arquitetura distribuída proposta. Não se visa aqui a apresentação ou definição de métricas específicas, sendo os resultados apresentados do tipo qualitativo. O SISDEC se insere em uma arquitetura de informação corporativa e utilizará um middleware, originário de um projeto de P&D (Pesquisa e Desenvolvimento), como acesso à massa de dados históricos da carga nodal do sistema elétrico de potência, obtidos a partir de um sistema SCADA - Supervisory Control And Data Acquisition. O acesso corporativo às informações processadas pelo SISDEC é efetuado através da intranet da empresa. / The work presents the use of model CIM - Common Information Model with a boarding ODP - Open and distributed Processing in the definition of a distributed architecture. Effected modeling ODP-CIM search to validate formally the choice of the WBEM - Web Based Enterprise Management as architecture distributed responsible for the interoperation between heterogeneous systems in a company of electric energy. The contest of WBEM additionally includes modeling CIM of the information, in way that the resultant environment can be seen as a distributed collection of interrelated systems. In order to verify the adequacy of the WBEM as supplier of the interoperation and distribution, an archetype will be implemented; the SISDEC - Distributed System of Load Study, responsible for the forecast through techniques of artificial intelligence, of the nodal load of short term of the electrical system of power. The implementation of the resultant models is presented, as well as the results of the tests focusing the availability to the some management dominion, of the shaped information, validating the effectiveness of the modeling and the adequacy of the proposed distributed architecture. The metric presentation or definition specific is not aimed here, as the presented results qualitative type. The SISDEC inserts in an architecture of corporative information and it will use one middleware, originated of a R&D project (Research and Development), as access to a mass of nodal load historical data of the electrical system of power, gotten from a system SCADA - Supervisory Control and Date Acquisition. The corporative access to processed information from SISDEC is effected through the Intranet of the company.

O presente trabalho apresenta a utilização do modelo CIM – Common Information Model com uma abordagem ODP – Open and Distributed Processing na definição de uma arquitetura distribuída. A modelagem ODP-CIM efetuada busca validar formalmente a escolha da WBEM – Web Based Enterprise Management como arquitetura distribuída responsável pela interoperabilidade entre sistemas heterogêneos de uma empresa de energia elétrica. O contexto WBEM adicionalmente inclui a modelagem CIM das informações, de modo que o ambiente resultante pode ser visto como uma coleção distribuída de sistemas inter-relacionados. De modo a se verificar a adequação da WBEM como provedora de interoperabilidade e distribuição, será implementado um protótipo; o SISDEC - Sistema Distribuído de Estudo de Carga, responsável pela previsão, através de técnicas de inteligência artificial, da carga nodal de curto prazo do sistema elétrico de potência. A implementação dos modelos resultantes é apresentada assim como os resultados dos testes. Enfocando a disponibilidade aos vários domínios de gestão, das informações modeladas, validando a eficácia da modelagem e a adequação da arquitetura distribuída proposta. Não se visa aqui a apresentação ou definição de métricas específicas, sendo os resultados apresentados do tipo qualitativo. O SISDEC se insere em uma arquitetura de informação corporativa e utilizará um middleware, originário de um projeto de P&D (Pesquisa e Desenvolvimento), como acesso à massa de dados históricos da carga nodal do sistema elétrico de potência, obtidos a partir de um sistema SCADA - Supervisory Control And Data Acquisition. O acesso corporativo às informações processadas pelo SISDEC é efetuado através da intranet da empresa. / The work presents the use of model CIM - Common Information Model with a boarding ODP - Open and distributed Processing in the definition of a distributed architecture. Effected modeling ODP-CIM search to validate formally the choice of the WBEM - Web Based Enterprise Management as architecture distributed responsible for the interoperation between heterogeneous systems in a company of electric energy. The contest of WBEM additionally includes modeling CIM of the information, in way that the resultant environment can be seen as a distributed collection of interrelated systems. In order to verify the adequacy of the WBEM as supplier of the interoperation and distribution, an archetype will be implemented; the SISDEC - Distributed System of Load Study, responsible for the forecast through techniques of artificial intelligence, of the nodal load of short term of the electrical system of power. The implementation of the resultant models is presented, as well as the results of the tests focusing the availability to the some management dominion, of the shaped information, validating the effectiveness of the modeling and the adequacy of the proposed distributed architecture. The metric presentation or definition specific is not aimed here, as the presented results qualitative type. The SISDEC inserts in an architecture of corporative information and it will use one middleware, originated of a R&D project (Research and Development), as access to a mass of nodal load historical data of the electrical system of power, gotten from a system SCADA - Supervisory Control and Date Acquisition. The corporative access to processed information from SISDEC is effected through the Intranet of the company.

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.