检索结果-内蒙古大学图书馆

计算机学报 2010年第3期33卷 452-462页

作者：陆文徐锋吕建南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机软件研究所南京210093

目前,软件系统运行环境日益增强的开放性对原有的软件开发技术(包括软件可靠性评估方法)提出了挑战.一些基于软件测试和模拟的方法由于效率上的不足而不再适用;而另一些方法,例如基于状态的可靠性评估方法,虽然在效率上有了很大的提高,... 详细信息

目前,软件系统运行环境日益增强的开放性对原有的软件开发技术(包括软件可靠性评估方法)提出了挑战.一些基于软件测试和模拟的方法由于效率上的不足而不再适用;而另一些方法,例如基于状态的可靠性评估方法,虽然在效率上有了很大的提高,但在适用范围上又存在着不足,比如不能很好地处理含并行结构的系统.为此,在基于状态的可靠性评估方法的基础上,文中提出一种改进的可靠性评估方法,以兼顾效率和适用范围两个方面.首先介绍如何用Petri网来描述各种复杂结构的系统,接着介绍一种自底向上的可靠性计算过程,该过程能对并行结构进行分解和综合计算,高效、准确地计算出系统的可靠性.该方法还可以估算出组件对系统的重要性,从而大大地增强了可靠性评估在软件开发中的作用.

关键词：软件可靠性开放环境体系结构组件重要性

来源：评论

学校读者我要写书评

暂无评论

Mogent系统的通信机制

引用

软件学报 2000年第8期11卷 1060-1065页

作者：陶先平冯新宇李新张冠群吕建南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机软件研究所南京210093

移动 agent技术是新型软件构件框架的基础技术之一 ,而通信机制是其重要的组成部分 .该文结合移动agent系统 Mogent(mobile agent)平台的研制 ,在分析了 agent的移动特性对通信机制的影响后 ,提出并实现了一种用于 Mogent平台的一套系... 详细信息

移动 agent技术是新型软件构件框架的基础技术之一 ,而通信机制是其重要的组成部分 .该文结合移动agent系统 Mogent(mobile agent)平台的研制 ,在分析了 agent的移动特性对通信机制的影响后 ,提出并实现了一种用于 Mogent平台的一套系统的解决方案 .该方案主要包括移动 agent命名机制、移动 agent寻址机制以及通信失效解决方法等 ,具有易于使用、效率高、可靠性好等优点 .

关键词： Mogent系统通信机制通信失效 Internet网

来源：评论

学校读者我要写书评

暂无评论

Web服务组合动态演化的实例可迁移性

引用

计算机学报 2009年第9期32卷 1816-1831页

作者：宋巍马晓星吕建南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机软件研究所南京210093

组合网络上既有Web服务以构造新的增值服务正逐渐成为一种主流软件形态.而Web服务组合常需进行修改演化以优化服务组合的内部业务流程,适应开放的工作环境.在服务组合演化时,为让尽可能多的执行中的服务组合实例享受到新业务流程带来的... 详细信息

组合网络上既有Web服务以构造新的增值服务正逐渐成为一种主流软件形态.而Web服务组合常需进行修改演化以优化服务组合的内部业务流程,适应开放的工作环境.在服务组合演化时,为让尽可能多的执行中的服务组合实例享受到新业务流程带来的好处,应尽可能地将其动态地迁移到新流程下继续执行.同时为避免实例迁移到新流程后引发死锁等动态演化错误,需对这些迁移实例加以约束.文中提出了一个服务组合动态演化过程框架,在此框架下形式化地定义了一种新的实例可迁移性标准,并给出了相应的判定算法.与已有的可迁移性标准相比,该标准在确保不会产生动态演化错误的同时,可允许更多的实例迁移.最后,通过一个旅行代理的服务组合案例,说明了文中工作的有效性和可行性.

关键词：服务组合动态演化实例级迁移可迁移性标准 Petri网

来源：评论

学校读者我要写书评

暂无评论

