A BDI-based approach for the assessment of driver's decision-making in commuter scenarios

The rapid growth of urban areas has a significant impact on traffic and transportation systems. New management policies and planning strategies are clearly necessary to cope with the more than ever limited capacity of existing road networks. The concept of Intelligent Transportation System (ITS) arises in this scenario; rather than attempting to increase road capacity by means of physical modifications to the infrastructure, the premise of ITS relies on the use of advanced communication and computer technologies to handle today’s traffic and transportation facilities. Influencing users’ behaviour patterns is a challenge that has stimulated much research in the ITS field, where human factors start gaining great importance to modelling, simulating, and assessing such an innovative approach. This work is aimed at using Multi-agent Systems (MAS) to represent the traffic and transportation systems in the light of the new performance measures brought about by ITS technologies. Agent features have good potentialities to represent those components of a system that are geographically and functionally distributed, such as most components in traffic and transportation. A BDI (beliefs, desires, and intentions) architecture is presented as an alternative to traditional models used to represent the driver behaviour within microscopic simulation allowing for an explicit representation of users’ mental states. Basic concepts of ITS and MAS are presented, as well as some application examples related to the subject. This has motivated the extension of an existing microscopic simulation framework to incorporate MAS features to enhance the representation of drivers. This way demand is generated from a population of agents as the result of their decisions on route and departure time, on a daily basis. The extended simulation model that now supports the interaction of BDI driver agents was effectively implemented, and different experiments were performed to test this approach in commuter scenarios. MAS provides a process-driven approach that fosters the easy construction of modular, robust, and scalable models, characteristics that lack in former result-driven approaches. Its abstraction premises allow for a closer association between the model and its practical implementation. Uncertainty and variability are addressed in a straightforward manner, as an easier representation of humanlike behaviours within the driver structure is provided by cognitive architectures, such as the BDI approach used in this work. This way MAS extends microscopic simulation of traffic to better address the complexity inherent in ITS technologies.

DCE: the dynamic conditional execution in a multipath control independent architecture

This thesis presents DCE, or Dynamic Conditional Execution, as an alternative to reduce the cost of mispredicted branches. The basic idea is to fetch all paths produced by a branch that obey certain restrictions regarding complexity and size. As a result, a smaller number of predictions is performed, and therefore, a lesser number of branches are mispredicted. DCE fetches through selected branches avoiding disruptions in the fetch flow when these branches are fetched. Both paths of selected branches are executed but only the correct path commits. In this thesis we propose an architecture to execute multiple paths of selected branches. Branches are selected based on the size and other conditions. Simple and complex branches can be dynamically predicated without requiring a special instruction set nor special compiler optimizations. Furthermore, a technique to reduce part of the overhead generated by the execution of multiple paths is proposed. The performance achieved reaches levels of up to 12% when comparing a Local predictor used in DCE against a Global predictor used in the reference machine. When both machines use a Local predictor, the speedup is increased by an average of 3-3.5%.

O sentido do sagrado e sua interpretação arquitetônica na América Latina do século XX [1930-1960]

Este trabalho consiste em um estudo sobre a arquitetura religiosa produzida no século XX na América Latina, enfocando a interpretação deste tema no período compreendido entre 1930 e 1960. Primeiramente, discorre-se sobre a tradição na arquitetura eclesiástica, abordando aspectos históricos e projetuais, desde a origem das primitivas basílicas cristãs até às igrejas modernas; após, trata-se sobre o movimento de renovação litúrgica, iniciado no final do século XIX, e as transformações decorrentes do mesmo; e, concluindo esta primeira parte, aborda-se o surgimento da arquitetura moderna na América Latina, bem como suas características e particularidades. Na segunda parte, tendo como casos, relevantes edificações sacras da América Latina, realiza-se, inicialmente, a descrição caso a caso e, após, a análise da interpretação sacra, através de temas arquitetônicos, quais sejam: organização planimétrica e espacial, tratamento de superfícies, configuração volumétrica, proporções e escala, aberturas e uso da luz.

Doroty : um chatterbot para treinamento de profissionais atuantes no gerenciamento de redes de computadores

