摘要
为了适应面向 Agent技术的发展及其系统设计的需求 ,提出一种基于面向 Agent程序设计 ( AOP)风范的形式描述语言具有重要的理论指导价值和实际意义。在 Z+ +的基础上 ,讨论其AOP扩展问题 ,从而提出具有 AOP风范的形式描述语言 Z+ + a,同时还给出了一个关于高度智能化、人格化生物机器人的 Z+ + a形式描述简例。
In order to accommodate the requirements of agent oriented technology developments and associated system designs, the significant meanings, both in theoretical and practical view, to put forward a formal specification language based on agent oriented programming(AOP) paradigm is analyzed. The problem of AOP extensions to Z++ is discussed, and a formal specification language named Z++a, possessing AOP paradigm, is presented. A highly intelligentized and impersonated biologic robot description is given in the formal specification language Z++a.
出处
《西安公路交通大学学报》
CSCD
北大核心
2000年第1期108-112,共5页
Journal of Xi'an Highway University
基金
国家教育部博士学科点专项科研基金! ( 95 6982 6)
关键词
人工智能
Z++
生物机器人
AOP扩展
Agent程序
formal development
formal specification language
agent oriented programming
Z++
biologic robot
