Z++a:Z++的AOP扩展

摘要：

为了适应面向Agent技术的发展及其系统设计的需求,提出一种基于面向Agent程序设计(AOP)风范的形式描述语言具有重要的理论指导价值和实际意义.在Z++的基础上,讨论其AOP扩展问题,从而提出具有AOP风范的形式描述语言Z++a,同时还给出了一个关于高度智能化、人格化生物机器人的Z++a形式描述简例.

关键词：形式化开发方法、形式描述语言、面向Agent程序设计、Z++、生物机器人

所属期刊栏目：20

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

资助基金：高等学校博士学科点专项科研项目9569826

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

页数：共5页

页码：108-112