| 基于Z智能代理框架的AB协议规范 |
| |
| 引用本文： | 许强,温涛.基于Z智能代理框架的AB协议规范[J].石油化工高等学校学报,1998,11(4):74-78. |
| |
| 作者姓名： | 许强 温涛 |
| |
| 作者单位： | 东北大学软件中心(许强)，抚顺石油学院计算机科学与技术系(温涛) |
| |
| 摘 要： | 构造了由对象、代理和智能代理组成的基于Ｚ的智能代理框架结构，并利用该框架规范了ＡＢ（ＡｌｔｅｒｉｎｇＢｉｔ）协议系统，从而证明了基于Ｚ的智能代理框架结构具有有限状态机（ＦＳＭ）和时序逻辑（ＴＬ）的全部优点，并弥补了两者在协议模型表示上的不足，是一种具有较强描述能力的、严密的模型形式化工具。
|
| 关 键 词： | 对象 代理 智能代理 协议 |
AB Protocol Specificatio Based Z Intelligent Agent Framework |
| |
| Xu Qiang.AB Protocol Specificatio Based Z Intelligent Agent Framework[J].Journal of Petrochemical Universities,1998,11(4):74-78. |
| |
| Authors: | Xu Qiang |
| |
| Abstract: | A framework based Z intelligent agent is constructed and the Altering Bit protocol is specified by this framework. This proves that the framework is better than FSM and TL. This framework is a good formalizing tools with strong ability. |
| |
| Keywords: | Object Agent Intelligent agent Protocol |
| 本文献已被 CNKI 维普 等数据库收录！ |
