AOSE中Agent行为的形式化定义与描述方法  

Formalization method for definition and description of Agent behaviors in AOSE-based multi-Agent software development

作　　者：曹军海[1] 张和明[1] 熊光楞[1] 

机构地区：[1]清华大学自动化系CIMS中心,北京100084

出　　处：《系统工程与电子技术》2004年第11期1684-1686,1693,共4页Systems Engineering and Electronics

基　　金：国家"863"高技术计划基金资助课题(2002AA411320)

摘　　要：为了支持多Agent软件系统的设计与开发,提出了一种基于形式化方法的Agent行为的定义与描述方法。该方法从Agent的状态、动作、动作序列到活动,采用形式化描述语言,逐步建立对Agent行为的定义和描述,该方法结构清晰,可理解性和可操作性强,能够有效地表棕并发性的Agent行为,为在基于AOSE的多Agent软件系统设计中,进行Agent行为特征的分析、定义和描述提供了一套有效方法。To support the design and development of Multi-Agent software, a formalization method is put forward for definition and description of Agent behaviors. The method, with formalization description language, creates definition and description of Agent behaviors step by step from the aspects of state, action, action sequence and activity. The method has a legible structure, and is easy to understand and implement. It can effectively desori be the concurrent behaviors of Agent, and provides an effective approach to analysis, definition and description of Agent behavious in AOSE-based multi-Agent software development.

关 键 词：面向Agent的软件工程 行为 形式化 软件 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]