|
|||||
|
|
| AOSE中Agent行为的形式化定义与描述方法 | |
| 引用本文： | 曹军海,张和明,熊光楞.AOSE中Agent行为的形式化定义与描述方法[J].系统工程与电子技术,2004,26(11):1684-1686. |
| 作者姓名： | 曹军海 张和明 熊光楞 |
| 作者单位： | 清华大学自动化系CIMS中心,北京,100084 |
| 基金项目： | 国家"863"高技术计划基金资助课题(2002AA411320) |
| 摘 要： | 为了支持多Agent软件系统的设计与开发,提出了一种基于形式化方法的Agent行为的定义与描述方法.该方法从Agent的状态、动作、动作序列到活动,采用形式化描述语言,逐步建立对Agent行为的定义和描述,该方法结构清晰,可理解性和可操作性强,能够有效地表棕并发性的Agent行为,为在基于AOSE的多Agent软件系统设计中,进行Agent行为特征的分析、定义和描述提供了一套有效方法. |
| 关 键 词： | 面向Agent的软件工程 行为 形式化 软件 |
| 文章编号： | 1001-506X(2004)11-1684-03 |
| 修稿时间： | 2003年11月14 |
| 本文献已被 万方数据 等数据库收录！ | |