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 |
Formalization method for definition and description of Agent behaviors in AOSE-based multi-Agent software development |
| |
Abstract: | |
| |
Keywords: | Agent-oriented software engineering behavior formalization software |
本文献已被 万方数据 等数据库收录! |
|