论文部分内容阅读
会话以及与之相关的会话协议的概念,作为用来刻画Agent之间交互的抽象机制已经研究多年。然而对这些抽象的形式化规范还没有达成共识。文中基于着色网的形式化表示,对多Agent系统中Agent之间复杂并行的会话进行建模。着色网不但可以用来描述简单的会话协议,也可以描述由简单会话协议合成的复杂会话,刻画会话的并行特征以及复杂会话运行时的状态。