国家高技术研究发展计划(2002AA116010)
- 作品数：13 被引量：148H指数：3
- 相关作者：吕建韩婷婷陈韬略陶先平马晓星更多>>
- 相关机构：南京大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术轻工技术与工程经济管理电子电信更多>>
- 有限状态自动机的移动进程演算模拟
- ＜正＞ 1 引言计算模型一直是计算机科学研究的重要问题之一。随着计算机技术和网络技术的发展,并发已成为新一代计算范型的本质特征,对并发本质的把握有着重要的理论和现实意义。目前,对并发计算模型的研究主要集中在并发系统的形式...
- 陈韬略韩婷婷颜锋吕建
- 关键词：SIMULATION
- 文献传递
- 部分状态空间的建模及其验证
- ＜正＞ 1 引言模型检测技术使用状态空间搜索的方法来全自动地检验一个有穷状态系统是否满足其设计规约,进而提高软件的安全性和正确性。然而随着目前软件系统规模的日益增大,在早期（如需求分析阶段）无法获取系统完整的信息,这就导...
- 韩婷婷陈韬略颜锋吕建
- 文献传递
- 多元χ演算运行时错误的不可判定性
- 2004年
- 针对多元χ演算运行时刻通信安全的判定性问题进行了研究.通过从Lazyλ项到χ项的编码,将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题.证明了在多元χ演算中,通讯错误也是不可判定的.结论说明不存在算法直接来检测进程的通信安全性,而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的.
- 陈韬略韩婷婷颜锋吕建
- 关键词：不可判定性进程代数通信安全
- 一种改进的安全环境演算及其行为等价关系研究
- 2005年
- 移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型.移动环境演算是一种广为使用的描述移动计算的形式化模型.安全环境演算为每个动作原语增加了一个相应的协动作原语,从而解决了强干扰问题.然而,SA的语法定义在直觉上并不能很好地描述out原语的协动作,同时其代数性质也存在一些缺陷.针对这些问题,一方面调整了SA的归约关系,将出入动作的语义统一在“进入时检查”这一约定之下,使其更符合直觉含义.在此基础上,通过采用Honda-Yoshida的技术,定义开接口互模拟等价关系,修正了SA代数性质上的缺陷,并通过一个防火墙的例子说明了改进的安全环境演算及其行为等价关系的合理性.
- 韩婷婷陈韬略吕建马骞
- 关键词：移动计算进程代数
- 软件协同中基于中介的协同模型应用研究被引量：3
- 2004年
- 在开放、动态的Internet平台上实现软件资源的协同是网络技术研究热点之一 .传统的软件协同存在协同模式单一的不足 ,不能很好适应网络资源的多模式协同 .本文在我们开展的多模式软件协同研究背景下 ,基于共享空间协同技术 ,针对多模式协同特点 ,在基于agent的多模式协同中间件中 ,设计并实现了一个基于中介的协同环境 ,为多模式软件协同提供了良好的中介协同支撑 .
- 许婷俞春陶先平吕建
- 关键词：中介元组
- 基于移动agent的软件实体适配技术研究被引量：1
- 2005年
- 在开放的Internet平台上,通过对已有软件实体进行集成以构建应用系统成为一种重要的软件开发方法.其中软件适配技术是关键技术之一.传统适配技术对Internet这个开放平台上的软件集成的支持存在欠缺,主要表现在对可组合、可重用、可配置和可移动的支持不够.利用agent的移动性和封装能力,提出了一种基于移动agent技术的适配方法.提出了一个统一的agent集成框架及其支撑技术,有效支持软件适配内容的封装和运行.在该框架中,对适配的一个重要方面———组合实体———进行了探讨.最后介绍了移动agent适配技术的系统实现.
- 赵洁韩亮陶先平吕建
- 关键词：适配移动AGENT
- 面向体系结构的可视化服务集成开发环境Artemis-VIDE被引量：1
- 2006年
- 为支持直观易扩展的软件服务集成和所集成之应用系统的动态演化,本文提出了一个面向体系结构的可视化服务集成开发环境。该环境支持以图形化的方式定义系统的软件体系结构及相关协同逻辑,并据此生成内置于应用系统之中的运行时刻体系结构对象,作为应用系统运行和演化的基础。该环境还集成了服务搜索、基于图文法的体系结构检查等功能,为系统的开发、运行、监控和动态演化提供了一个一致、易用、可扩展的支撑平台。
- 罗滨潘健马晓星吕建
- 关键词：SOA可视化
- 基于移动Agent的反射式异构服务协同机制初探
- 2005年
- 使用不同类型的中间件实现了开放动态环境中的软件服务。客户方的应用需要采用灵活的方法来发现并绑定这些服务。本文提出一种基于移动agent的反射式异构协同机制,它通过动态加载功能构件可重配置agent当前对外协同行为,通过动态创建子协同agent可实施多种服务发现机制与服务绑定机制的并发执行,可有效减轻客户端应用的负担,提高对异构服务的协同效率。
- 胡海洋葛季栋马晓星吕建
- 关键词：移动AGENT移动AGENT异构移动AGENT服务发现机制可重配置
- 软件协同模型中多模式可配置通道的研究
- 2005年
- 软件协同模型中的控制驱动模型很好地实现了计算与协同的分离,是一种重要的软件协同模型。通道在模型中表示协同部分,具有重要的地位。然而现有的控制驱动协同模型中,通道的设计较为简单,不能满足应用的需求。本文利用软件体系结构将连接子作为第一类实体的思想,提升通道在控制驱动协同模型的地位。首先对软件协同的独立要素进行分解,并使用Interceptor模型表示各个要素;然后对这些独立的协同要素进行组合,提出基于Intercep-tor的组合配置技术,以此对通道进行扩充,提出多模式可配置通道。多模式可配置通道表达能力得到加强,并且集成人员可以对其进行组合配置,以满足不同应用的需求。
- 韩亮赵洁陶先平吕建
- 关键词：INTERCEPTOR软件体系结构可配置多模式控制驱动
- 空间逻辑的一个定义框架及其可判定性被引量：2
- 2006年
- 空间逻辑作为一个模态逻辑,能很好地描述分布式系统的行为和空间属性。其中,逻辑公式的有效性、可满足性及模型检测问题的可判定性已经得到广泛的研究。本文即是关于空间逻辑可判定性的一个综述,为此首先提出一个空间逻辑的定义框架,据此可以构造各种空间逻辑,并对它们的可判定性进行考察,从而指出影响空间逻辑的可判定性的关键因素。
- 颜锋陈韬略韩婷婷吕建
- 关键词：移动计算分布式计算空间逻辑可判定性
