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

• 作者: 冀德学 郑守淇 陈进才
• 来源期刊: 西安公路交通大学学报
• 学科: 工学
• 关键词: 形式化开发方法 形式描述语言 面向Agent程序设计 Z++ 生物机器人
• 年，卷（期）: 2000,（1）
• 页码范围: 108-112
• 页数: 5页
• 分类号: TP18|TP311
• 字数: 3620字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-8879.2000.01.030

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈进才	西安交通大学计算机科学与技术系	33	117	6.0	9.0
2	郑守淇	西安交通大学计算机科学与技术系	66	727	13.0	24.0
3	冀德学	西北建筑工程学院建筑工程系	4	25	2.0	4.0