Agent Modeling Language Behavioral Models Rafael Oliveira Ricson

Agent Modeling Language: Behavioral Models Rafael Oliveira Ricson Santana Vinícius Remigo Jacques Robin Ontologies Reasoning Components Agents Simulations

Outline 1. 2. 3. 4. 5. 6. Behavior package structure Basic Behavior package Behavior decomposition package Observation and effecting interactions packages Services package Communicative interactions package

Reminder: Overall AML Package Structure

Behavior Package Structure Behavior Decomposition Observations and Effecting Interactions Services Mobility Basic Behavior Communicative Interactions E The AML conceptual metamodel reuses many of the concepts from UML: • behavior, interactions, activities, state machines, etc.

Basic Behavior Decomposition Observations and Effecting Interactions Services Mobility Basic Behavior Communicative Interactions

Basic Behavior: Meta-Model

Basic Behavior E Behaviored. Semi. Entity. Type: E Abstract metaclasss E Specializess Class (from UML) and Serviced. Element (from Services package) E Serves as a common superclass to all metaclasses which can: • Own Capabilities, • Observe and/or effect their environment by means of Perceptors and Effectors, and • Provide and/or use services by means of Serviced. Ports. E Capability: E Model an abstraction of a behavior in terms of its: E inputs, outputs, pre-conditions, and post-conditions. E Allows using common features of all the concrete subclasses of the Capability metaclass uniformly

Basic Behavior: Example Models Capability

Behavior Decomposition Observations and Effecting Interactions Services Mobility Basic Behavior Communicative Interactions

Behavior Decomposition: Meta-Model E Behavior. Fragment allows: E decomposition of complex behaviors of Behaviored-Semi. Entity. Types E the means to build reusable libraries of behaviors and related features.

Behavior Decomposition: Behavior. Fragment E Specialized Behaviored. Semi. Entity. Type used to: E Model coherent and reusable fragments of behavior; E Structural and behavioral features ETo decompose complex behaviors into simpler and (possibly) concurrently executable fragments.

Behavior Decomposition: Example Models Behavior Fragment Definition of the Behavior Fragments

Observation and effecting interactions Behavior Decomposition Observations and Effecting Interactions Services Mobility Basic Behavior Communicative Interactions

Observation and effecting interactions E Observation • Perceives the environment, or its part; • Obtain information about its state or changes of its state; • Observations are not considered to be interactions. E Effecting interaction • Directly manipulating the state of another entity; • The affected entity does not need to be aware that it is being changed;

Observation and effecting interactions: Meta-Model

Observation and effecting interactions E Observations • Observations are modeled by means of perceptors. • Perceptor types are used to specify a perceptor of that type can make. • Perceiving acts are used to specify what perceptions their owners, or perceptors of given type, can perform. • The specification of which entities can observe others is modeled by a perceives (metaclass Perceives) dependency. E Effecting Interactions • Different aspects of effecting interactions are modeled analogously, by means of: • effectors, effector types, effecting acts, and effects dependencies.

Observation and effecting interactions: Example Models Perceptor. Type Perceptor Perceives Effector. Type Effector Effects

Services Behavior Decomposition Observations and Effecting Interactions Services Mobility Basic Behavior Communicative Interactions

Services: Meta-Model

Services: Meta-Model EService Specification E Specify properties of the functionality of the service and the way the specified service can be accessed. EService Elements E Superclass to all the metaclasses that can provide or use services EService Provision E Specialized Realization dependency (from UML) between a Service. Specification and a Serviced. Element; E Specify that the Serviced. Element provides services EService Usage E Specialized Usage dependency (from UML) between a Service. Specification and a Serviced. Element, ; E Specify that the Serviced. Element uses or requires (can request) services

Services: Specification

Service Specification: Example Models Communication Diagram Sequence Diagram Textual Notation

Services: Element

Service Element: Example Models Service Element

Services: Provision and Usage

Service Provision and Usage: Example Models Service Specifiction Service Element Service Usage Service Provision

Communicative Interactions Behavior Decomposition Observations and Effecting Interactions Services Mobility Basic Behavior Communicative Interactions

Communicative Interactions Package E Generic extensions to UML interactions provide the means to model: EInteractions between groups of entities, Edynamic change of an object’s attributes induced by interactions, Emessages not explicitly associated with an invocation of corresponding operations and signals. E The agent specific extension allows the modeling of: Espeech act based interactions between MAS entities Einteraction protocols.

Communicative Interactions: Multi-lifeline E Communicative Interactions—multi-lifeline: is a specialized UML lifeline used to represent (unlike UML lifeline) multiple participants in interactions. Multi. Lifeline

Communicative Interactions: Example Models Multi. Lifeline Multi. Message Subset

Communicative Interactions: Multi-message, Decoulpled Message and Palyload

Communicative Interactions: Meta-Model Multi. Message Decoupled. Message. Payload Communication. Message Communication. Messa. Payload

Communicative Interactions: Example Models Decoupled. Message. Payload Decoupled. Message

Communicative Interactions: Example Models Communication. Message. Payload Communication. Message

Communicative Interactions: Subset

Communicative Interactions: Join

Communicative Interactions: Example Models Join

Communicative Interactions: Attribute Change Attribute. Change

Communicative Interactions: Example Models Unaffected Lifeline Destroy attribute Create attribute Attribute. Change

Behaviors in AML: Strengths E E Allows the modeling of mobility more complexly Covers the static deployment structure Mobility dynamics and behavior. Explicit modeling of behavior fragments Ereusable libraries of capabilities, Edoes not appear in any other modeling language. E Framework for modeling advanced interactions. E Complex modeling of non-communicative interactions and effecting acts E Explicit modeling of perceptors and effectors

Behaviors in AML: Limitations E Technology-specific modeling frameworks Ere-usable model libraries E Lack specific semantics, Ee. g. What events or actions are “socially sensitive” EModel special social properties ESpecial actions to manipulate entity role playing is more explicit and therefore semantically rich. E Customize and extend the generic AML modeling constructs EModeling of specific architectural concepts of particular (MAS) technologies.

Communicative Interactions: Meta-Model Communicative. Interaction. Protocol

Communicative Interactions: Message. Trigger Decoupled. Message. Trigger Communication. Message. Trigger

Communicative Interactions: Send. Message. Action Send. Decoupled. Message. Action Send. Communication. Message. Action

Communicative Interactions: Accept. Message. Action Accept. Decoupled. Message. Action Accept. Communication. Message. Action

222 Communication. Interaction Fig 5. 49 Interaction. Protocol 226 Decoupled. Message. Trigger 227 Comunication. Message. Trigger