[pt] A tecnologia de agentes tem ganho destaque, tanto na academia quanto na indústria, no que se refere ao desenvolvimento de sistemas distribuídos. Linguagens de modelagem e processos de desenvolvimento foram criados para documentar e formalizar o desenvolvimento de sistemas baseados em agentes. Entretanto, as linguagens de modelagem existentes ou se baseiam em noções de uma tecnologia de desenvolvimento anterior (orientação a objetos) ou não possuem artefatos (modelos) que denotam as características de agência existentes no sistema. Esta tese propõe uma linguagem de modelagem para sistemas baseados em agentes, a LM-SMA, que gera artefatos (modelos) que mostram a modelagem de aspectos de agência, tais como adaptação, aprendizado, interação e autonomia. A LM-SMA ainda possui artefatos que permitem a modelagem da parte do sistema que não é composta por agentes, por meio de ontologias. / [en] The agent technology is gaining acceptance, both in academy and industry, with regards to distributed systems development. Modeling languages and development processes were created to formalize the development of agent based systems. Nevertheless, existing modeling languages are either based on previous development methods (object oriented) or they do not have artifacts (models) that show the agency characteristics that exist in a system. This thesis proposes a modeling language, for agent based systems, that generates artifacts that model agency aspects, such as adaptation, learning, interaction and autonomy. The language has artifacts that allow the modeling of the non- agent part of an agent based system, using ontology.

[pt] Governança trata heterogeneidade, autonomia e diversidade de interesses entre diferentes agentes em um sistema multi-agente (SMA), estabelecendo um conjunto de normas. A maioria dos mecanismos de aplicação de leis verifica a violação de normas apenas sob o aspecto da interação entre os agentes. Entretanto, em SMAs com a presença de agentes heterogêneos e independentemente projetados, existirão mensagens confidenciais, que só serão percebidas por seus remetentes e destinatários, e execução de ações que só serão observáveis pelos agentes que as executam ou por agentes que sofrem as conseqüências da execução dessas ações. Este trabalho apresenta uma abordagem que implementa um mecanismo de governança em SMA baseado em testemunhos. Agentes podem testemunhar fatos que estão relacionados à violação de normas as quais eles têm conhecimento. Este mecanismo é composto por três sub-sistemas: Reputação, julgamento e sanção. O foco deste trabalho está apenas no sub-sistema de julgamento, responsável por receber os testemunhos e prover decisões apontando se o agente realmente violou uma norma. Será mostrada a arquitetura deste sub-sistema e um processo de julgamento genérico. Finalmente, será ilustrada a utilização deste mecanismo através de um estudo de caso. / [en] Governance copes with the heterogeneity, autonomy and diversity of interests among different agents in a multi-agent system (MAS) by establishing a set of norms. Most of the governance enforcement mechanisms usually check norm violations from the point of view of interaction protocols. However, in MAS, with the presence of heterogeneous and independently designed agents, there will be private messages, that will only be perceived by their senders and receivers, and execution of actions that will only be observed by the agents that execute them or by the agents that suffers from their consequences. This work presents a governance mechanism for MAS based on testimonies. Agents can witness facts that are related to norm violations witch they are aware of. The proposed mechanism is composed by three sub-systems: Reputation, judgment and sanction. This work focuses only in the judgment sub- system, witch is responsible for receiving testimonies and providing a decision, pointing out if an agent has really violated a norm. The judgment sub-system architecture and a generic judgment process will be presented. Finally, the use of this mechanism will be exemplified by a case study.

