国家自然科学基金(60273034)
- 作品数：17 被引量：275H指数：5
- 相关作者：吕建陈韬略陶先平韩婷婷徐锋更多>>
- 相关机构：南京大学香港理工大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术轻工技术与工程电子电信更多>>
- 部分状态空间的建模及其验证
- 1 引言模型检测技术使用状态空间搜索的方法来全自动地检验一个有穷状态系统是否满足其设计规约,进而提高软件的安全性和正确性。然而随着目前软件系统规模的日益增大,在早期(如需求分析阶段)无法获取系统完整的信息,这就导致了某种...
- 韩婷婷陈韬略颜锋吕建
- 文献传递
- Cogent后组装技术研究与实现被引量：17
- 2002年
- 构件组装技术是构件软件的核心技术之一.本文分析了当前构件组装机制的现状及几个有代表性的构件组装机制的不足之处,然后提出了一种基于移动Agent技术的构件组装技术,它利用后组装技术弥补了传统连线机制中构件组装机构改动困难、构件装配欠灵活的弱点.其方法足通过提出的组调用表与定位表的概念,实现构件功能体与组装机制的分离,各自独立开发与编译.最后本文通过一个实例说明了Cogent构件后组装技术的特点.
- 胡海洋杨玫陶先平吕建
- 关键词：移动AGENT软件工程构件组装技术
- 鲁棒环境演算类型演化系统的扩充(英文)被引量：2
- 2004年
- 移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算是针对这种演算的一种改进。文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行。在[2]的基础上,进一步讨论了此问题。通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中。证明了类型系统的正确性。同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性。
- 陈韬略冯扬悦吕建韩婷婷
- 关键词：进程代数环境演算
- 有限状态自动机的移动进程演算模拟
- 1 引言计算模型一直是计算机科学研究的重要问题之一。随着计算机技术和网络技术的发展,并发已成为新一代计算范型的本质特征,对并发本质的把握有着重要的理论和现实意义。目前,对并发计算模型的研究主要集中在并发系统的形式模型和形...
- 陈韬略韩婷婷颜锋吕建
- 文献传递
- 基于移动agent的软件实体适配技术研究被引量：1
- 2005年
- 在开放的Internet平台上,通过对已有软件实体进行集成以构建应用系统成为一种重要的软件开发方法.其中软件适配技术是关键技术之一.传统适配技术对Internet这个开放平台上的软件集成的支持存在欠缺,主要表现在对可组合、可重用、可配置和可移动的支持不够.利用agent的移动性和封装能力,提出了一种基于移动agent技术的适配方法.提出了一个统一的agent集成框架及其支撑技术,有效支持软件适配内容的封装和运行.在该框架中,对适配的一个重要方面———组合实体———进行了探讨.最后介绍了移动agent适配技术的系统实现.
- 赵洁韩亮陶先平吕建
- 关键词：适配移动AGENT
- 移动Agent系统的一个因果保序通信协议被引量：1
- 2005年
- 讨论了移动Agent系统通信中因果序的保持问题。在界定系统模型和基本假定的基础上,对已有的Agent通信协议做了扩充,给出了一个支持因果保序的新协议。此协议对Agent数目的动态变化具有良好的适应性,较好地解决了移动所带来的影响。
- 陈韬略韩亮陶先平吕建
- 关键词：移动AGENTAGENT通信
- 一种基于中介的适应性软件协同环境的设计与实现被引量：5
- 2005年
- Internet平台的发展为软件协同带来了巨大的挑战。Internet平台要求软件协同及中间件能够适应Internet之上软件的多样性,复杂性和多变性。而传统的软件协同存在协同模式单一的不足,不具有适应性和灵活性的特点,难以适应网络环境和用户需求的变化。本文在Internet软件协同研究背景下,基于共享空间协同技术,设计并实现了一个基于中介的适应性协同环境,为Internet平台提供了良好的中介协同支撑。
- 许婷俞春陶先平吕建
- 关键词：中介适应性元组协同环境适应性中介NET平台协同技术
- 复制受限的环境演算中模态逻辑的内涵性
- 2004年
- 环境演算(MA)的模态逻辑AL进行了研究.在考虑了复制操作和限制操作的情况下,提出了逻辑等价的协归纳操作描述,并利用协归纳关系与进程结构同余关系进行比较,证明了若对MA加上约束条件得到子集MAsynIF,此时逻辑等价(=L)与结构同余关系是等价的,即AL在MAsynIF中是内涵的.同时发现由于复制操作的存在,AL的内涵性受到了影响,使得AL的区分能力被削弱,但通过对复制公式的构造验证了AL的表达能力.
- 颜锋陈韬略韩婷婷吕建
- 关键词：移动计算进程代数模态逻辑内涵性同余关系
- 多元χ演算运行时错误的不可判定性
- 2004年
- 针对多元χ演算运行时刻通信安全的判定性问题进行了研究.通过从Lazyλ项到χ项的编码,将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题.证明了在多元χ演算中,通讯错误也是不可判定的.结论说明不存在算法直接来检测进程的通信安全性,而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的.
- 陈韬略韩婷婷颜锋吕建
- 关键词：不可判定性进程代数通信安全
- 上下文感知计算研究与进展
- 普适计算和传统计算模式相比,它的突出优点在于上下文感知的能力,计算实体能够根据上下文环境的变化及时调整自身行为,从而把人从对计算设备的管理和输入中解放出来,使之关注要执行的任务本身。本文从软件技术的角度探讨了上下文感知计...
- 卜颖毅李俊陈沙寻韩皓陶先平吕建
- 关键词：上下文感知计算普适计算
- 文献传递
