Multi-Agent System Modeling Language (MAS-ML)

Apresentação em tema: "Multi-Agent System Modeling Language (MAS-ML)"— Transcrição da apresentação:

1 Multi-Agent System Modeling Language (MAS-ML)
Viviane Torres da Silva Ricardo Choren Carlos J. P. de Lucena

2 MAS-ML Estende o meta-modelo de UML com base no framework conceitual TAO Meta-modelo MAS-ML estende o meta-modelo de UML Novos estereótipos Novas meta-classes © LES/PUC-Rio

3 MOF ER meta-meta-modelo meta-meta-modelo UML TAO meta-modelo
Camada de meta-meta-modelo instanciação UML meta-modelo TAO meta-modelo Camada de meta-modelo unificação MAS-ML meta-modelo Camada de modelo de domínio MAS-ML modelos Camada de instância © LES/PUC-Rio

4 Meta-classes do meta-model UML
Meta-modelo MAS-ML Element 1..* * 1..* Features Classifier AgentMessage 1 * sender receiver Structural Feature Behavioral Feature Class AgentClass EnvironmentClass ObjectRoleClass AgentRoleClass Active EnvironmentClass Passive EnvironmentClass Belief Goal OrganizationClass Property Axiom Right Duty Operation AgentAction AgentPlan AgentProtocol 1..* * * 0..1 0..1 0..1 0..1 Legenda Meta-classes do meta-model UML precondition precondition * * Novas meta-classes Constraint * * Novos estereótipos © LES/PUC-Rio postcondition postcondition

5 Meta-classes do meta-modelo UML
Meta-modelo MAS-ML play AgentClass 1 1..* AgentRoleClass 0..* 0..* 0..* 1..* inhabit play in define play 1 1..* 1 1 sub-org EnvironmentClass 1 1..* OrganizationClass 1 0..* ObjectRoleClass inhabit define 1 sub- org 0..* 1 0..* 0..* play play in play in 0..* 1 inhabit 0..* Class Legenda Meta-classes do meta-modelo UML Novas meta-classes © LES/PUC-Rio

6 Meta-modelo MAS-ML Element Relationship Classifier Association
1..* Classifier Association Directed Relationship Dependency Ownership Inhabit Control Play Generalization Legenda Meta-classes do meta-modelo UML Novas meta-classes © LES/PUC-Rio

7 MAS-ML MAS-ML modela os aspectos estruturais e dinâmicos descritos no TAO Aspectos estruturais: entidades, propriedades e relacionamentos Aspectos dinâmicos: interação entre as entidades e execuções internas Diagramas estáticos: classes, organizações e papéis Diagramas dinâmicos: seqüência e atividades © LES/PUC-Rio

8 Diagramas Estáticos

9 Diagrama de Classe de UML
Representa as classes e os relacionamentos entre as classes Item Order User Book Nome_da_classe atributo1 atributo2 metodo1 metodo2 metodo3 ... Imported Books Second-hand Books © LES/PUC-Rio

10 Diagramas para SMA Como representar agentes, organizações, papéis e ambientes? Como representar relacionamos específicos de SMA, como inhabit, control e play? Novo elemento de diagrama para representar novas entidades e relacionamentos © LES/PUC-Rio

11 Elementos dos diagramas I
Class AgentClass AgentRoleClass ObjectRoleClass OrganizationClass Entidades EnvironmentClass EnvironmentClass Relacionamento Inhabit In principle as TAO defines a set of six entities and eight different relationships, we should need fifteen new diagram elements to represent them. Fortunately, an entity and some relationships defined in TAO are also presented in the UML meta-model. AgentRoleClass AgentRoleClass Relacionamento Control © LES/PUC-Rio

12 Elementos dos diagramas II
OrganizationClass AgentRoleClass Relacionamento Ownership OrganizationClass AgentRoleClass AgentClass Relacionamento Play © LES/PUC-Rio

