面向服务软件

作品数:14被引量:33H指数:4
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:应时贾向阳蒋曹清董波文静更多>>
相关机构:武汉大学广西财经学院中国人民解放军第二炮兵指挥学院东北师范大学更多>>
相关期刊:《中国科学:信息科学》《智能城市》《电子学报》《西安交通大学学报》更多>>
相关基金:国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划陕西省教育厅科研计划项目更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
一种求解面向服务软件部署优化问题的多目标蚁群算法被引量:4
《中南大学学报(自然科学版)》2017年第9期2376-2387,共12页李琳 应时 董波 
国家高技术研究发展计划(863计划)项目(2012AA011204);国家自然科学基金资助项目(61373038)~~
基于根据动态变化的外部环境调整面向服务软件的部署方案是提升其运行性能、降低运行成本的一种有效途径,提出一种基于多目标蚁群算法的MACO-DO,以便在自动为面向服务软件寻找一组在性能和成本之间作出最优权衡的部署方案。MACO-DO算法...
关键词:面向服务软件 部署优化 多目标蚁群算法 性能 
云环境中面向服务软件的演化部署优化方法被引量:4
《中国科学:信息科学》2017年第6期715-735,共21页李琳 应时 董波 王蕊 
国家高技术研究发展计划(863)(批准号:2012AA011204);国家自然科学基金(批准号:61373038;61672392)资助项目
针对现有的部署优化方法在求解云环境中面向服务软件的部署优化问题时,无法处理服务实例和虚拟机实例的伸缩以及无法保障求解质量等问题,本文提出了一种新的部署优化方法.该方法以提高面向服务软件的运行性能和降低运行成本为目标构建...
关键词:云计算 面向服务的软件 性能 成本 部署优化 遗传算法 
面向服务软件开发技术研究及应用研究
《智能城市》2016年第3期36-37,共2页徐佳 
当今社会,SOA、Web服务快速发展,软件开发技术已经得到了广泛应用,Web服务形式被大量的软件所应用,从而更好地服务于广大用户。随着当今网络中的服务类别增加和服务数量上升以及广大用户对服务Qo S的要求越来越高,服务的质量和安全成为...
关键词:面向服务软件 开发技术 应用 
基于蚁群算法的面向服务软件的部署优化方法被引量:5
《电子学报》2016年第1期123-129,共7页李琳 应时 赵翀 董波 
国家自然科学基金(No.61373038;No.61070012);国家863高技术研究发展计划(No.2012AA011204-01)
面向服务软件的部署优化问题是典型的NP难题.本文构建了基于性能改善的软件部署优化模型,设计了一种蚁群优化算法ACO-DO进行近似最优解的快速求解.该算法通过设计基于部署优化问题的启发式、改进部署方案的构建顺序、增加局部搜索过程...
关键词:面向服务的软件 部署优化 蚁群算法 性能 
基于模型检测的面向服务软件异常处理可终止性的验证方法
《小型微型计算机系统》2015年第11期2484-2491,共8页蒋曹清 肖芳雄 应时 文静 
国家自然科学基础重点项目(91118003;61272113;61272108)资助;国家自然科学基金项目(61070012;61170022;6126200)资助;广西自然科学基金项目(2015GXNSFAA139310)资助;广西高校科学技术研究项目(YB2014349)资助
针对面向服务软件异常处理的可终止性难以验证问题,提出一种基于模型检测的验证方法.该方法首先基于已建立的异常处理模型和形式定义的异常处理可终止性,使用ASK-CTL(Computation Tree Logic)刻画异常处理的可终止性,然后基于本文提出...
关键词:面向服务软件 异常处理 模型检测 可终止性验证 
基于OSGi的面向服务软件体系结构设计被引量:3
《计算机与网络》2014年第22期61-63,共3页李朋云 陈金勇 张琦 
为了实现企业级应用的基础架构、开发方式和部署方式的统一,文中研究了O SGi服务组件模型。O SGi提供了一种面向服务的组件开发框架,具有高度模块化和动态化特点。根据SOA架构思想和OSGi框架特性,设计一种基于OSGi规范的面向服务的软件...
关键词:OSGI SOA 软件体系架构 统一服务结构平台 
面向服务软件异常处理研究综述被引量:5
《计算机科学》2013年第4期1-8,21,共9页管华 应时 贾向阳 蒋曹清 王一兵 
国家自然科学基金面上项目(61070012;61170022);国家自然科学基金重点项目(61272113;61272108;91118003)资助
随着面向服务软件逐渐成为软件工程领域的研究热点,面向服务软件异常处理的研究日益受到关注,其重要性越来越突出。首先给出了面向服务软件异常的相关概念,阐述了当前面向服务软件异常的几种典型分类,介绍了几个面向服务软件的异常处理...
关键词:面向服务软件 异常处理 综述 
面向服务软件中异常处理的形式化建模方法被引量:4
《西安交通大学学报》2013年第4期118-124,共7页蒋曹清 应时 文静 贾向阳 王一兵 
国家"九七三"重点基础研究发展规划资助项目(2007CB310800);国家自然科学基础重点资助项目(91118003;61272113;61272108);国家自然科学基金资助项目(61070012;61170022)
针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模...
关键词:面向服务软件 异常处理 形式化建模 建模方法 
面向服务软件中异常处理模块重要性的仿真分析方法
《计算机科学》2012年第10期136-138,147,共4页吴青 应时 贾向阳 朱小刚 
国家自然科学基金(61070012)资助
基于蒙特卡洛方法,提出异常处理模块重要性的影响因子,其中包括异常处理模块所对应的保护区的重要性以及异常处理模块自身的稳态故障率。基于贝叶斯理论,计算保护区的重要性;运用马尔可夫链的遍历性计算异常处理模块的稳态故障率。试图...
关键词:面向服务软件 软件可靠性 异常处理 蒙特卡洛方法 
面向服务软件异常处理过程的可终止性验证被引量:4
《计算机科学与探索》2012年第3期208-220,共13页蒋曹清 应时 文静 贾向阳 管华 
国家自然科学基金No.61070012;国家重点基础研究发展规划(973)No.G2007CB310800~~
大规模面向服务软件运行环境的动态性和不确定性使其异常处理逻辑复杂度高,导致异常处理过程的可终止性验证异常困难。而异常处理过程的可终止性是确保其正确性的重要基础,如果异常处理过程不能终止将导致面向服务软件无法正常运行。目...
关键词:异常处理 可终止性验证 验证方法 面向服务软件 
检索报告 对象比较 聚类工具 使用帮助 返回顶部