王栩
- 作品数:4 被引量:22H指数:3
- 供职机构:中国科学院软件研究所更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 对象演算Ⅱ被引量:3
- 1999年
- 文章应用Goguen 等人的结论证明并得到了几个结构化对象演算的基本定理.一方面,这些定理保证了该文可由现有对象的描述构造新对象的描述,并且可以把建立在现有对象上的定理作为整个对象描述和验证的引理.另一方面,文章还讨论了基于封装性的对象精化.
- 黄涛钱军王栩
- 一种基于分布式资源域理论的形式化语言(英文)
- 2001年
- 介绍了一种带有 Agent移动的分布计算形式化语言——资源域语言 .与分布移动计算中的同类工作相比较 ,它没有采用基于 π-演算进行扩充的方法 ,而是以一种带资源的类 λ-演算为核心发展而来 .这使得它可以直接支持内存单元式的资源 ,而不是间接地通过进程 /通道来模拟 .进一步地 ,资源域语言还对“位置”的概念进行了特殊的处理 ,产生了“域”的概念 .域和内存资源结合在一起使得资源域语言成为对现有同类工作的一种有益补充 ,提供了描述分布移动系统的一种新途径 .其主要特点包括 :易于实现和更接近实际语言 (如 Obliq,Telescript)的程序设计模型 .
- 王栩黄涛冯玉琳
- 关键词:移动AGENT形式化语言
- 一种基于对象序列图的组件交互协议设计方法被引量:5
- 2001年
- 基于组件的软件开发 (component basedsoftwaredevelopment,简称CBSD)现已成为软件开发的主流范型之一 ,其关心的核心问题是组件标准化与组件间的互操作性 .它在互操作方面被广泛采用的思想是 ,分离组件的功能与交互特征 ,使用独立部件 交互协议来协调组件之间的交互 .基于这种思想 ,探讨运用UML(unifiedmodel inglanguage)的对象序列图 (objectsequencediagram ,简称OSD)方法进行组件交互协议设计的多个方面的研究 ,其中包括OSD规范的形式定义以及规范的静态和动态形式分析方法 。
- 魏峻王栩李京
- 关键词:组件互操作交互协议软件开发
- Agent系统通讯理论及组织结构的研究
- 该论文正是抓住Speech-act通讯这个关键点对多Agent系统进行研究.我们的研究将专注于Agent的通讯特性;因此,我们称被研究的Agent系统为Agent通讯系统.该论文是以一种软件工程的方式对Agent通讯系统...
- 王栩
- 关键词:AGENT会话协议软件工程
- 文献传递