1. Communicative Agent PIM

2. Specification

3. Specification Service View > Communicative Agent > Agent > OOState > OOState AgentID agentKB kb

4. Specification Type View > OOState > WorldObject * > OID > StringOID ---------------------------- + oid : String > ObjectState > AgentID (from Infra) > Communicative AgentID ------------------ + myID : String

5. Specification Type View > Message (from Infra) > AskAction ------------------ + oids : OID[*] > TellAction ------------------ + objects : WorldObject[*] > AskAllAction

6. Realization

7. Realization Service View > Communicative Agent --------------------------------------------------------------- # processCycle(messages : Message[*]) : Message > Message actions *

8. Realization Algorithmic View actions = processCycle( agent.getPerceptions()) agent.sendActions(actions) [not actions.isEmpty()]

9. processCycle(messages : Message[*]) : Message agentKB(sender).worldObject ->includes(m.objects) foreach message m in messages [m.oclIsKindOf(TellAction)] ret.oclIsKindOf(AskAction) and ret.objects = kb.objects-> select(x |m.objects->includes(x.oid)) ret.oclIsKindOf(AskAction) and ret.objects = kb.objects [m.oclIsKindOf(AskAction)] [m.oclIsKindOf(AskAllAction)]