13 Agente AgentClass <<goal>> type : name [= default-value]  plan-list <<belief>> type : name [= default-value] {precondition-list} action {postcondition-list} plan {action-list}  goal-name Características estruturais comportamentais © LES/PUC-Rio

14 Organização OrganizationClass
<<goal>> type : name [= default-value]  plan-list <<belief>> type : name [= default-value] <<axiom>> type : name [= default-value] {precondition-list} action {postcondition-list} plan {action-list}  goal-name Características estruturais comportamentais © LES/PUC-Rio

15 Papel de Agente AgentRoleClass
<<goal>> type : name [= default-value] <<belief>> type : name [= default-value] <<duty>> action <<right>> action protocol-name { messsage: {label: value, content: value, sender : value, receiver: value} ...} Características estruturais comportamentais © LES/PUC-Rio

16 Papel de Objeto ObjectRoleClass
[visibility] type : name [= default-value] [visibility] name (parameter-list) : returned-value Características estruturais comportamentais © LES/PUC-Rio

17 Ambiente EnvironmentClass EnvironmentClass Características or
estruturais or Características comportamentais Entidades que habitam o ambiente © LES/PUC-Rio

18 Diagrama de Classes Objetivos: representar os relacionamentos entre classes e outras entidades do SMA e representar os relacionamentos entre agentes, ambientes e organizações. Classes usadas neste diagrama: agent class, organization class, environment class e outras definidas por UML. Relacionamentos usados neste diagrama: Aqueles já definidos por UML; inhabit – usado entre classes e ambientes; association – usado entre agente e classes, entre organizações e classes, e entre ambientes; specialization – usado entre agentes, entre organizações e entre ambientes. © LES/PUC-Rio

19 Diagrama de Classes Virtual Marketplace association Organization A
AgentA Item Book Organization B AgentB specialization Imported Books Second-hand Books inhabit Legend: Object / Environment Organization Agent © LES/PUC-Rio

20 Diagrama de Organizações
Objetivo: modelar as organizações e os relacionamentos entre as organizações e outras entidades do SMA. Cada diagrama de organização modela uma organização Classes usadas neste diagrama: organization class, agent class, agent role class, object role class, class e environment class. Relacionamentos usados neste diagrama: ownership – usado entre organizações e papéis que a organização define; play – usado entre agentes e papéis de agentes, entre sub-organizações e papéis de agentes, e entre classes e papéis de objeto; inhabit – usado entre ambiente e organizações e entre ambiente e agentes. © LES/PUC-Rio

21 Diagrama de Organizações
inhabit Virtual Marketplace play Store Agent User Agent Seller Buyer <<main-organization>> General Store Market of Special Goods Market of Used Goods Book Imported Bookstore Second-hand Bookstore Offer Desire Object role Agent role Object / Environment Agent Organization Legend: ownership © LES/PUC-Rio

22 Diagrama de Papéis Objetivo: modelar os papéis e os relacionamentos entre os papéis Classes usadas neste diagrama: agent role class, object role class e class Relacionamentos usados neste diagrama: control – usado entre papéis de agente; dependency – usado entre papéis de objeto, entre papel de agente e papel de objeto e entre papéis de agente; association – usado entre papéis de objeto, entre papel de agente e papel de objeto, entre papéis de agente e entre qualquer papel e uma classe; aggregation – usado entre papéis de objeto e entre papéis de agente; specialization – usado entre papéis de objeto e entre papéis de agente. © LES/PUC-Rio

23 Diagrama de Papéis association control specialization Offer Desire
Seller Buyer Market of Special Goods Seller of Second-hand Books Buyer of Second-hand Books Buyer of Imported Books Seller of Imported Books Offer of Imported Books Offer of Second-hand Books Desire of Second-hand Books Desire of Imported Books control Market of Used Goods Seller specialization Legend: Seller of Imported Books Object role Agent role © LES/PUC-Rio

24 Diagramas Dinâmicos

