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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

软件体系结构的属性图文法描述及其约束验证

引用

计算机应用研究 2007年第3期24卷 163-168页

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

在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束。在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并... 详细信息

在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束。在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并实现了体系结构自动检查器。该检查器已应用于面向体系结构的服务集成开发平台Artemis-ARC系统中。

关键词：软件体系结构动态演化属性图文法验证

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

一种基于Agent技术的Web Services匹配模型的研究

引用

计算机科学 2005年第1期32卷 98-100,107页

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

Web Services是当前Web应用的一种新的模式。Internet将成为一个真正的分布式的计算平台,其上的服务可以协作完成某一任务,并且Web将成为可编程的。Web Services的发现是很重要的,因此有必要研究web Services的匹配。在本文中,我们提出... 详细信息

Web Services是当前Web应用的一种新的模式。Internet将成为一个真正的分布式的计算平台,其上的服务可以协作完成某一任务,并且Web将成为可编程的。Web Services的发现是很重要的,因此有必要研究web Services的匹配。在本文中,我们提出了一种基于Agent的Web Services的两层次匹配模型。

关键词： Agent技术 Web Services匹配模型 AMCDL语言匹配算法

来源：评论

学校读者我要写书评

暂无评论

一种基于动态语境组装的分布式构件框架的设计与实现

引用

电子学报 2009年第B04期37卷 57-64页

作者：谢德平邢阳马晓星曹春吕建南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所江苏南京210093

提出一种新的分布式构件框架ACF,在传统的以共享协同信息为主的语境机制基础上,引入了共享协同对象的动态语境机制,直接支持基于运行时软件体系结构的协同逻辑的表达和动态演化.该构件框架已在集成开发环境ArtemisStudio中得到初步实现... 详细信息

提出一种新的分布式构件框架ACF,在传统的以共享协同信息为主的语境机制基础上,引入了共享协同对象的动态语境机制,直接支持基于运行时软件体系结构的协同逻辑的表达和动态演化.该构件框架已在集成开发环境ArtemisStudio中得到初步实现和应用.

关键词：分布式构件基于语境的组装协同动态演化

来源：评论

学校读者我要写书评

暂无评论

软件过程与管理方法综述

引用

软件学报 2019年第1期30卷 62-79页

作者：荣国平张贺邵栋王青计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 中国科学院软件研究所北京100190

工程化软件开发需要对软件开发整个过程进行有效的组织和管理,由此产生了一系列软件开发组织和管理方法,其主要目的是形成一种载体,用以积累和传递关于软件开发的经验教训.然而,由于软件开发的一些天然特性(比如复杂性和不可见性)的存在... 详细信息

工程化软件开发需要对软件开发整个过程进行有效的组织和管理,由此产生了一系列软件开发组织和管理方法,其主要目的是形成一种载体,用以积累和传递关于软件开发的经验教训.然而,由于软件开发的一些天然特性(比如复杂性和不可见性)的存在,使得描述软件开发过程的软件开发与组织方法也天然地带着一定的抽象性.由此带来了很多概念上的误导和实践中的争论,影响了上述目的的达成.例如,对于究竟该如何选择和定义合适的软件开发过程以更好地满足某个特定项目的要求,目前仍然缺少可靠的手段.甚至有些面向工业界的调研报告表明:在实际软件项目开发中,过程改进(例如引入新的工具或者方法)的主要驱动力是佚闻.试图厘清软件组织与管理话题的若干核心概念,系统梳理软件组织和管理方法的特征,并且以软件发展的历史为主线,介绍软件组织与管理方法的历史沿革,整理出这种历史沿革背后的缘由.在此基础上,讨论和总结若干发现,以期为研究者和实践者提供参考.

关键词：软件工程软件过程软件项目管理软件过程管理

来源：评论

学校读者我要写书评

暂无评论

基于混合蚂蚁算法的QoS多播路由算法研究

引用

通信学报 2009年第6期30卷 142-148页

作者：孙知信夏云安南京邮电大学计算机技术研究所江苏南京210003 南京大学计算机软件新技术国家重点实验室江苏南京210093

在研究了QoS多播路由算法的基础上,提出了一种基于混合蚂蚁算法的QoS多播路由算法——QMRA-GAA算法。QMRA-GAA算法利用混合蚂蚁算法构造多播树,真正做到了协议无关,同时QMRA-GAA算法还具有额外负载低、自适应性强、不产生回路等优点。... 详细信息

