[pt] Agentes de Software é uma tecnologia que permite criar simuladores e sistemas inteligentes que tomam decisões automaticamente. A primeira contribuição dessa tese é o MAS-School, um método para modelar e implementar agentes de software inteligentes desde as primeiras fases de desenvolvimento. Esse método também apresenta várias orientações de como incluir aprendizado na fase de design e implementação. O método apresenta no final uma estratégia incremental de desenvolvimento para permitir a avaliação do desempenho das técnicas de machine learning. A segunda contribuição dessa tese é o framework ASYNC. O ASYNC é composto por um conjunto de ferramentas de engenharia de software para auxiliar a construção de sistemas baseados em agentes assíncronos, cooperativos e inteligentes. Esta tese apresenta quatro estudos de casos complexos desenvolvidos com agentes inteligentes para exemplificar o uso do método e framework. A primeira aplicação apresenta um sistema baseado em agentes para criar promoções em um mercado varejista utilizando o conceito de agregação de produtos. A segunda aplicação apresenta um mercado virtual para compra e venda de bens. A terceira aplicação é um sistema multi-agente distribuído para um complexo cenário de procurement em leilões simultâneos e interdependentes. Essa aplicação participou do Trading Agent Competition em 2004 e obteve a terceira colocação. A quarta aplicação é um sistema multi-agente para um Supply Chain Management. / [en] The agent technology is used to develop systems that perform several complex tasks. This thesis presents the MAS-School method for modeling and implementing intelligent agent-based systems. The method presents a systematic approach to support a disciplined introduction of machine learning techniques in multi-agent systems from an early stage of design. The proposed approach encompasses guidelines to both the design and implementation phases of an agent-based system. It is based on an incremental development strategy that largely relies on simulation and testing techniques. This thesis also presents the ASYNC framework that is composed of software engineering tools for building agent based system for asynchronous, cooperative and intelligent agents. This thesis presents four complex applications that used the proposed method and framework in the design and implementation phase. The first case study presents an application that discovers the most appealing offerings for consumers in a retail market. The second case study presents a virtual marketplace for buying and selling goods with automatic negotiation. The third case study is a multi-agent system for a complex procurement scenario with interdependent and simultaneous auctions. This system achieved the third place in the 2004 TAC Classic competition. The fourth case study is a multi-agent system for a PC manufacturer scenario based on sourcing of components, manufacturing of PC's and sales to customers.

[pt] Como um novo e poderoso paradigma para modelagem e implementação de sistemas de software, os sistemas multiagentes necessitam de metodologias, linguagens de modelagem, plataformas de desenvolvimento e linguagens de programação que explorem seus benefícios e características particulares. Contudo, diferentes metodologias, linguagens e plataformas para sistemas multiagentes propõem abstrações variadas e com definições muito diferentes. Nesse contexto, é necessário criar frameworks conceituais que definam as abstrações, seus relacionamentos e seus comportamentos. Como em qualquer novo paradigma para engenharia de software, o sucesso e a difusão de sistemas multiagentes requerem, entre outras tecnologias de software baseadas em agentes, linguagens de modelagem que explorem o uso de abstrações relacionadas a agentes e promovam o refinamento dos modelos de design para código. Esta tese contempla a definição de um framework conceitual para sistemas multiagentes chamado TAO e uma linguagem de modelagem para sistemas multiagentes chamada MAS-ML. Os objetivos desta tese são descrever os aspectos estáticos e dinâmicos das abstrações freqüentemente utilizadas em sistemas multiagentes definindo um framework conceitual, propor uma linguagem de modelagem que descreva diagramas estáticos e dinâmicos para modelar esses aspectos e descrever o refinamento dos modelos estáticos para código. / [en] As a powerful and new paradigm for designing and implementing software systems, multi-agent systems require methodologies, modeling languages, development platforms and programming languages that explore their benefits and their peculiar characteristics. However, different methodologies, languages and platforms for multi-agent systems propose very distinct and varied sets of abstraction. In this context, there is a need for creating a conceptual framework that defines the frequently used multi-agent system abstractions, their relationships and their behavior. As it is the case with any new software engineering paradigm, the successful and widespread deployment of multi-agent systems require modeling languages, among other agent-based software technologies, that explore the use of agentrelated abstractions and promote the traceability from the design models to code. This thesis contemplates the definition of a multi-agent system conceptual framework called TAO and of a multi-agent system modeling language called MAS-ML. Our goals are to describe the structural and dynamic aspects of the abstractions commonly used in multi-agent systems by defining a conceptual framework, to propose a modeling language that describes structural and dynamic diagrams to model such aspects and to present the traceability from the structural models into code.

