基于着色网的Agent会话协议规范与会话建模  

CPN-based Specification for Agent Conversation Protocol and Conversation Modeling

作　　者：凌兴宏[1] 丁秋林[1] 伍贝妮[1] 

机构地区：[1]南京航空航天大学计算机应用研究所,江苏南京210016

出　　处：《计算机应用》2003年第7期66-68,共3页journal of Computer Applications

摘　　要：会话以及与之相关的会话协议的概念,作为用来刻画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 multiagent 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. 

关 键 词：会话 会话协议 着色网 建模 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]