摘要
会话以及与之相关的会话协议的概念,作为用来刻画Agent之间交互的抽象机制已经研究多年。然而对这些抽象的形式化规范还没有达成共识。文中基于着色网的形式化表示,对多Agent系统中Agent之间复杂并行的会话进行建模。着色网不但可以用来描述简单的会话协议,也可以描述由简单会话协议合成的复杂会话,刻画会话的并行特征以及复杂会话运行时的状态。
The notion of conversations,and their associated conversation protocols,as abstract representations to be used to characterize interaction between agents has been discussed in the agent community for several years now. However,there is still no consensus on an appropriate formal specification for these abstractions. This paper describes a proposed formalism based on Colored Petri Nets that is to be used for the modeling of complex,concurrent conversations between agents in a multiagent system. The approach described in this paper can be used both to define simple conversation protocols and to define protocols for more complex conversations composed of a number of simpler conversations. It can capture the concurrent characteristics of a conversation and the state of a complex conversation during runtime.
出处
《计算机应用》
CSCD
北大核心
2003年第7期66-68,共3页
journal of Computer Applications
关键词
会话
会话协议
着色网
建模
conversation
conversation protocol
CPN
modeling