[pt] As linguagens de modelagem de agentes visam representar o sistema e seus agentes através de diagramas, os quais permitem explicitar seus objetivos, planos e ações. Mesmo as linguagens fornecendo todos esses mecanismos de representação, alguns sistemas ainda não podem ser expressos de maneira ideal, pois tais linguagens visam representar sistemas inteiros e não uma linha de produção com várias instâncias. O método proposto visa num primeiro momento determinar o mapeamento dos pontos de flexibilização em agentes de software. Planos e ações podem ser flexibilizados por apresentarem características de variabilidade. A variabilidade pode ser interpretada de duas formas: a variabilidade de planos que possibilita que um agente tenha vários planos distintos, acarretando aplicações distintas em função do seu plano; e a variabilidade de ações que possibilita que ações sejam executadas de maneiras distintas o que também acarreta aplicações distintas. Com isso podem ser observadas ações e planos abstratos que serão herdados por outras ações e planos concretos e que definirão uma instância para novas aplicações. Para isto o método proposto utiliza diagramas, tags e documentação para guiar a instanciação dos planos e ações. Esses agentes gerarão instâncias de aplicações devido seus planos e ações os quais determinam uma linha de produto de software e conseqüentemente a idéia de framework. Esta abordagem traz para o mundo dos agentes as vantagens observadas com o uso destas técnicas em orientação a objeto. Além disso, as linguagens atuais poderão utilizar concomitantemente tal método. Os benefícios da solução serão apresentados através de estudos de caso. / [en] The current agents´ modeling languages aim at representing the system and theirs agents in a clear way by diagrams, which permit shows theirs goals, plans and actions. Even with all provided by the language, some systems can´t be represented a correct form yet, because the current agents´ modeling languages represent only a whole system and not a product line. In this way the method proposed tries to determine a mapping of the flexibility points into software agents. The flexibility points into agents are defined to theirs plans and actions. Such points can be flexible if show a variability characteristic. The variability is presented by two points of view: the variability of plans and variability of action, where the variability of plans can enable many distinct plan for an agent, in other words, accept distinct applications for each one of theirs plans; and the variability of actions that enable the actions are executed in distinct form that result in distinct applications. With that, we can see an abstract actions and abstract plans will be inherited by the concrete actions and concrete plans, and that in the future will define new applications. For this the method uses the diagrams, tags and documentation. The documentation is used like a guide in a plan instance and action instance. After, these agents can generate the instance of new applications by yours owner plans and actions that´s determine the software product line and consequently it is possible to use the framework idea. With this approach it is possible to introduce into agent world all the advantage of frameworks and product lines, techniques that are traditionally used in object orientation. Moreover, the approach can be used concomitantly with current agents´ modeling languages. The benefits of the approach will be shown in more details through a case study.

[pt] Sistemas supervisores envolvendo software embarcados são encontrados com freqüência e são responsáveis pela supervisão de equipamentos que vão desde máquinas industriais e eletrodomésticos, a celulares e PDAs. Muitos possuem severos requisitos de confiabilidade e tolerância a falhas, bem como características de sistemas de tempo real. Esta pesquisa investiga o uso de tecnologias de ponta como Design by Contract, Agentes de Software, Mock Objects e Componentes de Software no auxílio ao desenvolvimento de sistemas de monitoramento e aquisição em tempo real. Explora-se, ainda, o conceito de sistemas orientados à recuperação. Para realizar tal análise é utilizado como estudo de caso um sistema de inspeção de dutos, que foi implementado utilizando tais tecnologias. De maneira resumida, pode-se dizer que neste estudo de caso percebeu-se que o uso dessas tecnologias fez com que o sistema fosse desenvolvido em um curto espaço de tempo, sendo que questões relevantes não foram prejudicadas, como por exemplo o fato do sistema ser robusto e tolerante a falhas. É importante ressaltar que o sistema apresentado se encontra em uso em inspeções de dutos reais. / [en] Supervisory systems allied to embedded software, a common subject in the literature, are responsible by the supervision of equipments like industrial machines, household-electric devices, cellular phones and PDAs. Many of them have severe requisites of fault tolerance and reliability as well as real time systems features. This research investigates the use of state-of-the-art technologies such as Design By Contract, Mock Objects, software agents and components in the development of real-time monitoring and data-acquisition systems. Recovery oriented systems concepts are also explored. The case study carried out to the research is a pipeline inspection software system, which uses such technologies. In a nutshell, it can be said that this case study showed strong evidence that the use of these technologies allowed the development in a very short time, without any loss of robustness, fault tolerance and reliability. The developed system is currently being used in real pipeline inspections.