O gerenciamento de redes exige dos administradores a disponibilidade de uma grande quantidade de informações sobre os seus equipamentos, as tecnologias envolvidas e os problemas associados a elas. Nesse cenário, administradores de redes devem, cada vez mais, aprofundar o seu conhecimento através de constante treinamento, até que estejam aptos a administrar uma rede de maneira mais eficiente e confiável. Alguns estudos têm sido feitos buscando integrar tecnologias de Inteligência Artificial na área de gerenciamento de redes. Abordagens utilizando sistemas multiagentes, agentes de interface e sistemas especialistas já foram utilizadas com o objetivo de facilitar a tarefa de gerenciamento de rede aos olhos do usuário. Os chatterbots representam um grande potencial para a tarefa de treinamento e gerenciamento de redes já que utilizam linguagem natural e são capazes de ser facilmente integrados em ambientes mais complexos. O principal objetivo deste trabalho é investigar o uso de chatterbots como uma ferramenta de gerenciamento utilizada por administradores menos treinados. O trabalho envolveu a adaptação do chatterbot ALICE para permitir o treinamento e a gerência de redes através da inclusão de módulos que permitem a monitoração de equipamentos de uma rede (através do protocolo SNMP) e módulos que permitam consultar e armazenar histórico de informações da mesma. Desta forma, a grande contribuição da arquitetura proposta é a de prover uma comunicação mais efetiva entre o administrador menos experiente e a rede, através do chatterbot assistente, que recebe consultas em linguagem natural, interpreta os dados coletados e expõe os conceitos envolvidos no processo de gerenciamento.

Unificação semântica de esquemas conceituais de banco de dados geográficos

A modelagem conceitual de banco de dados geográficos (BDG) é um aspecto fundamental para o reuso, uma vez que a realidade geográfica é bastante complexa e, mais que isso, parte dela é utilizada recorrentemente na maioria dos projetos de BDG. A modelagem conceitual garante a independência da implementação do banco de dados e melhora a documentação do projeto, evitando que esta seja apenas um conjunto de documentos escritos no jargão da aplicação. Um modelo conceitual bem definido oferece uma representação canônica da realidade geográfica, possibilitando o reuso de subesquemas. Para a obtenção dos sub-esquemas a serem reutilizados, o processo de Descoberta de Conhecimento em Bancos de Dados (DCBD – KDD) pode ser aplicado. O resultado final do DCBD produz os chamados padrões de análise. No escopo deste trabalho os padrões de análise constituem os sub-esquemas reutilizáveis da modelagem conceitual de um banco de dados. O processo de DCBD possui várias etapas, desde a seleção e preparação de dados até a mineração e pós-processamento (análise dos resultados). Na preparação dos dados, um dos principais problemas a serem enfrentados é a possível heterogeneidade de dados. Neste trabalho, visto que os dados de entrada são os esquemas conceituais de BDG, e devido à inexistência de um padrão de modelagem de BDG largamente aceito, as heterogeneidades tendem a aumentar. A preparação dos dados deve integrar diferentes esquemas conceituais, baseados em diferentes modelos de dados e projetados por diferentes grupos, trabalhando autonomamente como uma comunidade distribuída. Para solucionar os conflitos entre esquemas conceituais foi desenvolvida uma metodologia, suportada por uma arquitetura de software, a qual divide a fase de préprocessamento em duas etapas, uma sintática e uma semântica. A fase sintática visa converter os esquemas em um formato canônico, a Geographic Markup Language (GML). Um número razoável de modelos de dados deve ser considerado, em conseqüência da inexistência de um modelo de dados largamente aceito como padrão para o projeto de BDG. Para cada um dos diferentes modelos de dados um conjunto de regras foi desenvolvido e um wrapper implementado. Para suportar a etapa semântica da integração uma ontologia é utilizada para integrar semanticamente os esquemas conceituais dos diferentes projetos. O algoritmo para consulta e atualização da base de conhecimento consiste em métodos matemáticos de medida de similaridade entre os conceitos. Uma vez os padrões de análise tendo sido identificados eles são armazenados em uma base de conhecimento que deve ser de fácil consulta e atualização. Novamente a ontologia pode ser utilizada como a base de conhecimento, armazenando os padrões de análise e possibilitando que projetistas a consultem durante a modelagem de suas aplicações. Os resultados da consulta ajudam a comparar o esquema conceitual em construção com soluções passadas, aceitas como corretas.

Títulos soberanos e risco de crédito: uma análise do caso brasileiro

