期刊文献+
共找到45篇文章
< 1 2 3 >
每页显示 20 50 100
基于移动Agent技术的构件软件框架研究 被引量:48
1
作者 吕建 张鸣 +1 位作者 廖宇 陶先平 《软件学报》 EI CSCD 北大核心 2000年第8期1018-1023,共6页
随着移动 Agent技术的快速发展以及构件软件的广泛应用 ,对一种新型的基于移动 agent技术的构件软件框架的需求日益增长 .通过对传统的构件软件框架的不足的分析 ,提出了一种新的构件软件框架 .与传统的构件软件框架相比 ,新的构件软件... 随着移动 Agent技术的快速发展以及构件软件的广泛应用 ,对一种新型的基于移动 agent技术的构件软件框架的需求日益增长 .通过对传统的构件软件框架的不足的分析 ,提出了一种新的构件软件框架 .与传统的构件软件框架相比 ,新的构件软件框架具有较强的网络环境的动态适应性 . 展开更多
关键词 构件软件框架 移动AGENT 程序设计方法 面向对象
在线阅读 下载PDF
一种分层的软件过程执行机制的研究 被引量:1
2
作者 胡昊 葛季栋 +1 位作者 林向宇 吕建 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第2期131-140,共10页
选择不同的过程执行机制会对软件过程支持的灵活性产生影响,两种传统的过程执行机制———前摄式和反应式存在模型复杂性和执行灵活性之间的矛盾.借鉴了Alf Inge Wanget al.所提出的基于组织中过程执行主体分层支持的思想,提出了一种分... 选择不同的过程执行机制会对软件过程支持的灵活性产生影响,两种传统的过程执行机制———前摄式和反应式存在模型复杂性和执行灵活性之间的矛盾.借鉴了Alf Inge Wanget al.所提出的基于组织中过程执行主体分层支持的思想,提出了一种分层过程机制,该机制将软件过程分为两个层次,底层是具有流程稳定的子过程,采用前摄式机制支持,而高层是易于变化的过程,则用反应式机制支持,通过过程片段将两层过程统一在一个过程模型中既增加了过程执行的灵活性,又降低了过程模型的复杂性.为了说明该过程机制的实践有效性,分析了一个案例所发生的“例程”、“并发”、“反馈”和“等待”的各种情况并且阐述了在CPMS系统中应用分层机制对上述情况的解决方案. 展开更多
关键词 软件过程 过程支持系统 能力成熟度模型 分层机制 过程模型
在线阅读 下载PDF
反射中间件的研究与进展 被引量:19
3
作者 胡海洋 马晓星 +1 位作者 陶先平 吕建 《计算机学报》 EI CSCD 北大核心 2005年第9期1407-1420,共14页
反射中间件是当前中间件技术研究中值得注意的一个新方向.它克服了传统中间件“黑箱”结构的缺陷,具有系统结构行为有序开放、可重配置等特点,能支持针对不同应用类型进行定制,可较好地适应动态变化的分布式环境和应用需求,已在移动计... 反射中间件是当前中间件技术研究中值得注意的一个新方向.它克服了传统中间件“黑箱”结构的缺陷,具有系统结构行为有序开放、可重配置等特点,能支持针对不同应用类型进行定制,可较好地适应动态变化的分布式环境和应用需求,已在移动计算、多媒体应用等多个领域展现出较好的应用前景.该文在介绍反射计算与反射系统基本知识的基础上,首先分析归纳了反射中间件的核心概念和基本原理,给出一个反射中间件的一般结构.在此基础上提出一个反射中间件分类与比较框架,涵盖了反射类型、反射时间、反射范围、实现机制等方面的内容,而后依据此框架对目前几种具有代表性的反射中间件系统作综述和比较.最后对该领域值得进一步研究的问题进行了分析和讨论. 展开更多
关键词 中间件 反射 构件 重配置
在线阅读 下载PDF
一种开放环境下的软件可靠性评估方法 被引量:38
4
作者 陆文 徐锋 吕建 《计算机学报》 EI CSCD 北大核心 2010年第3期452-462,共11页
目前,软件系统运行环境日益增强的开放性对原有的软件开发技术(包括软件可靠性评估方法)提出了挑战.一些基于软件测试和模拟的方法由于效率上的不足而不再适用;而另一些方法,例如基于状态的可靠性评估方法,虽然在效率上有了很大的提高,... 目前,软件系统运行环境日益增强的开放性对原有的软件开发技术(包括软件可靠性评估方法)提出了挑战.一些基于软件测试和模拟的方法由于效率上的不足而不再适用;而另一些方法,例如基于状态的可靠性评估方法,虽然在效率上有了很大的提高,但在适用范围上又存在着不足,比如不能很好地处理含并行结构的系统.为此,在基于状态的可靠性评估方法的基础上,文中提出一种改进的可靠性评估方法,以兼顾效率和适用范围两个方面.首先介绍如何用Petri网来描述各种复杂结构的系统,接着介绍一种自底向上的可靠性计算过程,该过程能对并行结构进行分解和综合计算,高效、准确地计算出系统的可靠性.该方法还可以估算出组件对系统的重要性,从而大大地增强了可靠性评估在软件开发中的作用. 展开更多
关键词 软件可靠性 开放环境 体系结构 组件重要性
在线阅读 下载PDF
软件需求定义语言NDRDL 被引量:10
5
作者 董丽君 费宗铭 +1 位作者 朱鸿 金凌紫 《计算机科学》 CSCD 北大核心 1995年第5期45-53,共9页
NDRDL语言是一种图形化的软件需求定义语言,用于书写软件需求定义。其特点是:形象直观、表达力强、实用性好、可靠性高。本文是该语言的试用文本。
关键词 软件需求定义 图形化 NDRDL语言
在线阅读 下载PDF
软件需求工程述评 被引量:10
6
作者 张家重 吕建 徐家福 《计算机科学》 CSCD 北大核心 1995年第3期45-48,共4页
本文对软件需求工程的有关研究内容进行了剖析。给出了需求工程的概念,讨论了其基本活动和信息类型;分析与评述了问题分析的基本原则、基本技术及面问对象需求方法;说明了软件需求规约的作用和内容,并对需求规约语言的几种形式、涉及内... 本文对软件需求工程的有关研究内容进行了剖析。给出了需求工程的概念,讨论了其基本活动和信息类型;分析与评述了问题分析的基本原则、基本技术及面问对象需求方法;说明了软件需求规约的作用和内容,并对需求规约语言的几种形式、涉及内容进行了讨论。 展开更多
关键词 软件需求工程 面向对象 软件开发
在线阅读 下载PDF
Agent为中介的电子商务研究 被引量:6
7
作者 苏敏 郭瑞景 +3 位作者 陶先平 徐锋 陈红强 吕建 《计算机科学》 CSCD 北大核心 2001年第11期83-88,共6页
一、引言 电子商务至今没有一个较为全面、权威的定义.一般地说,电子商务包括一切使用电子手段进行的商业活动.它是运用电子通信为手段的经济活动,通过这种方式人们可以对带有经济价值的产品和服务进行宣传、购买和结算.这种交易的方式... 一、引言 电子商务至今没有一个较为全面、权威的定义.一般地说,电子商务包括一切使用电子手段进行的商业活动.它是运用电子通信为手段的经济活动,通过这种方式人们可以对带有经济价值的产品和服务进行宣传、购买和结算.这种交易的方式不受地理位置、资金多少或零售渠道的所有权影响,个人、组织、团体都能自由地参加广泛的经济活动.电子商务能使产品甚至服务在世界范围内交易,并向消费者提供多种多样的选择. 展开更多
关键词 电子商务 AGENT INTERNET 电子交易
在线阅读 下载PDF
构件演化中的系统行为一致性的研究 被引量:8
8
作者 罗毅 李兴宇 +2 位作者 关连伟 胡昊 吕建 《计算机科学》 CSCD 北大核心 2008年第1期266-270,300,共6页
构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力。基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的。因此在构件演化时,例如对构件功能实现进行改变,可... 构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力。基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的。因此在构件演化时,例如对构件功能实现进行改变,可能导致系统运行偏离原来的系统行为。我们的工作就是在构件演化时对系统行为进行一致性检查,保证构件的功能实现的变化不会使系统行为偏离原来的系统。在本文中首先通过Petri-net的形式化方法,对系统实现中包括的构件的功能实现和构件间的交互进行建模,并通过以上信息推导得到系统行为。在此基础之上,根据基于行为继承理论的行为一致性规则的要求对定义的系统功能行为进行验证,以保证构件演化时系统行为的改变符合行为的一致性要求,同时又保证了构件演化的灵活性。 展开更多
关键词 构件演化 系统行为 行为一致性
在线阅读 下载PDF
自学习软件自动化系统NDSAIL的设计与实现 被引量:3
9
作者 徐家福 陈道蓄 +6 位作者 吕建 王志坚 费宗铭 张家重 张幼松 丁琴 朱迎春 《计算机学报》 EI CSCD 北大核心 1992年第11期819-829,共11页
本文介绍一个具有自学习功能的软件自动化系统NDSAiL。该系统能自动从示例中学习问题分解方法,并用于自动生成部分通用算法.该系统还能自动学习基本算法及算法优化方法.在算法构架学习背景下,有效地解决了解释学习的操作性准则问题;并... 本文介绍一个具有自学习功能的软件自动化系统NDSAiL。该系统能自动从示例中学习问题分解方法,并用于自动生成部分通用算法.该系统还能自动学习基本算法及算法优化方法.在算法构架学习背景下,有效地解决了解释学习的操作性准则问题;并针对一类问题解决了归纳学习结果的正确性问题以及unfold/fold转换技术的完全自动化问题. 展开更多
关键词 机器学习 软件自动化 设计
在线阅读 下载PDF
情形实例驱动的软件需求模型自动生成 被引量:4
10
作者 金凌紫 朱鸿 +3 位作者 张朝良 火清宁 白赣洪 徐家福 《计算机学报》 EI CSCD 北大核心 1998年第8期673-681,共9页
通过对使用情形的分析来进行需求获取和需求分析可以使软件需求分析的工作较为系统和有序.由于每一个情形实例都只从特定的使用者的角度,根据所需达到的特定使用目的,针对特定的使用条件,来描述一个复杂系统中的一个局部,与对整个... 通过对使用情形的分析来进行需求获取和需求分析可以使软件需求分析的工作较为系统和有序.由于每一个情形实例都只从特定的使用者的角度,根据所需达到的特定使用目的,针对特定的使用条件,来描述一个复杂系统中的一个局部,与对整个复杂系统的需求进行分析和描述相比,在特定情形实例下对软件需求进行分析与描述较简单容易.然而,如何保证情形实例描述之间的一致性,如何从情形实例的描述获得整个软件系统的需求定义则是以情形实例分析为基础的需求分析方法的关键,也是尚未解决的问题中的难点.本文介绍在以功能分解为基础的需求分析途径中描述软件需求情形实例的方法,讨论情形实例描述与需求定义之间的一致性和完备性,介绍从情形实例描述到完整的软件需求定义的自动综合以及一致性、完备性的自动检查. 展开更多
关键词 软件需求分析 情形实例驱动 自动工具 软件开发
在线阅读 下载PDF
一个软件服务协同中的信任管理框架设计 被引量:3
11
作者 徐锋 曹春 +2 位作者 郑玮 冯扬悦 吕建 《计算机科学》 CSCD 北大核心 2003年第9期152-154,161,共4页
1引言 目前,以Web服务为代表的软件服务及软件服务协同已成为一种新兴的Web应用形态.
关键词 软件服务协同系统 信任管理 设计 事件概率 INTERNET
在线阅读 下载PDF
面向对象程序设计语言的形式语义研究 被引量:2
12
作者 瞿裕忠 王志坚 徐家福 《计算机科学》 CSCD 北大核心 1995年第2期6-10,共5页
面向对象程序设计语言(以下简称面向对象语言)的基本思想起源于六十年代中期的Simula语言,在七十年代的Smalltalk语言及环境中得到发展,在八十年代的Eiffel、C++等语言中进一步得到巩固和完善。
关键词 程序语言 面向对象 形式语义 程序设计
在线阅读 下载PDF
从软件功能实例规格说明到软件功能形式规格说明的自动转换 被引量:1
13
作者 吕建 徐家福 《软件学报》 EI CSCD 北大核心 1992年第4期24-31,共8页
软件功能形式规格说明的获取是软件自动化领域中十分重要的问题。本文采用概念学习与前件推导机制相结合的方法完成从软件功能实例规格说明到软件功能形式规格说明的自动转换,并能在某种意义下保证转换结果具有一定的合理性。
关键词 软件 规格说明 形式转换
在线阅读 下载PDF
ARTEMIS-ARC系统协同模型的自省式实现技术研究
14
作者 马骞 俞春 +1 位作者 马晓星 吕建 《计算机科学》 CSCD 北大核心 2006年第10期242-246,共5页
基于运行时体系结构的协同模型能够为面向服务的协同应用系统的动态演化提供有效的支持。但是在实现层面上,如何使软件体系结构从抽象的规约转化为运行时实际的对象实体,并成为系统演化行为的直接载体,是一个较为困难的技术挑战。针对... 基于运行时体系结构的协同模型能够为面向服务的协同应用系统的动态演化提供有效的支持。但是在实现层面上,如何使软件体系结构从抽象的规约转化为运行时实际的对象实体,并成为系统演化行为的直接载体,是一个较为困难的技术挑战。针对这个问题,本文提出一种基于计算自省的实现途径,主要包括基于面向对象程序设计语言构造的体系结构层面的元表示和元协议、基于体系结构上下文中对象引用重解释构建的因果互连机制,以及基于该因果互连机制的应用系统的动态重配置。以上实现方式在自行开发的服务协同系统ARTEMIS-ARC时得以实施。 展开更多
关键词 软件服务 软件体系结构 动态演化 自省
在线阅读 下载PDF
自学习软件自动化系统算法构架学习中的可操作性
15
作者 陈道蓄 徐家福 《计算机学报》 EI CSCD 北大核心 1992年第12期942-946,共5页
本文讨论了在算法合成背景下,基于解释的学习中可操作性准则问题.针对一种相对复杂的学习目标概念——算法构架,提出了实现可操作性的方法,并探讨了算法自动化系统中通用性与可操作性的制衡关系及其对系统能力的影响.
关键词 软件自动化 算法 构架 可操作性
在线阅读 下载PDF
一种基于Agent的移动应用框架设计与应用研究 被引量:1
16
作者 马凯 张小蕾 +1 位作者 陶先平 吕建 《计算机科学》 CSCD 北大核心 2004年第9期32-35,44,共5页
随着无线网络的发展和移动设备的日益普及,人们对这种移动计算模式的应用需求逐渐增多,然而目前无线网络和移动设备同传统的固定网络和计算设备相比有很多局限性,基于传统计算模式的软件系统结构无法直接在新型的移动计算环境下应用。... 随着无线网络的发展和移动设备的日益普及,人们对这种移动计算模式的应用需求逐渐增多,然而目前无线网络和移动设备同传统的固定网络和计算设备相比有很多局限性,基于传统计算模式的软件系统结构无法直接在新型的移动计算环境下应用。本文分析了移动计算环境的特点以及移动应用系统的设计需求,并提出一种基于agent的移劝应用框架的设计方案,在该框架中我们还引入了中间层结构并且设计了无线交互协议,从而可以更好地适应移动计算的环境,本文最后把该框架应用于一个面向移动用户的服务发现系统中,从而验证了该框架在移劝系统环境中具有较高的适应性和良好的使用性。 展开更多
关键词 移动应用 无线网络 移动设备 固定网络 移动计算环境 软件系统结构 使用性 服务发现 交互协议 计算模式
在线阅读 下载PDF
协同联盟中组织模型的研究 被引量:1
17
作者 路鹏 张小蕾 +1 位作者 陶先平 吕建 《计算机科学》 CSCD 北大核心 2003年第2期113-117,共5页
The architecture of a coordination system can naturally be viewed as an organized society of individuals (i. e. ,as a computational organization). For this reason,we believe organizational model should play a central ... The architecture of a coordination system can naturally be viewed as an organized society of individuals (i. e. ,as a computational organization). For this reason,we believe organizational model should play a central role in the coordination systems including coordination association. To this end, the concepts of role models, architecture styles ,and coordination laws are increasingly being used to specify and design coordination systems. However,this is not th full picture. In this paper we develop three organizational concepts - organizational role model,organizational structure,and organizational rules - that we believe are necessary for the complete specification of computational organisations of coordination association. 展开更多
关键词 协同联盟 组织模型 INTERNET 软件服务
在线阅读 下载PDF
一种基于Agent技术的Web Services匹配模型的研究
18
作者 卞昭娟 任晓鑫 +1 位作者 陶先平 吕建 《计算机科学》 CSCD 北大核心 2005年第1期98-100,107,共4页
Web Services是当前Web应用的一种新的模式。Internet将成为一个真正的分布式的计算平台,其上的服务可以协作完成某一任务,并且Web将成为可编程的。Web Services的发现是很重要的,因此有必要研究web Services的匹配。在本文中,我们提出... Web Services是当前Web应用的一种新的模式。Internet将成为一个真正的分布式的计算平台,其上的服务可以协作完成某一任务,并且Web将成为可编程的。Web Services的发现是很重要的,因此有必要研究web Services的匹配。在本文中,我们提出了一种基于Agent的Web Services的两层次匹配模型。 展开更多
关键词 AGENT技术 WEB Services匹配模型 AMCDL语言 匹配算法
在线阅读 下载PDF
Mogent系统的通信机制 被引量:62
19
作者 陶先平 冯新宇 +2 位作者 李新 张冠群 吕建 《软件学报》 EI CSCD 北大核心 2000年第8期1060-1065,共6页
移动 agent技术是新型软件构件框架的基础技术之一 ,而通信机制是其重要的组成部分 .该文结合移动agent系统 Mogent(mobile agent)平台的研制 ,在分析了 agent的移动特性对通信机制的影响后 ,提出并实现了一种用于 Mogent平台的一套系... 移动 agent技术是新型软件构件框架的基础技术之一 ,而通信机制是其重要的组成部分 .该文结合移动agent系统 Mogent(mobile agent)平台的研制 ,在分析了 agent的移动特性对通信机制的影响后 ,提出并实现了一种用于 Mogent平台的一套系统的解决方案 .该方案主要包括移动 agent命名机制、移动 agent寻址机制以及通信失效解决方法等 ,具有易于使用、效率高、可靠性好等优点 . 展开更多
关键词 Mogent系统 通信机制 通信失效 INTERNET网
在线阅读 下载PDF
一种面向服务的动态协同架构及其支撑平台 被引量:80
20
作者 马晓星 余萍 +1 位作者 陶先平 吕建 《计算机学报》 EI CSCD 北大核心 2005年第4期467-477,共11页
为了让面向服务的架构下的应用系统能够灵活地动态演化以适应底层因特网计算环境和用户需求的变化,该文提出了一种面向服务的动态协同架构.该架构引入内置的运行时体系结构对象来解耦系统中的各个服务构件,并通过该对象以体系结构的视... 为了让面向服务的架构下的应用系统能够灵活地动态演化以适应底层因特网计算环境和用户需求的变化,该文提出了一种面向服务的动态协同架构.该架构引入内置的运行时体系结构对象来解耦系统中的各个服务构件,并通过该对象以体系结构的视角来重解释服务部件之间的引用和交互.这样就把体系结构这一抽象概念具体化为可直接操控的对象,从而可以利用面向对象程序设计语言的继承和多态等整套机制,导出一种面向体系结构的系统动态演化技术.为支持这一架构,设计并实现了一个支撑平台 Artemis ARC,为具有动态调整能力的面向服务应用系统的开发、运行和监控提供了一套可视化的集成环境.在此平台上还开发了一个简单的示例应用以展示动态调整的效果. 展开更多
关键词 面向服务的计算 软件体系结构 动态演化 远程对象引用 因特网
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部