Texture is one of the primary visual attributes used to describe patterns found in nature. Several texture analysis methods have been used as powerful tools for real applications involving analysis and computer vision. However, existing methods do not successfully discriminate the complexity of texture patterns. Such methods disregard the possibility of describing image structures by means of measures such as the fractal dimension. Fractality-based measures allow a non-integer geometric interpretation with applications in areas such as mathematics, physics, and biology. With this gap in mind, the central hypothesis of this thesis is that textures can be described as irregular fractal surfaces due to their complex geometry; such geometry can be exploited for image analysis and computer vision. By exploring such possibilities, pushing the limits of the state-of-the-art, this thesis starts with an analysis of texture features achieved by means of agents on image surfaces. To do so, we used the Bouligand-Minkowski fractal dimension, swarm-system Artificial Crawlers, and non-linear diffusion of Perona-Malik, techniques that led to methodologies with efficacy and efficiency comparable to the state-of-the-art. Our first method combines fractal dimension with random walks on the surface of images. In a second approach, non-linear diffusion is used to represent texture images at different scales, which are described via their fractal dimension for image classification purposes. In a third proposal, we employ fractal dimension concepts over multiple scales derived from the same image for a richer texture description. One of the purposes is the automatic detection of diseases in soybean leaves. Finally, texture characteristics were exploited in a method based on complex networks used to analyze the agglomeration of particles in nanotechnology images. The results achieved in the four methodologies described in this thesis demonstrated the potential of using texture features in tasks of classification and pattern recognition. The contributions of this work shall support significant advances in materials engineering, computer vision, and agriculture. / A textura é um dos principais atributos visuais para a descrição de padrões encontrados na natureza. Diversos métodos de análise de textura têm sido usados como uma poderosa ferramenta para aplicações reais que envolvem análise de imagens e visão computacional. Entretanto, os métodos existentes não conseguem discriminar com sucesso a complexidade dos padrões de textura. Tais métodos desconsideram a possibilidade de se descrever estruturas de imagens por meio de medidas como a dimensão fractal. Medidas baseadas em fractalidade permitem uma interpretação geométrica não-inteira que possui aplicações encontradas em áreas como matemática, física, e biologia. Sobre esta lacuna metodológica, a hipótese central desta tese é que texturas presentes na natureza podem ser medidas como superfícies fractais irregulares devido à sua geometria complexa, o que pode ser explorado para fins de análise de imagens e visão computacional. Para superar tais limitações, avançando o estado da arte, esta tese se inicia com uma análise das características de texturas baseada em caminhadas aleatórias de agentes sobre superfícies de imagens. Esta primeira análise leva a um método que combina dimensão fractal com caminhadas de agentes sobre a superfície de imagens. Em uma segunda abordagem, usa-se a difusão não-linear para representar imagens de texturas em diferentes escalas, as quais são descritas via dimensão fractal para fins de classificação de imagens. Em uma terceira proposta, emprega-se a dimensão fractal sobre múltiplas escalas derivadas de uma mesma imagem com o propósito de se realizar a descrição multi-escala de texturas. Um dos propósitos específicos foi a detecção automática de doenças em folhas de soja. Por último, as características de textura foram exploradas segundo uma metodologia baseada em redes complexas para análise de aglomeração de partículas em imagens de nanotecnologia. Os resultados alcançados nesta tese demonstraram o potencial do uso de características de textura. Para tanto foram usadas técnicas de dimensão fractal de Bouligand-Minkowski, multiagentes Artificial Crawlerse difusão não-linear de Perona-Malik, os quais alcançaram eficácia e eficiência comparáveis ao do estado da arte. As contribuições obtidas devem suportar avanços significativos nas áreas de engenharia de materiais, visão computacional, e agricultura.