25 Diagrama de Seqüência de UML
Representa a interação entre os objetos e as execuções dos métodos © LES/PUC-Rio

26 Diagrama de Seqüência de MAS-ML
Objetivo: representar as interações entre as instâncias do SMA e representar as ações internas destas instâncias. Representar interações: troca de mensagens entre entidades Modelar troca de mensagem: Redefinir mensagens Criar novos estereótipos associados à mensagens Modelar protocolos Representar ações internas (intra-ações): Modelar planos e ações © LES/PUC-Rio

27 Elementos dos diagramas
org/role/org/env : OrganizationClass/AgentRoleClass/OrganizationClass/EnvironmentClass Novos pathnames e novos ícones Objeto obj/role/org/env : Class/ObjectRoleClass/OrganizationClass/EnvironmentClass Agente agent/role/org/env : AgentClass/AgentRoleClass/OrganizationClass/EnvironmentClass Organização : RoleClass Papel Active entity Passive entity Ambiente env : EnvironmentClass env : EnvironmentClass © LES/PUC-Rio

28 Redefinindo mensagens
UML: mensagens são chamada de métodos SMA: mensagens não são diretamente mapeadas para uma execução interna do agente method_name () sender receiver message_label (content_description) sender receiver © LES/PUC-Rio

29 Estereótipos de mensagens
Como representar a criação de entidades de SMA? UML: uso do estereotipo <<create>> Estender para representar a criação de entidades de SMA Como representar a destruição de entidades de SMA? UML: uso do estereotipo <<destroy>> Estender para representar a destruição de entidades de SMA © LES/PUC-Rio

30 Criando e destruindo entidades
Criando uma organização Anne/FruitBuyer : UserAgent/Buyer <<create>> FruitStore/FruitWholesale: Store/Wholesale . . Destruindo uma organização - I Anne/FruitBuyer : UserAgent/Buyer FruitStore/FruitWholesale: Store/Wholesale . . <<destroy>> . Destruindo uma organização - II Anne/FruitBuyer : UserAgent/Buyer FruitStore : Store . . <<destroy>> . © LES/PUC-Rio

31 Estereótipos de mensagens
Como representar a relação entre papéis e entidades que desempenham papéis? <<role_commitment>> Entidade se comprometendo com um novo papel <<role_cancel>> Entidade cancelando papel <<role_activate>> Entidade ativando papel <<role_deactivate>> Entidade desativando papel <<role_change>> Entidade mudando de papel © LES/PUC-Rio

32 Criando papel Criando um papel de agente Criando um papel de objeto
Bob/FruitBuyer : UserAgent/Buyer <<role_commitment>> Bob/ClothesBuyer : UserAgent/Buyer . . Criando um papel de objeto Bob/FruitBuyer : UserAgent/Buyer <<role_commitment>> Apple/DesirerFruit : Item/Desirer . . © LES/PUC-Rio

33 Cancelando papel Cancelando papel de agente
Bob/FruitBuyer : UserAgent/Buyer Bob/ClothesBuyer : UserAgent/Buyer <<role_cancel>> . Cancelando papel de agente Bob/ClothesBuyer : UserAgent/Buyer <<role_cancel>> Cancelando papel de objeto Bob/FruitBuyer : UserAgent/Buyer Apple/DesirerFruit : Item/Desirer <<role_cancel>> . © LES/PUC-Rio

34 Desativando e ativando papel
Desativar papel Bob/FruitBuyer : UserAgent/Buyer Bob/ClothesBuyer : UserAgent/Buyer <<role_deactivate>> . Bob/ClothesBuyer : UserAgent/Buyer <<role_deactivate>> Ativar papel Bob/FruitBuyer : UserAgent/Buyer Bob/ClothesBuyer : UserAgent/Buyer <<role_activate>> . . © LES/PUC-Rio