Made available in DSpace on 2014-12-17T14:55:02Z (GMT). No. of bitstreams: 1 TatianaAT.pdf: 1928197 bytes, checksum: cf7bdfef2369940a65a9808cc8556802 (MD5) Previous issue date: 2004-04-19 / The advent of the Internet stimulated the appearance of several services. An example is the communication ones present in the users day-by-day. Services as chat and e-mail reach an increasing number of users. This fact is turning the Net a powerful communication medium. The following work explores the use of communication conventional services into the Net infrastructure. We introduce the concept of communication social protocols applied to a shared virtual environment. We argue that communication tools have to be adapted to the Internet potentialities. To do that, we approach some theories of the Communication area and its applicability in a virtual environment context. We define multi-agent architecture to support the offer of these services, as well as, a software and hardware platform to support the accomplishment of experiments using Mixed Reality. Finally, we present the obtained results, experiments and products / O advento da Internet estimulou o aparecimento de diversos servi?os vinculados a Rede. Um exemplo s?o os servi?os de comunica??o cada vez mais presentes no dia-a-dia dos usu?rios da Rede. Servi?os como salas de bate-papo e correio eletr?nico atingem um n?mero crescente de usu?rios tornando a Rede um poderoso meio de comunica??o da atualidade. Nesse contexto, surge a preocupa??o de como melhor adaptar os servi?os de comunica??o convencionais ? infra-estrutura da Rede. O trabalho seguinte introduz o conceito de protocolos sociais de comunica??o aplicada a um ambiente virtual compartilhado na Rede. Discutimos ferramentas de comunica??o voltadas as necessidades e potencialidades do meio de comunica??o digital, abordando v?rias teorias da ?rea de Comunica??o e sua aplicabilidade num contexto de ambientes virtuais. Para tanto, definimos uma arquitetura multi-agentes para suportar o oferecimento desses servi?os, bem como, uma plataforma de software e hardware para suportar a realiza??o de experimentos utilizando Realidade Mista. Por fim, apresentamos os resultados de experimentos realizados e dos produtos obtidos com a realiza??o deste trabalho