一种图形化对象式需求定义语言的设计

引用

软件学报 1996年第11期7卷 647-655页

作者：张家重吕建王志坚徐家福南京大学计算机软件研究所南京大学计算机软件新技术国家重点实验室

本文简要讨论了软件需求定义及其语言的有关基本概念，重点介绍了图形化对象式需求定义语言ＮＤＯＲＬ的设计思想以及主要的语言结构与成分．该语言是一种以面向对象方法支持软件需求定义的半形式化语言，具有形象易读、表达力强和便于... 详细信息

本文简要讨论了软件需求定义及其语言的有关基本概念，重点介绍了图形化对象式需求定义语言ＮＤＯＲＬ的设计思想以及主要的语言结构与成分．该语言是一种以面向对象方法支持软件需求定义的半形式化语言，具有形象易读、表达力强和便于实现到形式功能规约的转换等特点。

关键词：面向对象需求定义语言 NDORL语言软件开发

来源：评论

学校读者我要写书评

暂无评论

Web安全中的信任管理研究与进展

引用

软件学报 2002年第11期13卷 2057-2064页

作者：徐锋吕建南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机软件研究所江苏南京210093

信任管理是当前Web安全研究的热点.介绍了信任管理思想的出现,给出了信任管理的概念和模型,并概述了几个典型的信任管理系统和信任度评估模型.讨论了当前研究存在的问题以及今后的研究方向.

关键词： Web 信任管理 Internet 网络安全网络服务

来源：评论

学校读者我要写书评

暂无评论

开放环境特性感知技术

引用

软件学报 2011年第5期22卷 865-876页

作者：黄宇余建平马晓星陶先平吕建计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机软件研究所江苏南京210093

提出了一个开放环境特性描述框架.该框架支持便捷地、形式化地描述异步环境的各种特性,包括那些既有技术不能处理的时序特性.该框架还引入了谓词检测技术,支持高效的环境特性感知机制的实现.开发了一个开放环境特性感知中间件平台,并通... 详细信息

提出了一个开放环境特性描述框架.该框架支持便捷地、形式化地描述异步环境的各种特性,包括那些既有技术不能处理的时序特性.该框架还引入了谓词检测技术,支持高效的环境特性感知机制的实现.开发了一个开放环境特性感知中间件平台,并通过详细的案例分析展示了如何基于所提出的环境特性描述框架与中间件平台,高效地感知环境特性,支持可信软件系统的构建.

关键词：谓词检测环境特性高可信软件开放环境

来源：评论

学校读者我要写书评

暂无评论

反射中间件的研究与进展

引用

计算机学报 2005年第9期28卷 1407-1420页

作者：胡海洋马晓星陶先平吕建南京大学软件新技术国家重点实验室南京210093 南京大学计算机软件研究所南京210093

反射中间件是当前中间件技术研究中值得注意的一个新方向.它克服了传统中间件“黑箱”结构的缺陷,具有系统结构行为有序开放、可重配置等特点,能支持针对不同应用类型进行定制,可较好地适应动态变化的分布式环境和应用需求,已在移动计... 详细信息

反射中间件是当前中间件技术研究中值得注意的一个新方向.它克服了传统中间件“黑箱”结构的缺陷,具有系统结构行为有序开放、可重配置等特点,能支持针对不同应用类型进行定制,可较好地适应动态变化的分布式环境和应用需求,已在移动计算、多媒体应用等多个领域展现出较好的应用前景.该文在介绍反射计算与反射系统基本知识的基础上,首先分析归纳了反射中间件的核心概念和基本原理,给出一个反射中间件的一般结构.在此基础上提出一个反射中间件分类与比较框架,涵盖了反射类型、反射时间、反射范围、实现机制等方面的内容,而后依据此框架对目前几种具有代表性的反射中间件系统作综述和比较.最后对该领域值得进一步研究的问题进行了分析和讨论.

关键词：中间件反射构件重配置

来源：评论

学校读者我要写书评

