移动Agent技术的研究与应用 被引量：2

1

作者 吕建 陶先平 +2 位作者 马晓星 胡昊 徐锋 《电子学报》 EI CAS CSCD 北大核心 2005年第B12期2413-2417,共5页

随着Internet平台和开放应用的快速发展，如何在面向对象技术的基础上发展新型的软件方法学成为软件新技术面临的重要挑战之一．本文以移动Agent技术、系统和应用为切入点，在对移动Agent关键技术，如移动机制、通信机制和安全机制等进... 随着Internet平台和开放应用的快速发展，如何在面向对象技术的基础上发展新型的软件方法学成为软件新技术面临的重要挑战之一．本文以移动Agent技术、系统和应用为切入点，在对移动Agent关键技术，如移动机制、通信机制和安全机制等进行研究的基础上，提出了我们自行设计与实现的移动Agent系统Mogent，并探讨其在软件主流技术等方面的应用． 展开更多

关键词 移动AGENT 迁移 通信 安全

在线阅读 下载PDF 职称材料

ARTEMIS-ARC系统协同模型的自省式实现技术研究

2

作者 马骞 俞春 +1 位作者 马晓星 吕建 《计算机科学》 CSCD 北大核心 2006年第10期242-246,共5页

基于运行时体系结构的协同模型能够为面向服务的协同应用系统的动态演化提供有效的支持。但是在实现层面上,如何使软件体系结构从抽象的规约转化为运行时实际的对象实体,并成为系统演化行为的直接载体,是一个较为困难的技术挑战。针对... 基于运行时体系结构的协同模型能够为面向服务的协同应用系统的动态演化提供有效的支持。但是在实现层面上,如何使软件体系结构从抽象的规约转化为运行时实际的对象实体,并成为系统演化行为的直接载体,是一个较为困难的技术挑战。针对这个问题,本文提出一种基于计算自省的实现途径,主要包括基于面向对象程序设计语言构造的体系结构层面的元表示和元协议、基于体系结构上下文中对象引用重解释构建的因果互连机制,以及基于该因果互连机制的应用系统的动态重配置。以上实现方式在自行开发的服务协同系统ARTEMIS-ARC时得以实施。 展开更多

关键词 软件服务 软件体系结构 动态演化 自省

在线阅读 下载PDF 职称材料

一种基于估算的定量软件过程变更方法

3

作者 江寰 鲁平 +1 位作者 胡昊 吕建 《计算机应用与软件》 CSCD 北大核心 2006年第11期4-7,13,共5页

软件过程变更是适应多变的软件开发环境的一种有效手段。定量管理对于软件过程变更,尤其是变更决策与计划阶段的有效实施有着重要作用。软件估算技术作为一种定量的分析和预测技术,可用于估算软件过程变更的工作量、风险和成本,为变更... 软件过程变更是适应多变的软件开发环境的一种有效手段。定量管理对于软件过程变更,尤其是变更决策与计划阶段的有效实施有着重要作用。软件估算技术作为一种定量的分析和预测技术,可用于估算软件过程变更的工作量、风险和成本,为变更决策与计划提供定量指导。提出一种基于估算的软件过程变更方法,并介绍了该方法在一个过程支持系统CPMS中的实现。 展开更多

关键词 软件过程变更 定量管理 软件估算 过程支持系统

在线阅读 下载PDF 职称材料

构件演化中的系统行为一致性的研究 被引量：8

4

作者 罗毅 李兴宇 +2 位作者 关连伟 胡昊 吕建 《计算机科学》 CSCD 北大核心 2008年第1期266-270,300,共6页

构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力。基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的。因此在构件演化时,例如对构件功能实现进行改变,可... 构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力。基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的。因此在构件演化时,例如对构件功能实现进行改变,可能导致系统运行偏离原来的系统行为。我们的工作就是在构件演化时对系统行为进行一致性检查,保证构件的功能实现的变化不会使系统行为偏离原来的系统。在本文中首先通过Petri-net的形式化方法,对系统实现中包括的构件的功能实现和构件间的交互进行建模,并通过以上信息推导得到系统行为。在此基础之上,根据基于行为继承理论的行为一致性规则的要求对定义的系统功能行为进行验证,以保证构件演化时系统行为的改变符合行为的一致性要求,同时又保证了构件演化的灵活性。 展开更多