[pt] As Redes de comunicação sem fio estão cada vez mais presentes no dia-a- dia das pessoas. Falar com amigos, ouvir música, ver televisão, fazer compras, são exemplos de atividades que podem ser realizadas hoje em dia por uma grande variedade de tipos de redes sem fio. Os dispositivos móveis de hoje possuem diversas interfaces de rede, possibilitando ao usuário escolher qual delas irá utilizar. Devido à mobilidade oferecida por dispositivos móveis, a cada nova localidade, diferentes tipos de rede e cenários para utilização de um serviço se configuram. Algumas soluções e propostas estão sendo estudadas para permitir que o usuário escolha a melhor conexão de rede para a utilização de um serviço, dependendo da situação em que este se encontre. Porém, poucas análises são apresentadas para que as provedoras de redes e serviços possam oferecer esta melhor conexão. Mobilidade, liberdade de escolha do usuário, variedade de conexões de rede e tipos de serviço são desafios que as provedoras começam a encontrar. Por outro lado, a possibilidade de captar novos clientes, aumentar seu volume de vendas de serviços e sua conseqüente participação no mercado, são oportunidades que surgem neste novo cenário. Um framework em sistemas multi-agentes é proposto com o objetivo de se analisar este novo cenário e exercitar soluções que sejam úteis tanto para clientes, quanto para provedoras de redes sem fio. Estratégias para definição do preço de um serviço pelo lado da provedora e estratégias para escolha do melhor serviço oferecido por uma provedora do lado do cliente, com a utilização de informação de contexto, são objetos de analise. Na solução, a informação de contexto é representada pelo modelo de ontologias proposto pelo DynaCIP e um algoritmo de tomada de decisão utilizado pelo agente é proposto, embora o framework flexibilize a utilização de outros algoritmos. A instanciação do framework para um cenário de redes sem fio de nova geração é implementado e discutido na proposta. / [en] The Wireless communication networks are increasingly present in people`s lives. Talking to friends, listening music, watching television, buying things, are examples of activities that nowadays can be accomplished by a great variety of wireless networks. Modern mobile devices have a diversity of network interfaces, for users to choose from. Due to mobility offered by mobile devices, different types and scenarios of networks appear at every new location. Some proposals and solutions are been studied to allow users to choose the best network connection for a specific service utilization, depending on the current user`s task. But, few proposals are presented to allow network and service providers to provide these best connection. Mobility, user`s freedom of choice, variety of network connections and types of service are challenges that the providers are beginning to find. Moreover, the ability to attract new customers, increase your services sales volume and its consequent market share, are opportunities that arise in this new scenario. A multi- agent systems framework is proposed with the aim to examine this new scenario and exercise solutions that are useful both for customers, and for wireless network providers. Contextaware strategies for provider`s service pricing and for customer`s best choice of service provided are subject to review. In the solution, context information is represented in the ontology model proposed by DynaCIP and an algorithm for decision-making used by the agent is proposed, although the framework flexible the use of other algorithms. A framework instantiation for a next generation wireless networks scenario is implemented and discussed in the proposal.

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.

Made available in DSpace on 2016-08-17T14:53:03Z (GMT). No. of bitstreams: 1 Claudio Henrique.pdf: 2293947 bytes, checksum: 295cf028346110498a2ca8201da82769 (MD5) Previous issue date: 2007-06-22 / This paper aims at detecting frauds in municipal taxes, using a multi-agent system. To attain such objective, it presents some of the stages of the software development and the implementation of some agents. The paper also proposes the behavior modeling of contributors, obtained from historical data from their actions and from behavior inference functions. That model, after being validated, with the use of data from São Luís County Hall, was transformed in agent. In the stages of analysis and design of the system, the methodologies MAS-Common KADS and the ontology ONTOMADEM (this one based in MADEM Multi-Agent Domain Engineering Methodology), were used. In the stage of development, JADE (Java Agent Development Framework) ambience and the PROTÉGÉ for JADE plug-ins were used, besides JESS, used to implement the ontologies and the rules. / Este trabalho tem por objetivo principal a detecção de fraudes em impostos municipais, utilizando sistema multi-agentes. Para se atingir tal objetivo, apresentam-se algumas das fases de desenvolvimento do software e a implementação de alguns agentes. Propõe-se também a modelagem comportamental de contribuintes obtida a partir de dados históricos de suas ações e de funções de inferência de comportamento. Esse modelo, após validado com a utilização de dados da Prefeitura de São Luís, foi transformado em agente. Nas fases de análise e projeto do sistema, utilizaram-se as metodologias MAS-CommonKADS e a ontologia ONTOMADEM, esta baseada na MADEM (Multi-Agente Domain Engineering Methodology). Na fase de desenvolvimento, foram utilizados o ambiente JADE (Java Agent Development Framework) e os plugins do PROTÉGÉ para JADE, além do JESS, usado para implementar as ontologias e as regras.

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 resolução de problemas distribuídos com o uso de sistemas compostos de vários agentes, agrupados em organizações, e que visam objetivos comuns vem ganhando grande atenção da comunidade científica. Este interesse evidencia-se pelo número crescente de iniciativas para a criação de métodos de desenvolvimento e plataformas de implementação de sistema multi-agentes. Algumas plataformas concentram-se no suporte a aspectos específicos destes sistemas, enquanto outras preocupam-se com a criação de uma infra-estrutura completa que permita o desenvolvimento dos agentes e suas organizações. O Web Life é uma arquitetura para a implementação de sistemas multi-agentes para a Web, que auxilia a criação dos agentes e suas organizações, oferecendo toda a infra-estrutura de comunicação, coordenação, tomada de decisões e realização de tarefas necessária a atuação dos agentes. A arquitetura procura aproveitar diversas iniciativas de padronização e de criação de ferramentas para resolução de certos aspectos do problema, agrupando-as sob um framework integrado. A arquitetura promove a evolução da Web no sentido de se tornar uma Web de conteúdos semânticos aptos ao tratamento automático por mecanismos de software - a Web Semântica. / [en] The resolution of distributed problems by applying computer systems composed by agents and organized towards a common objective is attracting the scientific community s attention. This is shown by the increasing number of initiatives for the development of methods and platforms to help constructing multiagent systems. Some platforms concentrate efforts on supporting some multi-agent systems aspects while others try to offer a complete infrastructure for the agents and organizations development. The Web Life architecture offers an implementation platform for developing Web-based multi- agent systems. The architecture is focused on the provision of a complete multi-agent infrastructure with native support for communication, coordination, decision-taking and task-oriented behavior. The incorporation of current under development standards and tools for solving specific problems in multi-agent systems is one of the main objectives of this work. These standards and tools are integrated by the Web Life framework. The architecture try to help the evolution of the Web into a Web with semantic contents that may be automatically processed - the Semantic Web.

[pt] O progresso tecnológico da computação móvel associada à Internet promove a concretização de uma visão futurista em que os usuários acessam dados e serviços a qualquer momento e em qualquer lugar. Entretanto, esta visão expõe questões importantes no desenvolvimento de aplicações, pois se deve dar maior atenção para a comunicação entre dispositivos móveis e serviços web, considerando restrições de processamento, armazenamento de dados, diversidade de padrões e disponibilidade dos serviços. Esta dissertação explora aspectos de engenharia de software como computação autonômica, frameworks e sistemas multiagentes no desenvolvimento de aplicações para dispositivos móveis dando ênfase ao gerenciamento do uso de serviços web. Para consolidar os conceitos abordados e prover um guia que facilite o desenvolvimento de aplicações autoadaptáveis, propõe-se um framework para auxiliar o desenvolvimento de aplicações para computação móvel. Para ilustrar a utilização do framework são apresentadas duas aplicações. A primeira aplicação é um sistema que apresenta o risco de deslizamento de massa em uma área a partir do cálculo de susceptibilidade baseado em informações sobre clima, relevo e solo. A segunda aplicação faz parte de um sistema de agência de viagens que define um pacote de viagens que melhor atende às necessidades do usuário. / [en] Technological progress in mobile computing and the Internet promotes an achievement of the futuristic vision in which users have access to data and services anytime and anywhere. However, this vision realization brings important issues to application development, because more attention is required to the communication between mobile devices and web services, especially regarding processing and data storage constraints, diversity standards and availability of services. This dissertation explores aspects of software engineering as autonomic computing, multi-agent systems and frameworks in developing applications for mobile devices, emphasizing autonomic management of web services use. Aiming the consolidation of the investigated concepts and provide a guide to facilitate the development of self-adapting applications, a framework is proposed to help in applications development for mobile computing. The development of two applications illustrates the framework appliance. The first application is a system that presents the risk of mass sliding in an area through a susceptibility calculation based on information of climate, topography and soil. The second application is part of a travel agency system that defines a travel package that best fit user needs.

[pt] Nesta dissertação, apresenta-se uma abordagem para regular a interação dos agentes que fazem parte de um sistema multi-agente aberto. Em sistemas abertos, os agentes podem ser não-cooperativos, estão imersos em um ambiente altamente imprevisível e, freqüentemente, os outros agentes que compõem o sistema não são conhecidos a priori. Para algumas classes de aplicações, esta imprevisibilidade não é adequada, podendo levar a falhas de software. Desta forma, é proposta uma abordagem baseada em leis de interação para construir sistemas multi-agentes abertos, onde um controle sobre o comportamento dos agentes é esperado. Propõe-se um modelo conceitual para a especificação da forma como as interações são reguladas em um sistema multi-agente. Este modelo conceitual trata conceitos como cenas, normas e restrições de forma integrada. Além disso, a interação entre os agentes deve ser monitorada e as leis que foram especificadas devem ser aplicadas. Para isto, propõe-se uma linguagem declarativa para a especificação da interação de acordo com os elementos do modelo conceitual e uma infra-estrutura de software que age como mediador das interações garantindo que elas estejam de acordo com as especificações. / [en] In this work, we propose an approach for regulating agents interaction on an open multi-agent system. In open systems, agents are immersed in a highly unpredictable environment, they can be self-interested, and other agents are frequently unknown beforehand. We argue that, in some applications, unexpected behavior may lead to system faults. For this reason, we propose a law enforcement approach to build open multi-agent systems where a certain degree of control over agents behavior is desirable. A conceptual model is proposed to specify how the interactions of an open multi-agent system should happen. This model deals with concepts such as norms, constraints and scenes in a integrated way. We also propose a declarative language that allows the interaction s specification according to the elements that compose the conceptual model, and a software infrastructure that acts as a mediator monitoring and enforcing agents interaction.