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

小型微型计算机系统 1998年第4期19卷 26-32页

作者：鲍一民张建莹伊波南京大学计算机软件研究所南京大学计算机软件新技术国家重点实验室

面向对象需求模型的研究是软件需求领域一个热门的课题。对象需求模型一个很重要的内容是对象关系模型，它具有层次的特点，在构模和管理中存在一定的特殊性。针对这个问题，本文提出了一种对象关系模型层次控制的算法，它具有灵活、高... 详细信息

面向对象需求模型的研究是软件需求领域一个热门的课题。对象需求模型一个很重要的内容是对象关系模型，它具有层次的特点，在构模和管理中存在一定的特殊性。针对这个问题，本文提出了一种对象关系模型层次控制的算法，它具有灵活、高效的特点，在实际的系统应用中，取得了较好的效果。

关键词：对象关系模型层次控制算法

来源：评论

学校读者我要写书评

暂无评论

工作流网WRI WF-net的验证方法研究及实现

引用

南京大学学报（自然科学版） 2006年第5期42卷 519-527页

作者：朱伟杰葛季栋鲁平胡昊吕建南京大学计算机软件新技术国家重点实验室计算机软件研究所南京210093

WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理... 详细信息

WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理性,这样只需确保用户建立的工作流模型符合WRI WF-net的约束,而不需要进行合理性验证.提出一个WRI WF-net的验证方法,能够在结构上验证模型是否满足WRI WF-net的约束,并且阐述了方法的实现.

关键词： WF-net WRI WF-net 工作流模型合理性

来源：评论

学校读者我要写书评

暂无评论

基于Agent的网构软件模型研究

引用

中国科学（E辑） 2005年第12期35卷 1233-1253页

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

以开放网络环境下的网构软件需求为切入点,基于软件Agent的原理、方法和技术,系统分析了基于面向对象方法学的经典软件结构模型及其支撑技术的限制,提出了一种开放协同软件模型来作为网构软件的基础模型.结合其关键支撑技术的研究,提出... 详细信息

以开放网络环境下的网构软件需求为切入点,基于软件Agent的原理、方法和技术,系统分析了基于面向对象方法学的经典软件结构模型及其支撑技术的限制,提出了一种开放协同软件模型来作为网构软件的基础模型.结合其关键支撑技术的研究,提出了基于移动Agent的协同程序设计技术、多模式交互机制及基于Agent中间件模型和面向体系结构的协同程序设计方法,并探讨其在主流软件技术中的应用,初步形成了一种适合于开放网络环境需求的技术框架体系.在此基础上,提出了一条建立基于Agent的网构软件模型的技术途径,即网构软件模型=开放协同模型+环境驱动模型+智能可信模型,从而为进一步的研究工作奠定了基础.

关键词：软件工程面向对象软件协同网构软件软件Agent

来源：评论

学校读者我要写书评

暂无评论

智能空间的资源管理及其应用研究

引用

南京大学学报（自然科学版） 2010年第1期46卷 77-84页

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

资源管理是智能空间关键技术之一,其研究也得到了广泛的关注.本文在Jini技术的基础上,以智能空间中的漫游打印为应用背景,提出了一种有效的智能空间的资源管理解决方案.该方案中,资源被抽象为服务,由属性、接口等描述;空间中服务动态地... 详细信息

资源管理是智能空间关键技术之一,其研究也得到了广泛的关注.本文在Jini技术的基础上,以智能空间中的漫游打印为应用背景,提出了一种有效的智能空间的资源管理解决方案.该方案中,资源被抽象为服务,由属性、接口等描述;空间中服务动态地加入或离开由发现和加入协议、异步事件通知机制和租用机制等来完成;资源的映射和冲突调度由资源映射和资源仲裁机制完成.最后给出了一个智能空间的漫游打印应用及其实现情况,并与相关工作进行了比较.

关键词：智能空间资源管理资源映射资源仲裁漫游打印

来源：评论

学校读者我要写书评

暂无评论

面向对象语言的动态特性研究

引用

计算机科学 1997年第5期24卷 19-23页

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

1.引言随着面向对象软件开发技术的发展,越来越多的软件开发者正在使用面向对象程设计语言[l. 10].面向对象语言的重要特征之一是其动态特性。一般而言,静态与编译阶段相联。

关键词：面向对象程序语言动态特性软件开发

来源：评论

学校读者我要写书评

暂无评论

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

引用

南京大学学报（自然科学版） 2007年第2期43卷 191-198页

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

信任链发现是信任管理的主要内容.由于在分布式环境中凭证分布于各个节点,并且对于相同或相似的请求现有的信任链发现算法需要大量重复的通信和计算开销进行凭证的搜集和验证,极大地影响了信任关系验证的效率.在分布式信任链发现算法的... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

网构软件的研究与进展

引用

中国科学（E辑） 2006年第10期36卷 1037-1080页

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

随着Internet的快速发展与普及,如何在开放、动态、难控的网络环境下实现各类资源的共享和集成已经成为计算机软件技术面临的重要挑战之一,为了应对挑战,许多新理念、新概念、新模型、新方法和新技术应运而生.在系统分析以面向对象方法... 详细信息

随着Internet的快速发展与普及,如何在开放、动态、难控的网络环境下实现各类资源的共享和集成已经成为计算机软件技术面临的重要挑战之一,为了应对挑战,许多新理念、新概念、新模型、新方法和新技术应运而生.在系统分析以面向对象方法与技术为代表的经典软件方法与技术体系不足的基础上,从软件方法学及其技术支撑的角度,通过对软件技术发展趋势与挑战的思考与分析,初步凝练出了网构软件的概念框架、基本特征、逻辑内涵与关键技术.然后,在此总体构架之下,对近年来出现的各种相关的软件新概念、新模型、新方法和新技术从基本理念开放化、软件实体主体化、软件协同分离化、运行机制自适应、开发方法群体化、外部环境显式化、安全保障可信化、系统管理自治化、技术体系系统化等多个侧面加以系统的综述与介绍;最后,在综合分析的基础上提炼出进一步的研究问题.

关键词：网构软件软件方法学软件技术

来源：评论

学校读者我要写书评

暂无评论

构件演化中的系统行为一致性的研究

引用

计算机科学 2008年第1期35卷 266-270,300页

作者：罗毅李兴宇关连伟胡昊吕建南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所南京210093

构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力。基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的。因此在构件演化时,例如对构件功能实现进行改变,可... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

MABEMS:一个基于移动Agent的电子市场空间

引用

南京大学学报（自然科学版） 2002年第2期38卷 131-138页

作者：徐锋吕建陶先平郭瑞景苏敏陈红强南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所南京210093

随着Internet的广泛普及 ,电子商务应用系统 ,尤其是基于Internet的电子市场系统日益受到重视 .然而面对Internet这种新的网络环境 ,传统的客户 /服务器技术并不适宜构造此类系统 .近年来 ,移动Agent技术被认为是一种易于设计、实现和维... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

南京大学学报（自然科学版） 2010年第2期46卷 169-178页

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

随着互联网的日益普及,形式各样的网络应用层出不穷.移动agent计算模式是一种灵活的分布计算模式和程序设计风范,给网络应用的设计、实现和维护都带来了较大的灵活性.移动agent技术的推广和使用,要求agent能够在网络上任意节点之间迁移... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：