Open AEOlus: um método para especificação de sistemas multiagentes abertos

Abstract

Sistemas multiagentes (SMA) abertos auxiliam na resolução de problemas complexos, nos quais nem todos os componentes podem ser conhecidos antes da execução do sistema. Dessa forma, uma ou mais dimensões de um sistema aberto não podem ser especificadas em tempo de desenvolvimento. Um número considerável de métodos foram desenvolvidos para modelagem de SMA, porém estes não apresentam características que auxiliem na especificação da abertura. Pensando nisso, este trabalho propõe um método, chamado Open AEOlus, para auxiliar na modelagem de SMA abertos. O método está embasado em dois pilares: a modelagem independente de cada uma das dimensões do sistema (agente, ambiente e organização) e a especificação dos conceitos de borda, que visam prover informações em tempo de projeto que auxiliem os elementos da dimensão aberta a serem incluídos em tempo de execução. O método é composto por três fases de desenvolvimento: análise, que visa criar uma definição clara do sistema; projeto, onde os elementos de cada dimensão fechada serão especificados independentemente; e implementação, onde os elementos definidos durante a fase de projeto serão refinados visando a geração de código para o framework JaCaMo. Nessa tese, o método Open AEOlus é descrito com a ajuda de dois exemplos de uso, que permitem visualizar os work produts gerados ao longo de cada uma das suas fases de desenvolvimento.

Abstract : Open multi-agent systems are used to solve many problems in which one or more component can't be specified in design time. That means that, at design time, at least one of MAS dimensions cannot be specified. Many methods are proposed in agent-oriented software engineering field to analysis and design multi-agent systems, but they don't offer guidelines to help the design of openness. In this thesis, we present the Open AEOlus method, that aims to allow the analysis and design of open MAS. The method is based on the idea that dimensions (agents, environment and organization) must be specified independently, and also on the definition of the border concepts. Border concepts are used to provide, at design time, information that must be used on runtime in order to support the integration of the open elements. The Open AEOlus method is composed by three development phases: analysis, in which a clear system definition is provided, design, in which the elements of closed dimensions are designed independently, and implementation, in which these elements are refined to allow the code generation in a specific target platform. In this work, we choose JaCaMo framework as a target platform. In this thesis, the Open AEOlus method is described with two examples, that are used to visualize the work products generated throughout the method development phases.