检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

面向服务软件异常处理研究综述

计算机科学 2013年第4期40卷 1-8,21页

作者：管华应时贾向阳蒋曹清王一兵武汉大学软件工程国家重点实验室武汉430072 武汉工业学院网络中心武汉430023 第二炮兵指挥学院三系武汉430012

随着面向服务软件逐渐成为软件工程领域的研究热点,面向服务软件异常处理的研究日益受到关注,其重要性越来越突出。首先给出了面向服务软件异常的相关概念,阐述了当前面向服务软件异常的几种典型分类,介绍了几个面向服务软件的异常处理... 详细信息

随着面向服务软件逐渐成为软件工程领域的研究热点,面向服务软件异常处理的研究日益受到关注,其重要性越来越突出。首先给出了面向服务软件异常的相关概念,阐述了当前面向服务软件异常的几种典型分类,介绍了几个面向服务软件的异常处理中使用的方法,并指出它们的局限性。通过分析和总结当前面向服务软件异常处理的研究方向和研究现状,提出了要解决的关键问题,探讨了当前面向服务软件异常处理研究的不足之处,并预测了下一步面向服务软件异常处理的主要研究方向。

关键词：面向服务软件异常处理综述

面向服务软件中异常处理模块重要性的仿真分析方法

在线全文

学校读者我要写书评

暂无评论

计算机科学 2012年第10期39卷 136-138,147页

作者：吴青应时贾向阳朱小刚武汉大学教育科学学院武汉400072 武汉大学软件工程国家重点实验室武汉400072 南昌大学科学技术学院网络与信息中心南昌330047

基于蒙特卡洛方法,提出异常处理模块重要性的影响因子,其中包括异常处理模块所对应的保护区的重要性以及异常处理模块自身的稳态故障率。基于贝叶斯理论,计算保护区的重要性;运用马尔可夫链的遍历性计算异常处理模块的稳态故障率。试图... 详细信息

基于蒙特卡洛方法,提出异常处理模块重要性的影响因子,其中包括异常处理模块所对应的保护区的重要性以及异常处理模块自身的稳态故障率。基于贝叶斯理论,计算保护区的重要性;运用马尔可夫链的遍历性计算异常处理模块的稳态故障率。试图提出一种面向服务软件中异常处理模块重要性的定量分析方法,设计人员可以根据分析结果对重要度高的异常处理模块给予更多的关注。

关键词：面向服务软件软件可靠性异常处理蒙特卡洛方法

一种求解面向服务软件部署优化问题的多目标蚁群算法

在线全文

学校读者我要写书评

暂无评论

中南大学学报（自然科学版） 2017年第9期48卷 2376-2387页

作者：李琳应时董波武汉大学软件工程国家重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072

基于根据动态变化的外部环境调整面向服务软件的部署方案是提升其运行性能、降低运行成本的一种有效途径,提出一种基于多目标蚁群算法的MACO-DO,以便在自动为面向服务软件寻找一组在性能和成本之间作出最优权衡的部署方案。MACO-DO算法... 详细信息

基于根据动态变化的外部环境调整面向服务软件的部署方案是提升其运行性能、降低运行成本的一种有效途径,提出一种基于多目标蚁群算法的MACO-DO,以便在自动为面向服务软件寻找一组在性能和成本之间作出最优权衡的部署方案。MACO-DO算法是对传统多目标蚁群算法的一种改进,引入摒弃精英解策略以避免算法早熟收敛,设计1个局部搜索过程以加快获得可行解的过程。在Case 1,Case 2和Case 3共3种不同规模的模拟案例上将提出的MACO-DO算法与P-ACO算法和NSGA-Ⅱ算法进行对比。研究结果表明:MACO-DO算法在求解问题上具有更好的性能。

关键词：面向服务软件部署优化多目标蚁群算法性能

面向服务软件中基于着色Petri网的异常处理模型

在线全文

学校读者我要写书评

暂无评论

计算机科学 2011年第4期38卷 170-174页

作者：吴青应时贾向阳武汉大学软件工程国家重点实验室武汉430072

面向服务软件异常处理的开发工作量大且程序逻辑复杂。若只在设计阶段后期或是编码阶段考虑异常处理功能的开发,则可能由于没有充分、完整、系统地考虑待处理的异常而严重影响软件整体可靠性。针对面向服务软件中异常处理机制的特点,提... 详细信息

