为了让面向服务的架构下的应用系统能够灵活地动态演化以适应底层因特网计算环境和用户需求的变化,该文提出了一种面向服务的动态协同架构.该架构引入内置的运行时体系结构对象来解耦系统中的各个服务构件,并通过该对象...
目前,软件系统运行环境日益增强的开放性对原有的软件开发技术(包括软件可靠性评估方法)提出了挑战.一些基于软件测试和模拟的方法由于效率上的不足而不再适用;而另一些方法,例如基于状态的可靠性评估方法,虽然在效率上...
反射中间件是当前中间件技术研究中值得注意的一个新方向.它克服了传统中间件"黑箱"结构的缺陷,具有系统结构行为有序开放、可重配置等特点,能支持针对不同应用类型进行定制,可较好地适应动态变化的分布式环境和应用需...
组合网络上既有Web服务以构造新的增值服务正逐渐成为一种主流软件形态.而Web服务组合常需进行修改演化以优化服务组合的内部业务流程,适应开放的工作环境.在服务组合演化时,为让尽可能多的执行中的服务组合实例享受到...
如何实现远程Agent通信的位置透明性,保证消息不会因为目标Agent迁移而丢失,一直是移动Agent通信所面临的难题,在现有的很多移动Agent系统中都没有得到解决.作者在Mogent系统中提出的通信算法初步实现了通信的位置透明...
图形化、集成化的软件体系结构开发环境对于推动软件体系结构相关技术的研究和应用具有重要的意义.提出了一种基于图文法的可视化编辑环境生成机制.对于给定的软件体系结构风格的图文法描述,可以自动生成相应的图文法制...
提出一种面向图的软件体系结构描述和实现技术(称为WebGOP)来支持分布Web应用系统的架构.开发者通过定义图的拓扑结构来描述体系结构,并可以根据需要定制图的类型以更好地表达特定的体系结构风格.同时,这个图实现为一个...
提出了一个面向服务计算的访问控制模型SCoAC.在该模型中服务实体间的交互被看作是双方平等地服务于应用系统,通过环境中各实体间关系的描述,表达了服务间以所在管理域间信任关系为基础、以所处应用上下文为依据的授权...
信任管理是解决开放环境安全问题的新方法,而信任链发现算法是信任管理系统的核心内容,与其所处理凭证的存储方式及凭证所表达的授权形式有关.基于给定的与dRBAC基本一致的授权形式,给出了一个凭证存储于签发者的信任链...
移动agent计算模式将成为未来网络计算的主流模式.迁移技术是移动agent的核心技术之一,受到了广泛的关注.在分析现有agent系统迁移机制的基础上,提出了一种结构化的agent迁移机制,该机制提供了任务级迁移,采用结构化旅...
工业化的软件复用已经从通用类库进化到了面向领域的应用框架和设计模式.与框架相比,设计模式更集中于软件体系结构中重复出现的设计韵律,它主要由可复用的抽象设计结构组成.特定领域内一组相关的设计模式构成了该领域...
继承是面向对象程序设计方法中的重要特征之一.在分析了传统继承机制不足的基础上,将类比理论引入面向对象,提出了一种新的继承机制——柔性继承机制.该机制在面向对象程序设计中增加了相似类、相似属性和相似方法的...
大型科学计算领域需要良好的应用开发和管理环境,以提高应用组件可复用性为目标,规范应用软件开发过程和计算工作流程.科学计算工作空间管理框架将应用组件作为基本对象,对其进行层次式管理,同时为应用组件开发过程提供...
在当前开放、变化的Internet环境下,业务过程需要在运行时进行动态更新,同时将原过程下正在运行的实例迁移到更新后的过程模型下.设计了一种支持动态更新的过程系统.在模型层面上,使用AOP(Aspect Orient Programming,面...
协变-反变问题讨论面向对象语言中继承机制和多态计算的关系,是当前面向对象程序设计语言中的一个重要的理论问题.反变的方法重定义不符合思维习惯,一般采用协变精化的设计方法.但抛弃反变后的面向对象程序设计,在多态...
构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力.基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的.因此在构件演化时,例如时构件功能实...
现有的信任模型或基于信任链,不能充分利用门户网站上丰富的推荐信息;或缺乏对推荐信息有效性的分析,不能很好地应对信任炒作和诽谤.将以往模型进行改进,对推荐信息采用长期分析和短期分析结合的方法,充分利用了推荐信...
“一个体系、两个切入点、三个层次内涵、四项重点任务”,是计算机软件新技术国家重点实验室研究与发展的指南. 1987年,计算机软件新技术国家重点实验室在南京大学计算机科学与技术系、计算机软件研究所的软件研究基础...
为降低信息系统应用过程中的各种风险,开发并部署相应的自动监控和过程审计系统成为一种重要甚至必要的措施.不同于传统应用,此类系统以业务系统和操作人员的动态行为过程为目标,其系统测试与确认测试依赖于人工现场操...