王小刚
- 作品数：3 被引量：17H指数：2
- 供职机构：兰州理工大学电气工程与信息工程学院更多>>
- 发文基金：甘肃省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Lotos的面向宏的规范风格被引量：2
- 2005年
- Lotos规范风格在系统规范描述中可以体现系统模型的结构性。在已存在的4种Lotos规范风格中,引入了宏的思 想,构思了一种新的Lotos描述风格,即面向宏的规范风格,并分析了基于此风格的规范进程设计方法,以及将此进程应 用于系统实现的方法。该风格适合于描述分层的、内部模型具有相似结构的分布式系统。
- 王继曾张键王小刚
- 关键词：LOTOS
- 移动Agent的迁移实现技术研究
- 本文分析了Agent、软件Agent、移动Agent的概念及其特点,给出了它们的形式化定义.总结了移动Agent的重要实现技术,包括通讯、安全、实现语言、协作模型等,并描述了移动Agent的几大优点.比较了移动Agent...
- 王小刚
- 关键词：移动AGENT迁移ATP传输协议动态路径规划
- 文献传递
- 移动Agent的迁移实现技术研究被引量：12
- 2005年
- 比较了移动Agent技术与其他代码移动技术移动性的区别,概括了移动Agent的移动过程和移动分类,分析了实现迁移的传输协议、移动机制、移动策略以及实现语言,并给出了一个实现动态路径规划的描述类结构.最后以Aglet为例进行了说明.
- 王继曾王小刚
- 关键词：移动AGENT移动性迁移