A recente discussão sobre o impacto do risco de crédito sobre a oferta de financiamento a países emergentes é o motivador deste trabalho, que procura estimar modelos de apreçamento de ativos que levam em consideração as expectativas de investidores em relação à probabilidade de não cumprimento integral por parte do emissor das disposições estabelecidas na emissão do título. Estimam-se modelos com o objetivo de extrair de uma série de preços de títulos informações sobre a probabilidade de default e a expectativa de valor recuperado em caso de default. Estes dois fatores apresentam comportamento bastante volátil no período da amostra, indicando a fragilidade da arquitetura de contratos atuais de dívida soberana.

A linguagem da estrutura na obra de Vilanova Artigas

O objetivo deste estudo é demonstrar a unidade formal presente nas obras da chamada terceira fase do arquiteto paulista João Baptista Vilanova Artigas. A descrição da unidade formal proposta é alternativa às abordagens desenvolvidas até o momento, que vinculam a originalidade da linguagem arquitetônica de Artigas ao contexto histórico e a precedentes arquitetônicos. Utilizando um conjunto de projetos, caracterizados a priori pela expressividade estrutural e pelo desenho diferenciado dos pilares, a descrição da arquitetura de Artigas é feita a partir de suas razões compositivas e geométricas. O modelo descritivo da Gramática de Formas (STINY; GIPS; 1972) é empregado para especificação de seus princípios generativos – conjunto de regras, vocabulário e relações geométricas. O estudo identificou em figuras como triângulos e retângulos as principais formas do vocabulário empregadas pelo arquiteto para gerar suas soluções arquitetônicas. As associações obtidas a partir da relação entre estas formas não só descrevem as soluções de Artigas, mas abrem possibilidades para outras soluções de projeto que, muito embora não tivessem sido empregadas pelo autor, poderiam ser identificadas como soluções de mesma linguagem. Esta descoberta abre o caminho para a formulação de uma gramática própria de Artigas e para a utilização de recursos computacionais na geração de alternativas de projeto que incluam a linguagem de Artigas (regras, vocabulário e relações geométricas) como fator de identidade.

O templo cristão na modernidade : permanências simbólicas & conquistas figurativas

O estudo enfoca a arquitetura religiosa moderna, no intuito de apreender as permanências simbólicas e as conquistas figurativas alcançadas pelos arquitetos modernistas para dar forma e representação ao templo, em tempo dito ‘dessacralizado’ porque materialista e espiritualmente plural. Fundamentalmente, compila e sistematiza, por similaridades ideológicas, funcionais, simbólicas, tipológicas e formais, o legado eclesiástico projetado e/ou construído no mundo ocidental cristão entre os anos 1850 e 1960, grosso modo. Em sincronia, apresenta suas condições de origem, razões e significados e analisa como os pressupostos modernistas aplicaram-se ao fato arquitetural das novas catedrais, igrejas paroquiais, capelas locais e obras eclesiásticas várias, católicas e protestantes. Revela, também, seus produtores – financiadores, incentivadores, projetistas e construtores – analisando a atenção dada ao tema pelos mais eminentes nomes do período e realçando agentes inestimáveis, desprezados pela ‘bibliografia oficial’ do Movimento Moderno. Nas entrelinhas ensaia, ainda, discussão crítico-interpretativa de obras paradigmáticas ao debate por conjunção especial de fatores, no sentido de identificar as estratégias e signos modernos válidos à prática arquitetural contemporânea.

O impacto da política de preços de transferência na interface entre a empresa e o mercado : estudo de caso e simulação

A sobrevivência de uma organização depende da maneira como ela estabelece sua arquitetura organizacional e estrutura de incentivos. O esforço da administração será desperdiçado, caso esta não consiga fazer com que toda a estrutura de tomada de decisões seja direcionada aos objetivos de longo prazo da empresa. Dentro da estrutura de incentivos, o sistema de preços de transferência é de extrema relevância, principalmente para o caso de organizações multidivisionais, as quais são maioria entre as maiores empresas do cenário atual. Este trabalho busca identificar e modelar uma das possíveis distorções que afetam os preços de transferência e os incentivos dele decorrentes, os quais afetam diretamente o valor da empresa. Por meio da simulação de vários métodos de custeio, calculou-se os possíveis impactos na estrutura de custo de uma empresa real, e sua conseqüente modificação nos sistema de preços de transferência existentes. A partir daí, analisou-se os impactos destes diferentes cenários nos incentivos da área comercial de diferentes unidades de negócios da empresa. A conclusão é que diferentes métodos de custeio afetam diretamente os preços de transferência. Estes, por sua vez, alteram os incentivos das áreas comerciais das diferentes unidades de negócios, afetando o desempenho da empresa, de acordo com o método de custeio utilizado. A mensagem final é que tanto a estrutura de custos quanto a de incentivos deve ser analisada em detalhe, uma vez que tais decisões impactarão diretamente no valor de mercado da organização.