关键词 构件演化 系统行为 行为一致性

在线阅读 下载PDF 职称材料

Mogent系统的设计、实现与应用研究

5

作者 吕建 陶先平 +2 位作者 马晓星 胡昊 徐锋 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第z1期109-118,共10页

随着Internet平台和开放应用的快速发展,如何在面向对象技术的基础上发展新型的软件方法学成为软件新技术面临的重要挑战之一.以移动Agent技术、系统和应用为切入点,在对移动Agent关键技术,如移动机制、通信机制和安全机制等,进行研究... 随着Internet平台和开放应用的快速发展,如何在面向对象技术的基础上发展新型的软件方法学成为软件新技术面临的重要挑战之一.以移动Agent技术、系统和应用为切入点,在对移动Agent关键技术,如移动机制、通信机制和安全机制等,进行研究的基础上,提出了我们自行设计与实现的移动Agent系统Mogent,并探讨其在软件主流技术,如构件技术、应用框架技术、电子商务和软件协同技术等方面的应用,从而为发展基于软件Agent的新型技术体系奠定了良好的基础. 展开更多

关键词 AGENT系统 面向对象 迁移 通讯

在线阅读 下载PDF 职称材料

一种动态服务组合技术及其支撑系统 被引量：2

6

作者 虞建杰 马晓星 吕建 《计算机科学》 CSCD 北大核心 2008年第12期234-238,共5页

Web服务组合现已成为软件研究和实践热点之一。目前虽已出现多种Web服务组合模型和描述语言,但是面对开放分布多变的Internet网络环境,这些模型和语言在应对变化的动态性支持方面仍显不足,尤其是缺乏从协作全局对动态性的支持。在分析... Web服务组合现已成为软件研究和实践热点之一。目前虽已出现多种Web服务组合模型和描述语言,但是面对开放分布多变的Internet网络环境,这些模型和语言在应对变化的动态性支持方面仍显不足,尤其是缺乏从协作全局对动态性的支持。在分析既有服务组合方式及其特点的基础上给出了一个解决方案,它通过一种动态协同模型综合了服务编排和服务编制的优点,在保持与主流技术和平台的兼容性的同时增强了对组合服务动态性的支持。还实现了相应的支撑系统,并在其上实现了一个应用示例。 展开更多

关键词 服务组合 动态性 协作性 WS-CDL BPEL

在线阅读 下载PDF 职称材料

层次化网关转发的agent迁移技术与应用

7

作者 吴晓 马骏 +1 位作者 陶先平 吕建 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第2期169-178,共10页

随着互联网的日益普及,形式各样的网络应用层出不穷.移动agent计算模式是一种灵活的分布计算模式和程序设计风范,给网络应用的设计、实现和维护都带来了较大的灵活性.移动agent技术的推广和使用,要求agent能够在网络上任意节点之间迁移... 随着互联网的日益普及,形式各样的网络应用层出不穷.移动agent计算模式是一种灵活的分布计算模式和程序设计风范,给网络应用的设计、实现和维护都带来了较大的灵活性.移动agent技术的推广和使用,要求agent能够在网络上任意节点之间迁移;但是由于Internet中存在大量的私有网络,且现阶段agent适移技术在支撑agent自由穿越各个私有网络方面存在不足,制约了基于移动agent的应用的普及.针对这一问题,本文提出了一个"层次化网关转发agent迁移方案".在该方案中,本文根据网络的拓扑结构提出了互联网络节点"层次化网络编址",并在此基础上给出了"地址解析/转发算法".此外,为了消除此方案对网关、代理服务器等关键节点的依赖,本文给出了基于"配对转发服务"的实现方案,在保证透明性的前提下完成逻辑上的网关功能,进一步增强"层次化网关转发agent迁移方案"的灵活性和实用性.最后,本文给出了基于此荐技术的一个"文件同步软件"应用实例实现. 展开更多

关键词 移动agent迁移 层次化网络编址 网关转发

在线阅读 下载PDF 职称材料

