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

摘要：

为了支持多Agent软件系统的设计与开发,提出了一种基于形式化方法的Agent行为的定义与描述方法.该方法从Agent的状态、动作、动作序列到活动,采用形式化描述语言,逐步建立对Agent行为的定义和描述,该方法结构清晰,可理解性和可操作性强,能够有效地表棕并发性的Agent行为,为在基于AOSE的多Agent软件系统设计中,进行Agent行为特征的分析、定义和描述提供了一套有效方法.

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

所属期刊栏目：26

分类号：TP18(自动化基础理论)

资助基金：国家高技术研究发展计划863计划2002AA411320

在线出版日期：2005-01-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1684-1686,1693