Análise estratigráfica da formação Sergi, Campo de Fazenda Bálsamo, Bacia do Recôncavo, Bahia

A Formação Sergi é composta por uma espessa sucessão de depósitos fluviais, eólicos e lacustres relacionados à sedimentação jurássica pré-rifte da Depressão Afro- Brasileira. Com base em dados de subsuperfície (testemunhos e perfis), foram reconhecidas três unidades deposicionais na Formação Sergi no Campo de Fazenda Bálsamo, Bacia do Recôncavo. A Seqüência Ia interdigita-se com os pelitos do Membro Capianga e o seu limite inferior não foi determinado. Depósitos flúvio-lacustres e lençóis de areia eólicos sinalizam a franca progradação de sistemas fluviais distais, com pontuadas retrogradações lacustres e eventuais acumulações eólicas relacionadas a condições ambientais áridas e semi-áridas. A arquitetura tabular dos depósitos reproduz suaves gradientes de amplas áreas recortadas por fluxos estabelecidos em canais pouco estáveis e pobremente definidos. O seu registro relaciona-se a subidas do nível de base estratigráfico, em momentos que as taxas de suprimento sedimentar excederam as taxas de criação de espaço de acomodação, ou, de outro modo, pela progressiva redução nas taxas de subida do nível de base. A Seqüência Ib é constituída por associações de depósitos de fluxos fluviais efêmeros, lacustres e dunas, interdunas e lençóis de areia eólicos. O contato inferior é marcado por um consistente pacote eólico que denota um expressivo rebaixamento do nível de base estratigráfico, enquanto que o superior corresponde a uma superfície erosiva de caráter regional com a Seqüência II que lhe sobrepõe ou, quando da ausência desta, diretamente com os pelitos da Formação Itaparica, unidade litoestratigráfica imediata. Depósitos de dunas e interdunas eólicas na base do intervalo tiveram sua preservação assegurada pela subida do lençol freático, agente que também abasteceu corpos lacustres nas áreas topograficamente rebaixadas do campo de dunas. Seguida aos pontuais fluxos fluviais efêmeros desenvolvidos em canais rasos e pouco estáveis nas épocas mais úmidas, passavam-se longos períodos de rigor climático favoráveis aos processos eólicos. A dinâmica fluvial impôs à geometria deposicional da sucessão uma forma de corpos arenosos amalgamados, pacotes eólicos descontínuos e níveis pelíticos lenticulares. O modelo evolutivo estratigráfico para a Seqüência Ib é similar ao da Seqüência Ia, porém com variações na taxa de subida do nível de base estratigráfico ao longo do tempo. A Seqüência II ocupa a porção superior da Formação Sergi. Sua ocorrência é restrita na área de estudo se confrontada com outras partes da bacia, mas, nem por isso é destituída de importância. Suas características litológicas indicam continuidade dos processos deposicionais em sistemas fluviais de canais entrelaçados e baixa sinuosidade, supostamente associados a condições perenes e mais úmidas, com poucas evidências de variações extremas na descarga. Em resposta às baixas taxas de criação de espaço de acomodação, o registro sedimentar de uma complexa rede de canais multilaterais e multiepisódicos se manifesta em corpos arenosos amalgamados, com baixo potencial de preservação dos depósitos extracanais. A drástica mudança no estilo fluvial teria vínculo com severas mudanças climáticas, bem como a reorganização da drenagem em conseqüência de primitivas manifestações do tectonismo que atingiu seu auge no Eocretáceo, durante o rifteamento da bacia.

Um modelo para a descoberta de QoS em redes de computadores

