支持依赖修复的热部署技术

热部署机制是主流应用服务器的典型功能之一。但是目前的应用服务器仅仅支持独立应用的热部署,并不能满足具有依赖注入的复杂企业级应用在线更新的需求。如果在线更新部分模块,会出现程序调用失效的问题,并会导致整个应用平台的失效。为了解决这个问题,介绍一种支持依赖修复的热部署技术。在首次部署应用的各模块时,用该技术建立模块之间的依赖关系。而在其更新时,通过查找依赖关系,找出受到更新影响的模块,修复依赖并进行局部的热部署,避免重启应用服务器的代价。最后通过实验表明,该热部署技术可以保证依赖注入下的应用正确性;在实际工程应用的场景下,该技术也能够大幅度提升应用服务器的性能和运行效率。     

面向动作的上下文感知应用的规约与运行时验证

面向动作的上下文感知（AOCA）应用组织环境中的资源,为用户动作的顺利进行提供支持.为应对环境和动作相关需求的开放性,这类应用采用轻量级、增量式的开发方法进行开发.相比于在开发阶段描述全局信息的开发方法,AOCA应用的开发可能由不同开发者在不同时间共同参与,这可能会导致较多的不一致等问题,且难以在开发阶段被发现.我们围绕使用运行时验证手段提高AOCA应用可靠性这一目标展开了研究.本文给出了对于AOCA应用运行状态进行形式化规约、对于系统级和应用级性质进行描述的方法.进一步地,我们设计实现了AOCA应用监控器.最后,通过案例分析以及性能评估证实该方法的有效性.     

以计算机问题求解为核心 积极推进人才创新能力培养

<正>计算机专业具有学科发展速度快、创新能力培养要求高、人才培养目标多样化的特点。在这样的背景下,南京大学计算机科学与技术系在总结长期办学经验的基础上,创造性地提出了"以计算机问题求解为核心,开展计算机专业人才创新能力培养"新思路。针     

面向问题求解的计算机专业基础课程的重构与实践

现行计算机学科专业基础教学中,课程体系以层次结构组织知识,教学模式以知识传授为主要目的,而能力培养却没有得到充分重视。文章介绍南京大学计算机科学与技术系近年来在此方面的教学改革,改革的基本内容包括在课程体系上以算法和平台为两条主线进行面向问题求解的基础课程重构,在教学过程中探索以"学生自学习+教师深入引导"为主的教学模式。     

反射中间件的研究与进展

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

A mobile-agent-based approach to software coordination in the HOOPE system

Software coordination is central to the construction of large-scale high-performance distributed applications with software services scattered over the decentralized Internet. In this paper, a new mobile-agent-based architecture is proposed for the utilization and coordination of geographically distributed computing resources. Under this architecture, a user application is built with a set of software agents that can travel across the network autonomously. These agents utilize the distributed resources and coordinate with each other to complete their task. This approach' s advantages include the natural expression and flexible deployment of the coordination logic, the dynamic adaptation to the network environment and the potential of better application performance. This coordination architecture, together with an object-oriented hierarchical parallel application framework and a graphical application construction tool, is implemented in the HOOPE environment, which provides a systematic support for the de     

ND-Polya类比实现技术

从认识论和方法论的角度来看,分类不是认识事物解决问题的唯一方法,类比同样十分重要．然而传统的继承只体现分类的方法．自行设计的面向对象语言ＮＤ－Ｐｏｌｙａ通过引入新的继承机制——柔性继承来支持类比方法．使用柔性继承机制,程序员能以描述事物或问题间相似性的方式进行软件开发．文中简要介绍了ＮＤ－Ｐｏｌｙａ的柔性继承设施,并在此基础上具体地讨论了该机制的类比实现技术．     

一种新的E-mail应用模式的研究

1 引言在Internet飞速发展的带动下,电子邮件E-mail成为了网络环境中异步通讯的基本手段之一,被应用在现实工作、生活中的方方面面,比如:传递消息、发送通知、投递文章、发表新闻、传输文件和共享资源等等。广泛的使用使得邮件量剧增,邮件处理成了相当繁琐的问题。为了减轻人们处理邮件的负担,一些网络软件产品如Netscape Messenger、Outlook和Foxmail等被     

普适计算中基于移动代理的应用follow me迁移技术*

为了更好地利用普适计算环境中的计算资源、减少人为干预、提高工作效率,提出了应用的follow-me迁移需求,即计算可以随着用户的移动在异构设备和计算环境中移动,让移动中的用户能够体验到不间断的计算。提出了基于移动代理的普适计算中间件FollowMeAgent。结合情境感知技术,利用软件代理所具备的移动性实现应用的自主迁移,并根据应用特点对迁移策略进行了细分。在此平台上开发了若干应用,通过性能测试证明其可行性和有效性。     

Mogent系统的通信机制

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