[pt] Arquitetos de software têm optado cada vez mais por utilizar estratégias
auto–organizáveis para o projeto de sistemas descentralizados dinâmicos e
adaptativos, capazes de executar sem a interferência do usuário, administrador
ou de outros sistemas. Esse processo de auto-organização muitas vezes resulta
em comportamentos emergentes imprevistos, resultantes da interação entre os
agentes do sistema. Comportamentos emergentes podem ser tanto benéficos
quanto prejudiciais à execução e organização do sistema. Por esse motivo, um
sistema multiagente auto-organizável só será utilizado em domínios de problema
que envolvam qualquer tipo de risco - tais como indústrias, hospitais,
equipamentos militares, etc. - se houver a possibilidade de garantir que ele
será capaz de cumprir os seus objetivos de projeto. Entretanto, essa garantia
não é simples de ser obtida, uma vez que é impossível mapear todas as possibilidades
de comportamento de um sistema modelado através da interação
de agentes. Algumas abordagens já foram propostas, mas suas aplicações normalmente
são extremamente complexas. Portanto, este trabalho apresenta um
novo método para a verificação experimental de sistemas multiagentes auto-
organizáveis, evoluindo a técnica empírica de verificação proposta por Kevrekidis
e complementando-a através de uma abordagem autonômica integrada à
simplicidade da verificação dos planejadores em tempo-real. Como resultado,
apresenta-se um framework para o projeto, verificação e simulação de sistemas
multiagentes. / [en] Software architects have been recently adopting self-organizing strategies
to design dynamic and adaptive decentralized systems capable of executing
without interference from the user, from the administrator or from other
systems. This self-organization process usually results in unpredicted emergent
behaviors resulting from the interaction between the agents. Emergent
behaviors can be beneficial or harmful to the system execution and organization.
Because of this, multiagent systems will only be adopted into domains
that involve risk - like industries, hospitals, military equipments, etc. - if
one can guarantee that it will be able to fulfill its design goals. However, it
is not easy to guarantee this, since it is impossible to map all the possible
behaviors of a system modeled through agent interaction. Some approaches
have already been proposed, but their use is usually extremely complex. Therefore,
this work presents a new method for the experimental verification of
self-organizing multiagent systems, evolving the empiric verification technique
proposed by Kevrekidis and complementing it through an autonomic approach
linked to the simplicity of the verification through online planners. As a
result, a framework for designing, verifying and simulating multiagent systems
is presented.
| Identifer | oai:union.ndltd.org:puc-rio.br/oai:MAXWELL.puc-rio.br:15403 |
| Date | 19 March 2010 |
| Creators | BRUNO DE CASTRO BAHIA ALVARENGA SOARES |
| Contributors | CARLOS JOSE PEREIRA DE LUCENA, CARLOS JOSE PEREIRA DE LUCENA |
| Publisher | MAXWELL |
| Source Sets | PUC Rio |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | TEXTO |
Page generated in 0.0017 seconds