A evolução das redes de computadores criou a necessidade de novos serviços de rede que fornecessem qualidade de serviços nos fluxos de dados dos usuários. Nesse contexto, uma nova área de pesquisa surgiu, o gerenciamento de QoS, onde foram apresentadas novas tarefas para o gerenciamento de recursos de rede que fornecem QoS. Uma delas, a descoberta de QoS, é responsável por identificar alvos numa rede de computadores. Um alvo é uma entidade capaz de implementar funcionalidades para o fornecimento de QoS. Essa dissertação apresenta uma proposta de modelo para a descoberta de QoS. O modelo é composto por duas partes: metodologia e arquitetura. A metodologia define os procedimentos para a realização da descoberta de QoS, enquanto a arquitetura define entidades que implementam tais procedimentos bem como o relacionamento entre essas entidades. O modelo proposto também tem por objetivo ser extensível, escalável e distribuído. Além disso, um protótipo baseado no modelo é apresentado.

Using an animated pedagogical agent to interact affectively with the student

This work proposes an animated pedagogical agent that has the role of providing emotional support to the student: motivating and encouraging him, making him believe in his self-ability, and promoting a positive mood in him, which fosters learning. This careful support of the agent, its affective tactics, is expressed through emotional behaviour and encouragement messages of the lifelike character. Due to human social tendency of anthropomorphising software, we believe that a software agent can accomplish this affective role. In order to choose the adequate affective tactics, the agent should also know the student’s emotions. The proposed agent recognises the student’s emotions: joy/distress, satisfaction/disappointment, anger/gratitude, and shame, from the student’s observable behaviour, i. e. his actions in the interface of the educational system. The inference of emotions is psychologically grounded on the cognitive theory of emotions. More specifically, we use the OCC model which is based on the cognitive approach of emotion and can be computationally implemented. Due to the dynamic nature of the student’s affective information, we adopted a BDI approach to implement the affective user model and the affective diagnosis. Besides, in our work we profit from the reasoning capacity of the BDI approach in order for the agent to deduce the student’s appraisal, which allows it to infer the student’s emotions. As a case study, the proposed agent is implemented as the Mediating Agent of MACES: an educational collaborative environment modelled as a multi-agent system and pedagogically based on the sociocultural theory of Vygotsky.

RST: Reuse through Speculation on Traces

In this thesis, we present a novel approach to combine both reuse and prediction of dynamic sequences of instructions called Reuse through Speculation on Traces (RST). Our technique allows the dynamic identification of instruction traces that are redundant or predictable, and the reuse (speculative or not) of these traces. RST addresses the issue, present on Dynamic Trace Memoization (DTM), of traces not being reused because some of their inputs are not ready for the reuse test. These traces were measured to be 69% of all reusable traces in previous studies. One of the main advantages of RST over just combining a value prediction technique with an unrelated reuse technique is that RST does not require extra tables to store the values to be predicted. Applying reuse and value prediction in unrelated mechanisms but at the same time may require a prohibitive amount of storage in tables. In RST, the values are already stored in the Trace Memoization Table, and there is no extra cost in reading them if compared with a non-speculative trace reuse technique. . The input context of each trace (the input values of all instructions in the trace) already stores the values for the reuse test, which may also be used for prediction. Our main contributions include: (i) a speculative trace reuse framework that can be adapted to different processor architectures; (ii) specification of the modifications in a superscalar, superpipelined processor in order to implement our mechanism; (iii) study of implementation issues related to this architecture; (iv) study of the performance limits of our technique; (v) a performance study of a realistic, constrained implementation of RST; and (vi) simulation tools that can be used in other studies which represent a superscalar, superpipelined processor in detail. In a constrained architecture with realistic confidence, our RST technique is able to achieve average speedups (harmonic means) of 1.29 over the baseline architecture without reuse and 1.09 over a non-speculative trace reuse technique (DTM).

Formalização da comunicação de conhecimentos probabilísticos em sistemas multiagentes : uma abordagem baseada em lógica probabilística