面向服务软件异常处理的开发工作量大且程序逻辑复杂。若只在设计阶段后期或是编码阶段考虑异常处理功能的开发,则可能由于没有充分、完整、系统地考虑待处理的异常而严重影响软件整体可靠性。针对面向服务软件中异常处理机制的特点,提出一种基于着色Petri网的异常处理模型。通过对异常处理组成元素和异常处理模式分别进行形式化描述,可提供可重用的异常处理模型元素。设计者根据面向服务软件中异常处理的实际需求,使用异常处理模式连接异常处理组成元素,形成一个完整的异常处理模型。利用该模型可以精确描述面向服务软件中异常处理总体方案,便于辅助设计人员检测异常处理设计方案中的缺陷。

关键词：面向服务软件异常处理着色Petri网

在线全文

学校读者我要写书评

暂无评论

面向服务软件异常处理过程的可终止性验证

计算机科学与探索 2012年第3期6卷 208-220页

作者：蒋曹清应时文静贾向阳管华武汉大学软件工程国家重点实验室武汉4300722 广西财经学院信息与统计学院南宁530003

大规模面向服务软件运行环境的动态性和不确定性使其异常处理逻辑复杂度高,导致异常处理过程的可终止性验证异常困难。而异常处理过程的可终止性是确保其正确性的重要基础,如果异常处理过程不能终止将导致面向服务软件无法正常运行。目... 详细信息

大规模面向服务软件运行环境的动态性和不确定性使其异常处理逻辑复杂度高,导致异常处理过程的可终止性验证异常困难。而异常处理过程的可终止性是确保其正确性的重要基础,如果异常处理过程不能终止将导致面向服务软件无法正常运行。目前缺乏异常处理过程的可终止性验证方法,从而无法保证异常处理达到预期的目标。基于着色Petri网(colored Petri net,CPN)提出了一种面向服务软件异常处理过程的可终止性验证方法。该方法建立了包括正常流程和异常处理逻辑的异常层次CPN模型(hierarchy CPN model for exception handling,HCPN4EH)。基于此模型验证了异常处理过程的可终止性。通过一个实例说明了该方法的可行性和有效性。得到的可终止性验证结果可为进一步分析异常处理过程的正确性提供基础。

关键词：异常处理可终止性验证验证方法面向服务软件

在线全文

学校读者我要写书评

暂无评论

面向服务软件开发技术研究及应用研究

智能城市 2016年第3期2卷 36-37页

作者：徐佳渤海大学信息科学与技术学院辽宁锦州121000

当今社会,SOA、Web服务快速发展,软件开发技术已经得到了广泛应用,Web服务形式被大量的软件所应用,从而更好地服务于广大用户。随着当今网络中的服务类别增加和服务数量上升以及广大用户对服务Qo S的要求越来越高,服务的质量和安全成为... 详细信息

当今社会,SOA、Web服务快速发展,软件开发技术已经得到了广泛应用,Web服务形式被大量的软件所应用,从而更好地服务于广大用户。随着当今网络中的服务类别增加和服务数量上升以及广大用户对服务Qo S的要求越来越高,服务的质量和安全成为了面向服务软件开发技术研究的首要任务。

关键词：面向服务软件开发技术应用

基于模型检测的面向服务软件异常处理可终止性的验证方法

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2015年第11期36卷 2484-2491页

作者：蒋曹清肖芳雄应时文静广西财经学院信息与统计学院南宁530003 武汉大学软件工程国家重点实验室武汉430072

针对面向服务软件异常处理的可终止性难以验证问题,提出一种基于模型检测的验证方法.该方法首先基于已建立的异常处理模型和形式定义的异常处理可终止性,使用ASK-CTL(Computation Tree Logic)刻画异常处理的可终止性,然后基于本文提出... 详细信息

针对面向服务软件异常处理的可终止性难以验证问题,提出一种基于模型检测的验证方法.该方法首先基于已建立的异常处理模型和形式定义的异常处理可终止性,使用ASK-CTL(Computation Tree Logic)刻画异常处理的可终止性,然后基于本文提出的异常处理可终止性的模型检测算法,可获得异常处理可终止性验证结果.最后,结合实例从可行性和有效性角度对验证方法进行实证和评估,结果表明,本方法能有效验证异常处理的可终止性,且具有较好的性能,为进一步分析异常处理的正确性提供支持.

关键词：面向服务软件异常处理模型检测可终止性验证

在线全文

学校读者我要写书评

暂无评论

一种基于部署方案的软件性能建模与优化方法

一种基于部署方案的软件性能建模与优化方法

