AICT'11 Proceedings of the 2nd international conference on Applied informatics and computing theory
| Hi-index | 0.00 |
For a multi-agent system to work according to its specifications,the individual agents that compose it must abide by the interactionprotocol that binds their actions. This interaction protocoldelimits what the agents can do, so therefore, their ability tocommunicate, negotiate, and collaborate. By making some actionsconditional to someother actions, it even enforces the controlstructure of the system. This paper presents a simplerepresentation based on conceptual graphs used to describe aninteraction protocol in a declarative way, and shows howsubsumption between constraint graphs and asserted graphs can beused to enforce it. Our claim is that a declarative, logic-based,graphical representation of an interaction protocol will help thesystem designer to describe and validate it, to enforce it, andsubsequently to update it, therefore improving the developmentcycle of the system, more particularly its design phase.