[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.

[pt] Sistemas multi-agentes (SMA) diferem de sistemas que não são baseados em agentes devido ao fato dos agentes serem unidades autônomas capazes de ações flexíveis e inteligentes. Por este motivo é proposto na literatura um grande número de metodologias, frameworks e linguagens para dar apoio a construção deste tipo de sistema. Muitas dessas metodologias e suas ferramentas provêm da comunidade de inteligência artificial e estão focadas em uma arquitetura específica de agentes. Este trabalho propõe o uso da arquitetura Model Driven Architecture (MDA), descrita pela OMG, no processo de desenvolvimento de SMA. MDA é uma arquitetura para desenvolvimento de software estruturada em etapas de modelagem que dá suporte a todo o ciclo de desenvolvimento de um sistema. O processo de desenvolvimento proposto está dividido de acordo com as etapas apresentadas por MDA. Na etapa PIM, onde são especificados modelos independentes de plataforma, propomos a utilização da linguagem de modelagem MAS-ML para SMA. Na etapa PSM, onde são definidos modelos específicos de plataforma, propomos utilizar a linguagem de modelagem UML. Os modelos MAS-ML definidos na etapa PIM são transformados em modelos UML na etapa PSM com base em um framework para implementação de SMA utilizando orientação a objetos. Na ultima etapa do desenvolvimento, o código da aplicação é gerado a partir dos modelos UML. Este trabalho detalha as etapas PIM e PSM do processo de desenvolvimento de SMA e as transformações necessárias para a geração de código. Para demonstrar a aplicação do processo proposto são apresentadas duas aplicações de SMA desenvolvidas utilizando o mesmo. Ao final, apresenta-se a ferramenta MAS-ML Tool desenvolvida para dar apoio ao processo de desenvolvimento proposto. Esta ferramenta implementa todas as etapas presentes no processo, permitindo assim a implementação de SMA a partir de sua modelagem. / [en] Multi-agent systems (MAS) differ from non-agent systems because agents are intended to be autonomous units capable of flexible and intelligent actions. For this reason it is proposed in the literature a great number of methodologies frameworks and languages to support the development of these systems. Several methodologies and their tools are come from artificial intelligent community and are focused in a specific agent architecture. This work proposes the use of the Model Driven Architecture (MDA), described by OMG, in the development process of MAS. MDA specifies a structured software development process in modeling stages that supports all system development life cycle. The proposed development process is divided according to the MDA stages. In PIM stage, where platform independent models are specified, we propose the use of MAS-ML modeling language for MAS. In PSM stage, where platform specific models are specified, we propose the use of UML modeling language. The MASML models defined on PIM stage are transformed in UML models at PSM stage, based on an object-oriented framework for implementing MAS. In the last development stage, the application code is generated from UML models. This work details the PIM and PSM stages of the MAS development process and the models transformations to generate source code. To exemplify the applicability of the proposed MAS development process, two different MAS applications were developed based on the process. Finally, a MAS-ML tool is presented. Such tool was developed to support the proposed development process. The tool implements all stages presented in the process, allowing the modeling and implementation of MAS.

Multi-agent systems (MASs) can be used to model phenomena that can be decomposed into several interacting agents which exist within an environment. In particular, they can be used to model human and animal societies, for the purpose of analysing their properties by computational means. This thesis is concerned with the automated analysis of a particular kind of such social models, namely, those based on behaviourist principles, which contrasts with the more dominant cognitive approaches found in the MAS literature. The hallmark of behaviourist theories is the emphasis on the definition of behaviour in terms of the interaction between agents and their environment. In this manner, not merely re exive actions, but also learning, drives, and emotions can be defined. More specifically, in this thesis we introduce a formal agent architecture (specified with the Z Notation) based on the Behaviour Analysis theory of B. F. Skinner, and provide a suitable formal notion of environment (based on the pi-calculus process algebra) to bring such agents together as an MAS. Simulation is often used to analyse MASs. The techniques involved typically consist in implementing and then simulating a MAS several times to either collect statistics or see what happens through animation. However, simulations can be used in a more verification-oriented manner if one considers that they are actually explorations of large state-spaces. In this thesis we propose a novel verification technique based on this insight, which consists in simulating a MAS in a guided way in order to check whether some hypothesis about it holds or not. To this end, we leverage the prominent position that environments have in the MASs of this thesis: the formal specification of the environment of a MAS serves to compute the possible evolutions of the MAS as a transition system, thereby establishing the state-space to be investigated. In this computation, agents are taken into account by being simulated in order to determine, at each environmental state, what their actions are. Each simulation execution is a sequence of states in this state-space, which is computed on-the-fly, as the simulation progresses. The hypothesis to be investigated, in turn, is given as another transition system, called a simulation purpose, which defines the desirable and undesirable simulations (e.g., \"every time the agent does X, it will do Y later\"). It is then possible to check whether the MAS satisfies the simulation purpose according to a number of precisely defined notions of satisfiability. Algorithmically, this corresponds to building a synchronous product of these two transitions systems (i.e., the MAS\'s and the simulation purpose) on-the-fly and using it to operate a simulator. That is to say, the simulation purpose is used to guide the simulator, so that only the relevant states are actually simulated. By the end of such an algorithm, it delivers either a conclusive or an inconclusive verdict. If conclusive, it becomes known whether the MAS satisfies the simulation purpose with respect to the observations made during simulations. If inconclusive, it is possible to perform some adjustments and try again. In summary, then, in this thesis we provide four novel elements: (i) an agent architecture; (ii) a formal specification of the environment of these agents, so that they can be composed into an MAS; (iii) a structure to describe the property of interest, which we named simulation purpose; and (iv) a technique to formally analyse the resulting MAS with respect to a simulation purpose. These elements are implemented in a tool, called Formally Guided Simulator (FGS). Case studies executable in FGS are provided to illustrate the approach. / Sistemas multi-agentes (SMAs) podem ser usados para modelar fenômenos que podem ser decompostos em diversos agentes que interagem entre si dentro de um ambiente. Em particular, eles podem ser usados para modelar sociedades humanas e animais, com a finalidade de se analisar as suas propriedades computacionalmente. Esta tese trata da análise automatizada de um tipo particular de tais modelos sociais, a saber, aqueles baseados em princípios behavioristas, o que contrasta com as abordagens cognitivas mais dominante na literatura de SMAs. A principal característica das teorias behaviorista é a ênfase na descrição do comportamento em termos da interação entre agentes e seu ambiente. Desta forma, não apenas ações refl exivas, mas também de aprendizado, motivações, e as emoções podem ser definidas. Mais especificamente, nesta tese apresentamos uma arquitetura de agentes formal (especificada através da Notação Z) baseada na teoria da Análise do Comportamento de B. F. Skinner, e fornecemos uma noção adequada e formal de ambiente (com base na álgebra de processos pi-calculus) para colocar tais agentes juntos em um SMA. Simulações são freqüentemente utilizadas para se analisar SMAs. As técnicas envolvidas tipicamente consistem em simular um SMA diversas vezes, seja para coletar estatísticas, seja para observar o que acontece através de animações. Contudo, simulações podem ser usadas de forma a pertmitir a realização de verificações automatizadas do SMA caso sejam entendidas como explorações de grandes espaços-de-estados. Nesta tese propomos uma técnica de verificação baseada nessa observação, que consiste em simular um SMA de uma forma guiada, a fim de se determinar se uma dada hipótese sobre ele é verdadeira ou não. Para tal fim, tiramos proveito da importância que os ambientes têm nesta tese: a especificação formal do ambiente de um SMA serve para calcular as evoluções possíveis do SMA como um sistema de transição, estabelecendo assim o espaço-de-estados a ser investigado. Neste cálculo, os agentes são levados em conta simulando-os, a fim de determinar, em cada estado do ambiente, quais são suas ações. Cada execução da simulação é uma seqüência de estados nesse espaço-de-estados, que é calculado em tempo de execução, conforme a simulação progride. A hipótese a ser investigada, por sua vez, é dada como um outro sistema de transição, chamado propósito de simulação, o qual define as simulações desejáveis e indesejáveis (e.g., \"sempre que o agente fizer X, ele fará Y depois\"). Em seguida, é possível verificar se o SMA satisfaz o propósito de simulação de acordo com uma série de relações de satisfatibilidade precisamente definidas. Algoritmicamente, isso corresponde a construir um produto síncrono desses dois sistemas de transições (i.e., o do SMA e o do propósito de simulação) em tempo de execução e usá-lo para operar um simulador. Ou seja, o propósito de simulação é usado para guiar o simulador, de modo que somente os estados relevantes sejam efetivamente simulados. Ao terminar, um tal algoritmo pode fornecer um veredito conclusivo ou inconclusivo. Se conclusivo, descobre-se se o SMA satisfaz ou não o propósito de simulação com relação às observações feitas durante as simulações. Se inconclusivo, é possível realizar alguns ajustes e tentar novamente. em resumo, portanto, nesta tese propomos quatro novos elementos: (i) uma arquitetura de agente, (ii) uma especificação formal do ambiente desses agentes, de modo que possam ser compostos em um SMA, (iii) uma estrutura para descrever a propriedade de interesse, a qual chamamos de propósito de simulação, e (iv) uma técnica para se analisar formalmente o SMA resultante com relação a um propósito de simulação. Esses elementos estão implementados em uma ferramenta, denominada Simulador Formalmente Guiado (FGS, do inglês Formally Guided Simulator). Estudos de caso executáveis no FGS são fornecidos para ilustrar a abordagem.

[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.

[pt] Vivemos na era da informação, onde o conhecimento é criado numa velocidade nunca antes vista. Esse aumento de velocidade teve como principalrazão a Internet, que alterou os paradigmas até então existentes de troca de informações entre as pessoas. Através da rede, trabalhos inteiros podem ser publicados, atingindo um público alvo impossível de ser alcançado através dos meios existentes anteriormente. Porém, o excesso de informação também pode agir no sentido contrário: muita informação pode ser igual a nenhuma informação. Nosso trabalho foi o de produzir um sistema multi-agentes para busca e classificação de documentos textuais de um domínio específico. Foi construída uma infra-estrutura que separa as questões referentes à busca e seleção dos documentos (plataforma) das referentes ao algoritmo de classificação utilizado (uma aplicação do conceito de separation of concerns). Dessa forma, é possível não só acoplar algoritmos já existentes, mas também gerar novos algoritmos levando em consideração características específicas do domínio de documentos abordado. Foram geradas quatro instâncias a partir do framework, uma aplicação de webclipping, um componente para auxílio a knowledge management, um motor de busca para websites e uma aplicação para a web semântica. / [en] We are living in the information age, where knowledge is constantly being created in a rate that was never seen before. This is mainly due to Internet, that changed all the information exchange paradigms between people. Through the net, it is possible to publish or exchange whole works, reaching an audience impossible to be reached through other means. However, excess of information can be harmful: having too much information can be equal to having no information at all. Our work was to build a multi-agent framework for search and flexibilization of textual document classification algorithms of a specific domain. We have built an infra-structure that separates the concerns of document search and selection (platform) from the concerns of document classification (an application of the separation of concerns concept). It is possible not only to use existing algorithms, but also to generate new ones that consider domain-specific characteristics of documents. We generated four instances of the framework, a webclipping application, a knowledge management component, a search engine for websites and an application for the semantic web.