MABEMS:一个基于移动Agent的电子市场空间 被引量：8

8

作者 徐锋 吕建 +3 位作者 陶先平 郭瑞景 苏敏 陈红强 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2002年第2期131-138,共8页

随着Internet的广泛普及 ,电子商务应用系统 ,尤其是基于Internet的电子市场系统日益受到重视 .然而面对Internet这种新的网络环境 ,传统的客户 /服务器技术并不适宜构造此类系统 .近年来 ,移动Agent技术被认为是一种易于设计、实现和维... 随着Internet的广泛普及 ,电子商务应用系统 ,尤其是基于Internet的电子市场系统日益受到重视 .然而面对Internet这种新的网络环境 ,传统的客户 /服务器技术并不适宜构造此类系统 .近年来 ,移动Agent技术被认为是一种易于设计、实现和维护Internet环境下分布式系统的新兴技术 .提出了一个基于移动Agent的电子市场空间模型 ,并在本实验室开发的移动Agent系统———Mogent平台上实现了其原型系统 .该市场空间采用开放的、非集中的系统结构 ,具有较高的灵活性和可靠性 ,自动化程度较高 .最后介绍利用可扩展标记语言XML和知识查询与操纵语言KQML 。 展开更多

关键词 MABEMS 电子商务 移动AGENT 电子市场 空间模型 INTERNET 分布式系统 电子集市结构

在线阅读 下载PDF 职称材料

一种信任管理系统中层次式monitor机制的设计与实现 被引量：3

9

作者 张林 徐锋 +1 位作者 王远 吕建 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第2期191-198,共8页

信任链发现是信任管理的主要内容.由于在分布式环境中凭证分布于各个节点,并且对于相同或相似的请求现有的信任链发现算法需要大量重复的通信和计算开销进行凭证的搜集和验证,极大地影响了信任关系验证的效率.在分布式信任链发现算法的... 信任链发现是信任管理的主要内容.由于在分布式环境中凭证分布于各个节点,并且对于相同或相似的请求现有的信任链发现算法需要大量重复的通信和计算开销进行凭证的搜集和验证,极大地影响了信任关系验证的效率.在分布式信任链发现算法的基础上,结合网络中的信任关系相对稳定的特点,基于缓存的原理实现了一个可扩展的层次式monitor机制用于保存信任链发现过程中产生的中间结果,并且采用订阅机制保证其有效性,从而有效避免对相似的信任关系验证而产生的重复通信和计算开销.实验表明,采用该机制的分布式信任链发现算法在信任关系相对稳定的情形下具有较高的效率. 展开更多

关键词 信任管理 信任链 凭证 缓存 监视

在线阅读 下载PDF 职称材料

一种基于运行时体系结构的BPEL支撑环境 被引量：3

10

作者 马骞 虞建杰 +1 位作者 马晓星 吕建 《电子学报》 EI CAS CSCD 北大核心 2006年第B12期2360-2365,共6页

为了使BPEL描述的组合服务能够根据动态的网络环境和多变的用户需求而动态演化,在我们已有工作的基础上,提出一种基于运行时体系结构的BPEL支撑环境.其核心在于引入一个运行时体系结构对象来刻画组合服务的体系结构,并用其解耦组合服务... 为了使BPEL描述的组合服务能够根据动态的网络环境和多变的用户需求而动态演化,在我们已有工作的基础上,提出一种基于运行时体系结构的BPEL支撑环境.其核心在于引入一个运行时体系结构对象来刻画组合服务的体系结构,并用其解耦组合服务与其成员之间的引用关系,从而通过对该对象的修改引起组合服务与其成员之间交互行为的重解释,实现组合服务的动态演化.在此支撑环境上开发了一个简单的应用实例以展示动态调整的效果. 展开更多

关键词 面向服务的计算 服务组合 BPEL 软件体系结构 动态演化

在线阅读 下载PDF 职称材料

一种层次式面向对象需求模型的设计 被引量：2

11

作者 陶先平 张建莹 《南京大学学报（自然科学版）》 CAS CSCD 2000年第2期148-154,共7页

