期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到7篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
网构软件的研究与进展 被引量：101
1
作者 吕建 马晓星 +2 位作者 陶先平 徐锋 胡昊 《中国科学（E辑）》 CSCD 北大核心 2006年第10期1037-1080,共44页
随着Internet的快速发展与普及,如何在开放、动态、难控的网络环境下实现各类资源的共享和集成已经成为计算机软件技术面临的重要挑战之一,为了应对挑战,许多新理念、新概念、新模型、新方法和新技术应运而生.在系统分析以面向对象方法... 随着Internet的快速发展与普及,如何在开放、动态、难控的网络环境下实现各类资源的共享和集成已经成为计算机软件技术面临的重要挑战之一,为了应对挑战,许多新理念、新概念、新模型、新方法和新技术应运而生.在系统分析以面向对象方法与技术为代表的经典软件方法与技术体系不足的基础上,从软件方法学及其技术支撑的角度,通过对软件技术发展趋势与挑战的思考与分析,初步凝练出了网构软件的概念框架、基本特征、逻辑内涵与关键技术.然后,在此总体构架之下,对近年来出现的各种相关的软件新概念、新模型、新方法和新技术从基本理念开放化、软件实体主体化、软件协同分离化、运行机制自适应、开发方法群体化、外部环境显式化、安全保障可信化、系统管理自治化、技术体系系统化等多个侧面加以系统的综述与介绍;最后,在综合分析的基础上提炼出进一步的研究问题. 展开更多
关键词 网构软件 软件方法学 软件技术
原文传递
构件演化中的系统行为一致性的研究 被引量：8
2
作者 罗毅 李兴宇 +2 位作者 关连伟 胡昊 吕建 《计算机科学》 CSCD 北大核心 2008年第1期266-270,300,共6页
构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力。基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的。因此在构件演化时,例如对构件功能实现进行改变,可... 构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力。基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的。因此在构件演化时,例如对构件功能实现进行改变,可能导致系统运行偏离原来的系统行为。我们的工作就是在构件演化时对系统行为进行一致性检查,保证构件的功能实现的变化不会使系统行为偏离原来的系统。在本文中首先通过Petri-net的形式化方法,对系统实现中包括的构件的功能实现和构件间的交互进行建模,并通过以上信息推导得到系统行为。在此基础之上,根据基于行为继承理论的行为一致性规则的要求对定义的系统功能行为进行验证,以保证构件演化时系统行为的改变符合行为的一致性要求,同时又保证了构件演化的灵活性。 展开更多
关键词 构件演化 系统行为 行为一致性
下载PDF
一种基于运行时体系结构的BPEL支撑环境 被引量：3
3
作者 马骞 虞建杰 +1 位作者 马晓星 吕建 《电子学报》 EI CAS CSCD 北大核心 2006年第B12期2360-2365,共6页
为了使BPEL描述的组合服务能够根据动态的网络环境和多变的用户需求而动态演化,在我们已有工作的基础上,提出一种基于运行时体系结构的BPEL支撑环境.其核心在于引入一个运行时体系结构对象来刻画组合服务的体系结构,并用其解耦组合服务... 为了使BPEL描述的组合服务能够根据动态的网络环境和多变的用户需求而动态演化,在我们已有工作的基础上,提出一种基于运行时体系结构的BPEL支撑环境.其核心在于引入一个运行时体系结构对象来刻画组合服务的体系结构,并用其解耦组合服务与其成员之间的引用关系,从而通过对该对象的修改引起组合服务与其成员之间交互行为的重解释,实现组合服务的动态演化.在此支撑环境上开发了一个简单的应用实例以展示动态调整的效果. 展开更多
关键词 面向服务的计算 服务组合 BPEL 软件体系结构 动态演化
下载PDF
一种信任管理系统中层次式monitor机制的设计与实现 被引量：3
4
作者 张林 徐锋 +1 位作者 王远 吕建 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第2期191-198,共8页
信任链发现是信任管理的主要内容.由于在分布式环境中凭证分布于各个节点,并且对于相同或相似的请求现有的信任链发现算法需要大量重复的通信和计算开销进行凭证的搜集和验证,极大地影响了信任关系验证的效率.在分布式信任链发现算法的... 信任链发现是信任管理的主要内容.由于在分布式环境中凭证分布于各个节点,并且对于相同或相似的请求现有的信任链发现算法需要大量重复的通信和计算开销进行凭证的搜集和验证,极大地影响了信任关系验证的效率.在分布式信任链发现算法的基础上,结合网络中的信任关系相对稳定的特点,基于缓存的原理实现了一个可扩展的层次式monitor机制用于保存信任链发现过程中产生的中间结果,并且采用订阅机制保证其有效性,从而有效避免对相似的信任关系验证而产生的重复通信和计算开销.实验表明,采用该机制的分布式信任链发现算法在信任关系相对稳定的情形下具有较高的效率. 展开更多
关键词 信任管理 信任链 凭证 缓存 监视
下载PDF
一种动态服务组合技术及其支撑系统 被引量：2
5
作者 虞建杰 马晓星 吕建 《计算机科学》 CSCD 北大核心 2008年第12期234-238,共5页
Web服务组合现已成为软件研究和实践热点之一。目前虽已出现多种Web服务组合模型和描述语言,但是面对开放分布多变的Internet网络环境,这些模型和语言在应对变化的动态性支持方面仍显不足,尤其是缺乏从协作全局对动态性的支持。在分析... Web服务组合现已成为软件研究和实践热点之一。目前虽已出现多种Web服务组合模型和描述语言,但是面对开放分布多变的Internet网络环境,这些模型和语言在应对变化的动态性支持方面仍显不足,尤其是缺乏从协作全局对动态性的支持。在分析既有服务组合方式及其特点的基础上给出了一个解决方案,它通过一种动态协同模型综合了服务编排和服务编制的优点,在保持与主流技术和平台的兼容性的同时增强了对组合服务动态性的支持。还实现了相应的支撑系统,并在其上实现了一个应用示例。 展开更多
关键词 服务组合 动态性 协作性 WS-CDL BPEL
下载PDF
ARTEMIS-ARC系统协同模型的自省式实现技术研究
6
作者 马骞 俞春 +1 位作者 马晓星 吕建 《计算机科学》 CSCD 北大核心 2006年第10期242-246,共5页
基于运行时体系结构的协同模型能够为面向服务的协同应用系统的动态演化提供有效的支持。但是在实现层面上,如何使软件体系结构从抽象的规约转化为运行时实际的对象实体,并成为系统演化行为的直接载体,是一个较为困难的技术挑战。针对... 基于运行时体系结构的协同模型能够为面向服务的协同应用系统的动态演化提供有效的支持。但是在实现层面上,如何使软件体系结构从抽象的规约转化为运行时实际的对象实体,并成为系统演化行为的直接载体,是一个较为困难的技术挑战。针对这个问题,本文提出一种基于计算自省的实现途径,主要包括基于面向对象程序设计语言构造的体系结构层面的元表示和元协议、基于体系结构上下文中对象引用重解释构建的因果互连机制,以及基于该因果互连机制的应用系统的动态重配置。以上实现方式在自行开发的服务协同系统ARTEMIS-ARC时得以实施。 展开更多
关键词 软件服务 软件体系结构 动态演化 自省
下载PDF
面向体系结构的可视化服务集成开发环境Artemis-VIDE 被引量：1
7
作者 罗滨 潘健 +1 位作者 马晓星 吕建 《计算机科学》 CSCD 北大核心 2006年第6期242-246,共5页
为支持直观易扩展的软件服务集成和所集成之应用系统的动态演化,本文提出了一个面向体系结构的可视化服务集成开发环境。该环境支持以图形化的方式定义系统的软件体系结构及相关协同逻辑,并据此生成内置于应用系统之中的运行时刻体系结... 为支持直观易扩展的软件服务集成和所集成之应用系统的动态演化,本文提出了一个面向体系结构的可视化服务集成开发环境。该环境支持以图形化的方式定义系统的软件体系结构及相关协同逻辑,并据此生成内置于应用系统之中的运行时刻体系结构对象,作为应用系统运行和演化的基础。该环境还集成了服务搜索、基于图文法的体系结构检查等功能,为系统的开发、运行、监控和动态演化提供了一个一致、易用、可扩展的支撑平台。 展开更多
关键词 SOA 服务集成 协同 动态演化 可视化 Artemis—VIDE
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部