暂无评论

多Agent系统的上下文感知增强

引用

软件学报 2012年第11期23卷 2905-2922页

作者：马骏陶先平朱怀宏吕建计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机软件研究所江苏南京210093

如今,多agent系统(multi-agent system,简称MAS)被广泛用于开发各种应用系统.当前,开放、动态、难控的计算平台要求软件系统能够根据系统自身及其环境状态信息及其改变,动态地调节自身的行为,即具备一定的上下文感知能力.然而,现有工作... 详细信息

如今,多agent系统(multi-agent system,简称MAS)被广泛用于开发各种应用系统.当前,开放、动态、难控的计算平台要求软件系统能够根据系统自身及其环境状态信息及其改变,动态地调节自身的行为,即具备一定的上下文感知能力.然而,现有工作并未就如何向既有的MAS应用系统引入上下文感知能力提出有效的解决方案.依照关注分离原则,结合面向上下文程序设计技术(context-oriented programming,简称COP)、反射技术(reflection)以及代码植入技术(code instrumentation),提出了一套MAS系统上下文感知增强框架和底层支撑技术.开发人员可以在既有应用源码不可得的情况下,自动地将指定agent类型转换为(扩展为)具有上下文感知能力的agent类型.此外,利用底层运行支撑环境,系统管理员可以在系统运行时刻动态地调整指定agent的上下文感知行为.

关键词：软件agent 多agent 系统上下文感知程序设计软件方法学

来源：评论

学校读者我要写书评

暂无评论

面向可信服务选取的基于声誉的推荐者发现方法

引用

软件学报 2010年第2期21卷 388-400页

作者：潘静徐锋吕建南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机软件研究所江苏南京210093

为了满足开放系统的高度动态性,特别是系统在线演化对服务评估高效性提出的要求,提出了一种基于声誉的推荐者发现方法,首先引入一个相关因子量化不同上下文中的推荐信任关系,得到信任可传递空间,然后应用信任子网分割算法得到评估发起... 详细信息

为了满足开放系统的高度动态性,特别是系统在线演化对服务评估高效性提出的要求,提出了一种基于声誉的推荐者发现方法,首先引入一个相关因子量化不同上下文中的推荐信任关系,得到信任可传递空间,然后应用信任子网分割算法得到评估发起者的可信推荐者群,最后通过主体群内的信任传递与迭代计算,确定具有高声誉值的推荐信息源.初步实验结果表明,该方法有助于在保证推荐信息准确性基础上减少信息收集中的网络资源消耗,从而有效提高可信服务评估的效率.

关键词：信任服务选取声誉协同推荐

来源：评论

学校读者我要写书评

暂无评论

一个软件服务协同中信任评估模型的设计

引用

软件学报 2003年第6期14卷 1043-1051页

作者：徐锋吕建郑玮曹春南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机软件研究所江苏南京210093

基于Internet的Web应用系统逐步表现为由多个软件服务组成的软件服务协同系统,面向开放、动态和多变的应用环境,软件服务之间的相互信任对软件服务个体和应用系统的安全保障与可靠运行均具有重要的意义.首先给出一个基于Agent的软件服... 详细信息

基于Internet的Web应用系统逐步表现为由多个软件服务组成的软件服务协同系统,面向开放、动态和多变的应用环境,软件服务之间的相互信任对软件服务个体和应用系统的安全保障与可靠运行均具有重要的意义.首先给出一个基于Agent的软件服务协同模型,随后针对该软件服务协同模型提出一个用于度量软件服务间信任关系的信任评估模型.信任被抽象成一个由信任评估主体对客体的主观期望和客观经验共同作用的函数,模型还提供了一个合理的方法用于综合直接经验和第三方推荐经验.与几个现有的工作相比,设计了较完整的信任评估模型,并强调其合理性和可操作性.信任评估模型可为软件服务之间的协同与安全决策提供依据.

关键词：软件服务协同系统信任评估协同模型 Agent

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：