35 Mudando de papel Cancelando papel e criando novo papel
Bob/FruitBuyer : UserAgent/Buyer <<role_change>> Bob/ClothesBuyer : UserAgent/Buyer . Cancelando papel e ativando outro papel Bob/FruitBuyer : UserAgent/Buyer Bob/ClothesBuyer : UserAgent/Buyer <<role_change>> . Desativando papel e criando outro papel Bob/FruitBuyer : UserAgent/Buyer <<role_change>> Bob/ClothesBuyer : UserAgent/Buyer . Desativando papel e reativando outro papel Bob/FruitBuyer : UserAgent/Buyer Bob/ClothesBuyer : UserAgent/Buyer <<role_change>> . © LES/PUC-Rio

36 Modelando protocolos Um protocolo define um conjunto de mensagens que entidades podem enviar e receber enquanto desempenhando papéis Request (ItemDescription) Proposal (ItemDescription) AnswerProposal (RejectItemDescription) AnswerProposal (AcceptItemDescription) Inform (Payment) Inform (Bill) : Buyer : Seller else papel mensagem © LES/PUC-Rio

37 Modelando planos e ações
Execução interna dos agentes, organizações e ambientes ativos são definidas pela execução dos planos e ações. : GeneralStore Creating_seller : UserAgent/Buyer if (message_label = request) Execution of a Plan create_seller <<create>> : UserAgent/Seller Execution of an Action inform_buyer_of_seller inform (seller_id) Execution of an Action else © LES/PUC-Rio

38 Diagrama de Atividades de UML
Objetivo: modelar o fluxo das atividades de um sistema O foco está na seqüência de atividades e não na interação entre os objetos Atividades: execução não atômica composta de ações Ação: execução atômica © LES/PUC-Rio

39 Diagrama de Atividades de MAS-ML
Objetivo: representar a modelagem de planos e ações de um agente O foco está na modelagem de um agente e não na interação entre os agentes Atividades -> Planos de agentes Ações -> Ações de agentes © LES/PUC-Rio

40 Extensão Diagrama de Atividades
<<role_change>> A3 A4 … <<environment>> E1 E2 <<organization>> O2 O1 R3 R1 P2 Plan Action Roles © LES/PUC-Rio

41 Exemplo Selling Informing Price Informing proposal Payment
accepted] Informing Price Informing proposal rejected] Payment <<goal>> <<goal>>to have an item sold <<role>>Seller Receiving Final Position © LES/PUC-Rio

42 Ambiente Identificado ambiente Modelando a mudança de ambiente
© LES/PUC-Rio

43 Referências Silva, V. T.; Lucena, C. J. P. From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language. Sycara, K., Wooldridge, M.(Edts.), Journal of Autonomous Agents and Multi-Agent Systems, Kluwer Academic Publishers Silva, V. T.; Lucena, C. J. P. From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language. Sycara, K., Wooldridge, M.(Edts.), Doctoral Thesis, 31st March, 2004. Silva, V. T.; Cortés, M.; Lucena, C. J. P. An Object-Oriented Framework for Implementing Agent Societies. Technical Report (MCC32/04), Computer Science Department, PUC-Rio. Rio de Janeiro, Brazil SILVA, V.; GARCIA, A.; BRANDAO, A.; CHAVEZ, C.; LUCENA, C.; ALENCAR, P. Taming Agents and Objects in Software Engineering. In: GARCIA, A.; LUCENA, C.; ZAMBONELI, F.; OMICINI, A; CASTRO, J., (Eds.) Software Engineering for Large-Scale Multi-Agent Systems. LNCS 2603, Berlin: Springer, 2003. Costa, Andrew D.; Silva, Viviane T., Lucena, Carlos J. P.; Web site Agent Society Framework, 2007. Costa, Andrew D.; Silva, Viviane T., Lucena, Carlos J. P.;Remodelando e Estendendo o Agent Society Framework, n° MCC17/06, Departamento de Infomática da Pontifícia Universidade Católica do Rio de Janeiro, © LES/PUC-Rio