在研究了QoS多播路由算法的基础上,提出了一种基于混合蚂蚁算法的QoS多播路由算法——QMRA-GAA算法。QMRA-GAA算法利用混合蚂蚁算法构造多播树,真正做到了协议无关,同时QMRA-GAA算法还具有额外负载低、自适应性强、不产生回路等优点。仿真结果表明,和传统的QoS多播路由算法相比,QMRA-GAA算法在加入成功率、自适应性方面都有了很大的提高,建树代价也控制在很好的范围内。

关键词：多播路由算法服务质量蚂蚁网络算法协议无关

来源：评论

学校读者我要写书评

暂无评论

支持乱序执行的Raft协议

引用

软件学报 2021年第6期32卷 1748-1778页

作者：谷晓松魏恒峰乔磊黄宇计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 北京控制工程研究所北京100190

PolarFS是阿里巴巴开发的分布式文件系统,它实现了分布式共识协议Raft的一种变体,称为***突破了Raft中顺序提交、顺序执行的限制,允许状态机乱序执行用户命令.然而文献表明:ParallelRaft并未开源,仅有简短的文字描述,更缺乏严格的形式... 详细信息

PolarFS是阿里巴巴开发的分布式文件系统,它实现了分布式共识协议Raft的一种变体,称为***突破了Raft中顺序提交、顺序执行的限制,允许状态机乱序执行用户命令.然而文献表明:ParallelRaft并未开源,仅有简短的文字描述,更缺乏严格的形式化规约.更进一步,它的正确性也尚未经过必要的数学论证或形式化检验.旨在为ParallelRaft提供严格的形式化规约并证明其正确性,主要贡献包括:首先,为了理清ParallelRaft与Raft之间的关系,提出了允许乱序提交、顺序执行的ParallelRaft-SE(sequential execution)协议,并建立了从ParallelRaft-SE到Multi-Paxos的精化关系;其次,现有的ParallelRaft描述忽略了可能会违反状态一致性的"幽灵日志"问题,因此在ParallelRaft-SE的基础上提出了ParallelRaft-CE(concurrent execution)协议.ParallelRaft-CE限制了ParallelRaft-SE在乱序提交阶段的并行度,避免了"幽灵日志"问题,支持乱序执行,并保证乱序执行下的状态机一致性.证明了ParallelRaft-CE的正确性.最后,使用TLA+给出了ParallelRaft-SE和ParallelRaft-CE的形式化规约,并对协议参与者数量较小的情形,使用TLC模型检验与模拟测试工具验证了从ParallelRaft-SE到Multi-Paxos的精化关系以及ParallelRaft-CE的正确性.

关键词： Raft ParallelRaft Multi-Paxos 共识协议 TLA+ 精化关系模型检验

来源：评论

学校读者我要写书评

暂无评论

一种基于特征矩阵的软件脆弱性代码克隆检测方法

引用

软件学报 2015年第2期26卷 348-363页

作者：甘水滔秦晓军陈左宁王林章数学工程与先进计算国家重点实验室(无锡江南计算技术研究所) 江苏无锡214083 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

提出了一种基于特征矩阵的软件代码克隆检测方法.在此基础上,实现了针对多类脆弱性的检测模型.基于对脆弱代码的语法和语义特征分析,从语法分析树抽取特定的关键节点类型描述不同的脆弱性类型,将4种基本克隆类型细化拓展到更多类,通过... 详细信息

提出了一种基于特征矩阵的软件代码克隆检测方法.在此基础上,实现了针对多类脆弱性的检测模型.基于对脆弱代码的语法和语义特征分析,从语法分析树抽取特定的关键节点类型描述不同的脆弱性类型,将4种基本克隆类型细化拓展到更多类,通过遍历代码片段对应的语法分析树中关键节点的数量,构造对应的特征矩阵.从公开漏洞数据库中抽取部分实例作为基本知识库,通过对代码进行基于多种克隆类型的聚类计算,达到了从被测软件代码中检测脆弱代码的目的.与基于单一特征向量的检测方法相比,对脆弱性特征的描述更加精确,更具有针对性,并且弥补了形式化检测方法在脆弱性类型覆盖能力上的不足.在对android-kernel代码的测试中发现了9个脆弱性.对不同规模软件代码的测试结果表明,该方法的时间开销和被测代码规模成线性关系.

关键词：脆弱性检测代码克隆语法分析树特征矩阵

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：