作者：骆慧武汉大学

学位级别：硕士

软件逐渐朝着动态、开放和分布式的方向发展,SaaS软件通过分布于互联网中的云服务组合提供软件复杂功能的模式随之流行。然而在SaaS软件运行过程中常常由于自身业务逻辑结构或者外部访问过于频繁等原因出现性能降级的问题,如何提升软件... 详细信息

软件逐渐朝着动态、开放和分布式的方向发展,SaaS软件通过分布于互联网中的云服务组合提供软件复杂功能的模式随之流行。然而在SaaS软件运行过程中常常由于自身业务逻辑结构或者外部访问过于频繁等原因出现性能降级的问题,如何提升软件的性能面临着极大的挑战。面向SaaS软件部署方案的性能优化是改善软件性能状况的一种重要的途径,通过调整软件中服务与云环境下虚拟机之间的部署映射关系而提升软件性能。本文结合SaaS软件的特点以及SaaS软件性能优化的具体需求,提出了一种基于部署方案的软件性能建模与优化方法,主要贡献如下:（1）提出了一种支持性能优化的软件部署描述语言SSDL,构建了 SaaS软件性能模型。SSDL语言基于SaaS软件部署的情况,针对SaaS软件性能优化所需的信息,综合考虑了软件部署配置信息、性能需求与资源可用性需求,从部署环境、部署对象、部署计划和部署约束四个方面构建SSDL概念模型,描述了 SaaS软件部署方案。本文的工作建立在现有模型和方法的基础上,可达到如下设计要求:（a）能形象描述软件基本部署过程,定义了充分的语言成分;（b）为SaaS软件部署方案的性能优化提供必需的信息,并且支撑优化后的重部署工作;（c）适用于动态易变的部署运行环境,便于扩展。（2）提出了一种基于部署方案的软件性能优化方法。SaaS软件部署方案的性能优化是一个组合NP-Hard问题,在寻求最优的服务和虚拟机映射关系的过程中,常常面临着搜索空间庞大、海量QoS历史数据等问题。首先根据SSDL语言中部署对象和部署环境的信息构造性能优化输入函数,部署约束的信息构造性能优化约束函数,采用线性回归方法构造性能优化目标函数,最后通过线性规划的方法计算得到优化后的部署计划。（3）结合一个SaaS软件系统进行案例研究,从而证实该方法的有效性。本文结合了一个应急任务运行管理软件对性能进行建模和优化,首先采用了SSDL语言描述了系统的部署方案,然后构建性能优化所需的输入函数、目标函数和约束函数,采用Lingo软件仿真得出一个能改善系统性能的部署方案。实验结果证明,本文提出的方法能有效地基于部署方案进行性能建模和性能优化,从而辅助系统部署人员维护软件的正常运行。

关键词：面向服务软件线性回归性能建模性能优化

基于.NET平台面向服务的工艺处理系统的研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于.NET平台面向服务的工艺处理系统的研究

作者：张鹏西安建筑科技大学

学位级别：硕士

随着全球经济一体化,各个行业的竞争也越来越激烈。对于机械加工企业来说,如何提高生产率、产品质量和减少生产成本,成为企业关注的焦点话题,也成为企业生存的根本因素之一。从上世纪后半叶,电子、计算机行业的兴起对工业等各个领域产... 详细信息

随着全球经济一体化,各个行业的竞争也越来越激烈。对于机械加工企业来说,如何提高生产率、产品质量和减少生产成本,成为企业关注的焦点话题,也成为企业生存的根本因素之一。从上世纪后半叶,电子、计算机行业的兴起对工业等各个领域产生了巨大的影响,它们的广泛应用,有效地提高了企业生产效率和产品质量,控制了产品的生产成本。论文研究了一种基于.NET Framework 3.5平台面向服务架构的工艺处理系统。论文首先以某单位产品处理工艺为背景,通过详细地调查分析,找出原有系统的不足;继而对当前流行的先进技术(面向服务架构软件、WCF、设计模式、组件及***等)进行了深入地研究与探讨;随后利用这些技术设计了一个面向服务架构的工艺处理加工平台,并实现了用户当前需要的管理功能。该系统不仅实现了当前用户生产控制中的要求,同时建立了一个复用性、灵活性较好的面向服务的软件平台架构,为以后生产控制中系统功能的扩充提供了良好的途径。最后,对系统进行了评价,并总结了项目研发过程中的感受与体会。

关键词：面向服务软件设计模式