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

软件学报 2000年第1期11卷 67-72页

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

提出了一种从 VDM- SL(Vienna development method- specification language)规约到并发面向对象程序的开发方法 ,这种方法基于 DD- VDM(data decomposition- Vienna development method) .在此基础上提出了虚拟原子、服务并行和内部并行等概念 ,继而提出一种嵌套面向对象结构来体现这些功能 .分别从共享量并行系统和分布并行系统的角度讨论了嵌套面向对象结构的实现技术 .

关键词：数据分解面向对象程序设计语言程序开发方法

来源：评论

学校读者我要写书评

暂无评论

一种改进的移动Agent通信算法

引用

计算机学报 2002年第4期25卷 357-364页

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

如何实现远程 Agent通信的位置透明性 ,保证消息不会因为目标 Agent迁移而丢失 ,一直是移动 Agent通信所面临的难题 ,在现有的很多移动 Agent系统中都没有得到解决 .作者在 Mogent系统中提出的通信算法初步实现了通信的位置透明性和可... 详细信息

如何实现远程 Agent通信的位置透明性 ,保证消息不会因为目标 Agent迁移而丢失 ,一直是移动 Agent通信所面临的难题 ,在现有的很多移动 Agent系统中都没有得到解决 .作者在 Mogent系统中提出的通信算法初步实现了通信的位置透明性和可靠的消息传输 .该文在原有算法的基础上提出了一种改进的适于多种迁移和通信模式的移动 Agent通信算法 ,进一步减少了 Agent的地址注册开销和迁移受到的限制。

关键词：移动Agent通信地址透明性消息路由通信失效算法 Internet

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于OCL的体系结构一致性验证环境

引用

计算机科学 2012年第S3期39卷 409-414页

作者：曹流曹春南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机软件研究所南京210093

在软件体系结构的相关研究中,如何保证软件体系结构的一致性成为了很重要的课题。提出了一种基于OCL的体系结构一致性验证方法,通过建模之前的对体系结构的约束进行定义,建模过程中和建模过程后对体系结构模型的一致性验证,来保证最终... 详细信息

在软件体系结构的相关研究中,如何保证软件体系结构的一致性成为了很重要的课题。提出了一种基于OCL的体系结构一致性验证方法,通过建模之前的对体系结构的约束进行定义,建模过程中和建模过程后对体系结构模型的一致性验证,来保证最终的模型符合用户所定义的一致性约束,提高了环境的易用性和可靠性。设计并实现了原型体系结构建模工具Artemis-GODE。

关键词：软件体系结构一致性验证 OCL

来源：评论

学校读者我要写书评

暂无评论

一种基于Agent的移动应用框架设计与应用研究

引用

计算机科学 2004年第9期31卷 32-35,44页

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

随着无线网络的发展和移动设备的日益普及,人们对这种移动计算模式的应用需求逐渐增多,然而目前无线网络和移动设备同传统的固定网络和计算设备相比有很多局限性,基于传统计算模式的软件系统结构无法直接在新型的移动计算环境下应用。... 详细信息

随着无线网络的发展和移动设备的日益普及,人们对这种移动计算模式的应用需求逐渐增多,然而目前无线网络和移动设备同传统的固定网络和计算设备相比有很多局限性,基于传统计算模式的软件系统结构无法直接在新型的移动计算环境下应用。本文分析了移动计算环境的特点以及移动应用系统的设计需求,并提出一种基于agent的移劝应用框架的设计方案,在该框架中我们还引入了中间层结构并且设计了无线交互协议,从而可以更好地适应移动计算的环境,本文最后把该框架应用于一个面向移动用户的服务发现系统中,从而验证了该框架在移劝系统环境中具有较高的适应性和良好的使用性。

关键词：移动应用无线网络移动设备固定网络移动计算环境软件系统结构使用性服务发现交互协议计算模式

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机科学 2006年第6期33卷 242-246页

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

为支持直观易扩展的软件服务集成和所集成之应用系统的动态演化,本文提出了一个面向体系结构的可视化服务集成开发环境。该环境支持以图形化的方式定义系统的软件体系结构及相关协同逻辑,并据此生成内置于应用系统之中的运行时刻体系结... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

单可表示类的特征

引用

计算机学报 2001年第6期24卷 568-573页

作者：朱朝晖李斌陈世福朱梧檟南京航空航天大学计算机科学研究所南京210016 南京大学计算机软件国家重点实验室南京210093

择优模型是目前常识推理领域中最常用的语义结构之一 .在择优模型中有一类重要的模型——单射择优模型 ,近年来 ,众多的学者对该模型类从各种角度进行了研究 ,但一个重要而基本的问题 ,即何种类型的择优后承具有单射择优模型 ,虽经多位... 详细信息

择优模型是目前常识推理领域中最常用的语义结构之一 .在择优模型中有一类重要的模型——单射择优模型 ,近年来 ,众多的学者对该模型类从各种角度进行了研究 ,但一个重要而基本的问题 ,即何种类型的择优后承具有单射择优模型 ,虽经多位学者的研究到现在仍然悬而未解 .目前 ,最好的结果是 Freund在有限语言限制下证明了“择优后承具有单射择优模型当且仅当它满足弱析取合理性”.文中提出择优模型的一种转换 ,将此转换应用于 Kraus,L ehm an及 Magidor提出的 KL M模型上 ,在一般语言框架下证明了“满足弱析取合理性的择优后承必具有单射择优模型”。

关键词：择优后承择优模型表示定理人工智能常识推理单可表示类

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机科学 2006年第10期33卷 242-246页

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

基于运行时体系结构的协同模型能够为面向服务的协同应用系统的动态演化提供有效的支持。但是在实现层面上,如何使软件体系结构从抽象的规约转化为运行时实际的对象实体,并成为系统演化行为的直接载体,是一个较为困难的技术挑战。针对... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

一种动态服务组合技术及其支撑系统

引用

计算机科学 2008年第12期35卷 234-238页

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

Web服务组合现已成为软件研究和实践热点之一。目前虽已出现多种Web服务组合模型和描述语言,但是面对开放分布多变的Internet网络环境,这些模型和语言在应对变化的动态性支持方面仍显不足,尤其是缺乏从协作全局对动态性的支持。在分析... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：