Durante os últimos anos as áreas de pesquisa sobre Agentes Inteligentes, Sistemas Multiagentes e Comunicação entre Agentes têm contribuído com uma revolução na forma como sistemas inteligentes podem ser concebidos, fundamentados e construídos. Sendo assim, parece razoável supor que sistemas inteligentes que trabalhem com domínios probabilísticos de conhecimento possam compartilhar do mesmo tipo de benefícios que os sistemas mais tradicionais da Inteligência Artificial receberam quando adotaram as concepções de agência, de sistemas compostos de múltiplos agentes e de linguagens de comunicação entre estes agentes. Porém, existem dúvidas não só sobre como se poderia escalar efetivamente um sistema probabilístico para uma arquitetura multiagente, mas como se poderia lidar com as questões relativas à comunicação e à representação de conhecimentos probabilísticos neste tipo de sistema, principalmente tendo em vista as limitações das linguagens de comunicação entre agentes atuais, que não permitem comunicar ou representar este tipo de conhecimento. Este trabalho parte destas considerações e propõe uma generalização do modelo teórico puramente lógico que atualmente fundamenta a comunicação nos sistemas multiagentes, que será capaz de representar conhecimentos probabilísticos. Também é proposta neste trabalho uma extensão das linguagens de comunicação atuais, que será capaz de suportar as necessidades de comunicação de conhecimentos de natureza probabilísticas. São demonstradas as propriedades de compatibilidade do novo modelo lógico-probabilístico com o modelo puramente lógico atual, sendo demonstrado que teoremas válidos no modelo atual continuam válidos no novo modelo. O novo modelo é definido como uma lógica probabilística que estende a lógica modal dos modelos atuais. Para esta lógica probabilística é definido um sistema axiomático e são demonstradas sua correção e completude. A completude é demonstrada de forma relativa: se o sistema axiomático da lógica modal original for completo, então o sistema axiomático da lógica probabilística proposta como extensão também será completo. A linguagem de comunicação proposta neste trabalho é definida formalmente pela generalização das teorias axiomáticas de agência e comunicação atuais para lidar com a comunicação de conhecimentos probabilísticos e pela definição de novos atos comunicativos específicos para este tipo de comunicação. Demonstra-se que esta linguagem é compatível com as linguagens atuais no caso não-probabilístico. Também é definida uma nova linguagem para representação de conteúdos de atos de comunicação, baseada na lógica probabilística usada como modelo semântico, que será capaz de expressar conhecimentos probabilísticos e não probabilísticos de uma maneira uniforme. O grau de expressibilidade destas linguagens é verificado por meio de duas aplicações. Na primeira aplicação demonstra-se como a nova linguagem de conteúdos pode ser utilizada para representar conhecimentos probabilísticos expressos através da forma de representação de conhecimentos probabilísticos mais aceita atualmente, que são as Redes Bayesianas ou Redes de Crenças Probabilísticas. Na outra aplicação, são propostos protocolos de interação, baseados nos novos atos comunicativos, que são capazes de atender as necessidades de comunicação das operações de consistência de Redes Bayesianas secionadas (MSBNs, Multiple Sectioned Bayesian Networks) para o caso de sistemas multiagentes.

Framework orientado a objetos para o desenvolvimento de aplicações de automação predial e residencial

O crescente aumento pela exigência de funcionalidades na implementação dos atuais sistemas de automação predial, vem provocando um aumento da complexidade de projeto e de gerenciamento desses sistemas. O grande desafio que se apresenta atualmente é como, a partir de dispositivos isolados e subsistemas, conseguir sistemas totalmente integrados, os quais permitam economia no investimento inicial, na operação e na manutenção dos sistemas de automação, garantindo um aumento no desempenho geral da edificação Acredita-se que uma etapa importante para avaliar a real necessidade da integração seja projetar o sistema de automação sem foco em uma tecnologia específica, o que não ocorre atualmente, uma vez que, pela carência de ferramentas de apoio ao projeto, as etapas de especificação e projeto geralmente já estão focadas em uma tecnologia disponível para implementação. Este trabalho busca preencher a lacuna deixada pela carência dessas ferramentas, tendo por finalidade a especificação de um framework orientado a objetos para o desenvolvimento de aplicações de automação predial e residencial que permita modelar estes sistemas de forma independente da tecnologia que ele irá utilizar, possibilitando o mapeamento posterior para a mais adequada ou disponível. Serviram como base para o framework proposto a análise de vários padrões abertos disponíveis para implementação de sistemas de automação predial e a especificação ISO/IEC10746, o modelo de referência para processamento distribuído aberto, usado como suporte a metodologia de projeto proposta. O trabalho também discute o mapeamento dos conceitos definidos para uma arquitetura alvo, apresentado um estudo de caso para validação da metodologia proposta.