Formalizing Interactions and Interaction Protocols in Multi-Agent Systems *

焦文品,史忠植
2001-01-01
Ruan Jian Xue Bao/Journal of Software
Abstract:Interactions and interaction protocols in multi-agent systems are investigated deeply and described formally in a process calculus, the π-calculus. To discuss interactions between agents, the behaviors of agents are cataloged first, and then their specifications are formalized. After that, interaction protocols between agents are defined using processes, and the consistency and deadlock-freedom of interactions are also analyzed.
What problem does this paper attempt to address?