在总结了面向对象需求分析代表性工作的基础上 ,提出一种新的层次式面向对象需求分析模型 ,在该模型中较严格地定义了层次间的精化 /抽象关系 ,使得系统需求模型具有较好的层次结构 ,呈现为多版本并存的多根树 ,从而提高了需求模型的易... 在总结了面向对象需求分析代表性工作的基础上 ,提出一种新的层次式面向对象需求分析模型 ,在该模型中较严格地定义了层次间的精化 /抽象关系 ,使得系统需求模型具有较好的层次结构 ,呈现为多版本并存的多根树 ,从而提高了需求模型的易理解性 ,易维护性和可靠性 。 展开更多

关键词 面向对象方法 需求模型 层次式设计 易维护性

在线阅读 下载PDF 职称材料

开放环境下基于声誉记录的信任模型及实现

12

作者 荆博贤 徐锋 +1 位作者 陶先平 吕建 《电子学报》 EI CAS CSCD 北大核心 2007年第B12期160-164,共5页

信任管理被认为是一种适宜解决开放环境下安全问题的新方法．但现有的信任模型难以应对信任炒作和恶意诽谤的行为，另外，在模型的实现上存在着否定信任信息传播困难，难以防止信任信息篡改等问题．本文基于对信任概念的研究，给出了一... 信任管理被认为是一种适宜解决开放环境下安全问题的新方法．但现有的信任模型难以应对信任炒作和恶意诽谤的行为，另外，在模型的实现上存在着否定信任信息传播困难，难以防止信任信息篡改等问题．本文基于对信任概念的研究，给出了一个基于声誉记录的信任模型，模型按事务的重要程度来采纳声誉信息，能够有效降低实体问信任炒作和诽谤行为所带来的影响．在系统实现过程中，通过标签机制促进了否定信任信息的传播，并有效防止对信任信息的恶意篡改．最后，通过在电子商务场景中的应用，初步验证了模型的合理性，和标签机制的有效性． 展开更多

关键词 信任模型 信任管理 声誉 开放环境 防炒作

在线阅读 下载PDF 职称材料

一种基于动态语境组装的分布式构件框架的设计与实现 被引量：2

13

作者 谢德平 邢阳 +2 位作者 马晓星 曹春 吕建 《电子学报》 EI CAS CSCD 北大核心 2009年第B04期57-64,共8页

提出一种新的分布式构件框架ACF,在传统的以共享协同信息为主的语境机制基础上,引入了共享协同对象的动态语境机制,直接支持基于运行时软件体系结构的协同逻辑的表达和动态演化.该构件框架已在集成开发环境ArtemisStudio中得到初步实现... 提出一种新的分布式构件框架ACF,在传统的以共享协同信息为主的语境机制基础上,引入了共享协同对象的动态语境机制,直接支持基于运行时软件体系结构的协同逻辑的表达和动态演化.该构件框架已在集成开发环境ArtemisStudio中得到初步实现和应用. 展开更多

关键词 分布式构件 基于语境的组装 协同 动态演化

在线阅读 下载PDF 职称材料

面向体系结构的可视化服务集成开发环境Artemis-VIDE 被引量：1

14

作者 罗滨 潘健 +1 位作者 马晓星 吕建 《计算机科学》 CSCD 北大核心 2006年第6期242-246,共5页

为支持直观易扩展的软件服务集成和所集成之应用系统的动态演化,本文提出了一个面向体系结构的可视化服务集成开发环境。该环境支持以图形化的方式定义系统的软件体系结构及相关协同逻辑,并据此生成内置于应用系统之中的运行时刻体系结... 为支持直观易扩展的软件服务集成和所集成之应用系统的动态演化,本文提出了一个面向体系结构的可视化服务集成开发环境。该环境支持以图形化的方式定义系统的软件体系结构及相关协同逻辑,并据此生成内置于应用系统之中的运行时刻体系结构对象,作为应用系统运行和演化的基础。该环境还集成了服务搜索、基于图文法的体系结构检查等功能,为系统的开发、运行、监控和动态演化提供了一个一致、易用、可扩展的支撑平台。 展开更多

关键词 SOA 服务集成 协同 动态演化 可视化 Artemis—VIDE

在线阅读 下载PDF 职称材料