导读:本文包含了服务组合验证论文开题报告文献综述及选题提纲参考文献，主要关键词:Web服务组合,概率模型检测,多目标验证,用户需求
服务组合验证论文文献综述
周女琪,周宇[1]（2018）在《基于概率模型检测的Web服务组合多目标验证》一文中研究指出Web服务组合是服务计算领域的重要研究内容。用户的非功能性需求是Web服务组合中衡量服务的标准之一,然而开放环境下用户的需求具有一定的不确定性和多目标性特点。为了解决此种不确定性,提出了一种基于概率模型检测的多目标验证方法。首先,将Web服务组合过程建立为定量多目标马尔可夫决策过程,并将该模型转换为PRISM模型。同时,将不同的用户需求建模成多目标时序逻辑公式,使用概率模型检测器PRISM对其进行验证,获得多个目标约束下关键目标的期望值,并导出相关策略。最后,通过实例来进一步说明该方法的有效性与可行性。(本文来源于《计算机科学》期刊2018年08期）
胡晓静,刘士喜[2]（2018）在《基于BPEL-PN的服务组合流程合理性验证研究》一文中研究指出针对服务组合流程中可能存在的死锁及不正确流程,采用BPEL流程描述语言,设计服务组合流程Petri网(BPEL-PN),在不破坏原网模型结构性质的基础上,将其调整映射为(扩充)自由选择网。根据BPEL-PN模型的流程合理性验证方法,分析网模型的结构活性与有界性,判断该网模型是否合理。最后以具体的服务组合流程模型进行验证研究,证明该方法的有效性。(本文来源于《湖北工程学院学报》期刊2018年03期）
周女琪[3]（2018）在《基于概率模型检测的Web服务组合验证方法研究》一文中研究指出在服务质量(QoS)感知的Web服务组合研究中,衡量服务质量的标准通常是用户的非功能属性。然而,传统的Web服务组合方法难以恰当地处理用户非功能属性的不确定性与多目标性,也并没有考虑环境的动态变化对Web服务组合过程的影响以及不同抽象服务之间的依赖性。针对以上问题,本文提出了一系列基于概率模型检测的Web服务组合验证方法。首先,针对用户的非功能性属性的不确定性与多目标性,提出一种基于概率模型检测的Web服务组合多目标验证方法,将用户非功能性属性建模成为多目标时序逻辑公式,将Web服务组合过程建模为定量多目标马尔可夫决策过程,使用概率模型检测工具验证。其次,环境的动态变化会影响具体服务的QoS值,因此,选择具体服务时应考虑环境对其QoS值的影响。针对此问题,在以上多目标验证方法的基础上,提出一种开放环境下的Web服务组合多目标验证方法。将环境的动态变化过程建模为马尔可夫决策过程,使之与Web服务组合的定量多目标马尔可夫决策过程交互,使用概率模型检测工具验证。再次,针对环境动态变化过程的随机性和Web服务组合过程中不同的抽象服务之间的依赖问题,提出一种基于参数化模型的Web服务组合验证方法。该方法将环境模型中不同状态之间的转换概率参数化以处理环境变化过程的随机性。同时,引入限制要求约束Web服务组合过程,以处理抽象服务间的依赖问题,同时有效地缓解了验证过程中的状态爆炸问题。基于以上方法,本文对“在线购物服务”,“交通服务选择”两个场景进行案例研究,证明上述方法的正确性和可扩展性,并给出定量分析结果。(本文来源于《南京航空航天大学》期刊2018-03-01）
李永湘[4]（2017）在《基于进程代数的云制造服务组合形式化建模与验证》一文中研究指出云制造作为一种新的制造模式,采用云计算思想,利用分布式技术与资源重用技术,为解决制造业“信息孤岛”问题带来了曙光。云制造服务组合形式化建模与验证是确保云制造服务组合顺利执行的关键技术。论文以云制造服务组合为研究对象,以进程代数方法为依托,从理论、模型和应用叁个层次上来研究云制造服务组合方法、服务交互场景模型、服务组合过程模型、形式化验证、服务组合平台开发等内容,以促进云制造环境下服务组合的正确性、安全性,帮助云制造服务用户按需获取、付费使用云制造服务,有助于用户在更广的范围里共享和优化配置制造资源,提高制造的柔性、敏捷性和企业竞争力。本文对云制造服务组合、建模及形式化验证的关键技术进行了系统的研究,主要包括:研究了云制造服务组合平台体系架构,详细阐述包括制造资源层、虚拟资源层、服务信息层、核心功能层、终端应用层和服务运营层在内的各层主要功能和实现技术;根据面向服务的理念将云制造资源划分为物质型、知识型和能力型叁种制造资源,并分析这叁种制造资源的特性,给出了对其进行描述与封装的方法;探讨了云制造资源服务化的实现过程,将其分为资源感知、虚拟封装、服务蜕变、服务展现四个主要环节;建立了云制造资源服务化模型,并给出了机床服务化等实例。研究了基于进程代数、云熵遗传算法与业务智能的云制造平台智能服务组合方法,阐述了智能服务组合方法的基本原理及其叁种不同服务组合模式:手动模式、半自动模式和自动模式云制造服务组合方法;提出并分析了云制造服务组合策略;给出了服务匹配度、组合和谐度和云熵的计算方法,并在此基础上构建云制造服务组合多目标优化数学模型;给出了一种求解云制造服务组合多目标优化问题的云熵遗传算法;以自动导引搬运小车制造任务为例,验证了所给出的云制造服务组合多目标优化模型的正确性及其求解算法的可行性。研究了云制造服务组合形式化建模方法,重点阐述了服务交互场景形式化模型和服务组合进程形式化模型。云制造服务交互场景形式化模型用于描述云制造服务间的交互行为,可清晰表达云制造服务组合中各组成部分之间的业务逻辑关系,并可模拟云制造服务组合的整个交互行为;云制造服务组合进程形式化模型用于描述云制造服务的组合活动,可表达云制造服务组合实现的工作流程和工序关系。以MillingMachine服务与MoldFactory服务为例分别验证了云制造服务交互场景形式化建模和组合进程形式化建模方法。研究了云制造服务组合主要属性的形式化验证机制。以进程代数为工具,将服务交互场景模型验证与服务组合进程模型验证相结合;在对服务交互场景模型进行形式化验证时,将整个服务组合的交互行为根据场景分割原理划分为多个服务交互场景,重点验证各服务交互场景的功能属性;在对服务组合进程模型进行形式化验证时,则重点验证各服务组合进程模型中各服务组合活动的非功能属性。研究了机加工云服务平台技术架构与实现工具,阐述了云制造服务组合形式化建模与验证技术在云服务平台中的具体应用。以医用氧气吸入器制造任务为例展示了智能服务组合方法在机加工云服务平台中的具体应用;而以自动导引搬运小车车身加工服务组合和开放式集成制造系统服务组合为例,分别展示了服务组合进程模型和服务交互场景模型的应用,并运用所提出的形式化验证方法对两个应用案例的形式化模型的主要属性进行了验证。案例研究结果表明本文提出的基于扩展进程代数的形式化建模与验证方法是可行的,可验证服务组合相关属性,并且与其它服务组合方法相比较,本文提出的智能服务组合方法满足服务组合的需求项数最多。(本文来源于《华南理工大学》期刊2017-05-05）
温贝贝[5]（2017）在《基于层次状态机的服务组合与验证》一文中研究指出面向服务的软件体系结构中,将软件系统的功能看作是软件系统所提供的服务。随着软件系统复杂性的不断增长,当前的主流软件开发模式均倾向于尽可能使用系统所提供的或所开发的现存构件来实现新系统的功能,由此导出了如何由现存服务通过组合来实现更为复杂业务逻辑的问题,与此同时所得到复合服务的有效性需要得到充分的验证。通过对现存服务组合方法的分析和对比,论文以状态机为软件系统所提供的服务建模,由此将服务组合问题转化为状态机的合成问题。针对基于状态的建模方法中由于系统复杂度过高可能导致的状态空间爆炸问题,采用层次化方法对状态空间进行合理划分。论文首先将非确定性有限自动机和确定性有限自动机的概念引入服务领域,并在正则表达式的基础上提出了服务状态机的内模式和外模式的概念,以此描述软件系统的服务。其次,在服务描述的基础上,根据子服务状态空间是否存在交集,提出了服务的可组合性判定算法,对于可组合的子服务进行了相应的组合。第叁,根据状态机的可达性分析,通过计算状态机的笛卡尔积来对服务组合的有效性进行了验证。第四,为缓解复杂系统中状态空间爆炸的问题,根据原始子服务及其与最终得到的复合服务之间的对应关系,得到相应的层次状态机,通过所提出的算法对于复合服务状态机的性质不变性进行了验证。最后,将所提出的方法应用于汽车租赁系统的实例中,对该实例的服务进行建模、组合与验证,通过实例验证,所提出的方法能够有效解决服务组合中有效性、效率等方面的要求。(本文来源于《中国石油大学（北京）》期刊2017-05-01）
马凤娇[6]（2016）在《基于SMT求解器的Web服务组合的验证研究》一文中研究指出近年Web服务已经成为一种新兴的、有发展前景的技术,而服务组合概念的提出大大便捷了我们的生活。但由于服务组合的过程具有动态性,组合服务的正确性得不到保证,所以对Web服务组合的验证变得尤为重要。目前常见的服务组合验证方法是对Web服务组合流程进行形式化建模,但是这些验证方法大部分是基于控制流分析且建模过程较复杂,所以验证效果不是很理想。为了解决上述问题,本文提出一种基于SMT求解器的Web服务组合验证方法。求解公式的可满足性是一个经典的NP完全问题,而SMT问题是在特定理论下判定一阶逻辑公式可满足性的问题,它在形式化验证、程序分析等领域中都具有非常重要的应用价值。本文的主要工作如下:(1)从Web服务提供的XML文档中抽取有用的约束信息并生成一个中间文件,该中间文件中包含了服务组合的执行流程、流程中活动的执行条件和变量的详细定义等约束信息。(2)对生成的中间文件做进一步预处理,然后根据提出的变量约束、赋值约束、执行条件约束和次序约束的生成规则生成约束,最后利用SMT求解器进行求解验证。(3)设计一种基于SMT求解器的Web服务组合验证框架。该框架在本文提出的Web服务组合验证方法的基础上,增加了对验证失败情况的处理,确保了Web服务组合的质量。本文对Web服务组合验证进行深入研究,提出了解决方法,通过实验证明本文提出的服务组合验证方法是可行的。(本文来源于《南京邮电大学》期刊2016-11-18）
李靖,崔仲远[7]（2016）在《基于服务分组和调用轨迹的Web服务组合验证方案》一文中研究指出针对Web服务组合的有效性验证问题,提出了一种基于服务分组和调用轨迹的Web服务组合形式化验证方案。首先,基于服务调用顺序,利用提出的Web服务集分组(WSSG)算法将候选Web服务划分为几个子集,并结合调用轨迹编排这些子集组成WSSG图,作为系统的抽象模型;然后,推理出系统所需的预期交互规范,并利用线性时序逻辑(LTL)来描述交互规范;最后,通过检测模型是否符合交互规范来验证组合模型的可行性。实验结果表明,该方案能够有效验证Web服务组合的正确性,且避免了死锁现象。(本文来源于《现代电子技术》期刊2016年05期）
彭焕峰,黄志球,范大娟,章永龙[8]（2016）在《面向服务组合的用户隐私需求规约与验证方法》一文中研究指出用户向Web服务组合提供隐私数据时,不同用户有自身的隐私信息暴露需求,服务组合应支持用户隐私需求的可满足性验证.首先提出一种面向服务组合的用户隐私需求规约方法,用户能够定义隐私数据及不同使用情境的敏感度,采用敏感度-信誉度函数明确可以使用隐私数据的成员服务,简化隐私需求的同时,提高了隐私需求的通用性.为了验证服务组合是否满足用户隐私需求,首先通过隐私数据项依赖图(privacy data item dependency graph,简称PDIDG)描述组合中隐私数据项的依赖关系,然后采用隐私开放工作流网(privacy open workflow net,简称POWFN)构建隐私敏感的服务组合模型,通过需求验证算法验证服务组合是否满足用户隐私需求,从而能够有效防止用户隐私信息的非法直接暴露和间接暴露.最后,通过实例分析说明了该方法的有效性,并对算法性能进行了实验分析.(本文来源于《软件学报》期刊2016年08期）
戴淑晴[9]（2015）在《基于改进模糊Petri网的Web服务组合正确性验证研究》一文中研究指出近年来,Web服务技术发展迅猛,具有相同或者相似功能的Web服务数量也越来越多,面对众多繁杂的需求,将单一的Web服务组合成一组正确的服务尤为重要。Petri网具有直观的图形化表示、严谨的数学理论基础等特点,本文基于Petri网建模应用的一些问题进行验证分析。研究内容和贡献如下:(1)服务的数量越来越多,Web服务组合的正确性与可靠性是组合成功执行的保障,由于Petri网具有异步并发等特点,本文提出一种改进的模糊Petri网对Web服务组合进行建模。在模糊Petri网中加入一个集合,用不同的值来表示组合可靠性等级、数据流和控制流。(2)由于模糊Petri网具有严谨的推理优势,是一种结合模糊性原理的网结构,Web服务组合的依赖关系以及关系依赖图的生成可以根据模糊产生式来分析。所以,本文引入的改进模糊Petri网的MYCIN算法来计算服务组合的可靠性等级。(3)现有的Web服务种类繁多,功能各异,在组合阶段,保证其正确性是服务组合的首要任务。基于改进的模糊Petri网对服务组合的安全性、可达性和死锁进行验证。(4)针对调用股票汇率兑换服务建立模型,分析该实例的可达标识图,验证了模型的正确性。又通过仿真实验,从而说明本文提出的策略能够有效解决Web服务组合可靠性问题的验证。(本文来源于《南京财经大学》期刊2015-12-21）
开金宇,缪淮扣,高洪皓[10]（2015）在《Web服务计算组合流程QoS验证》一文中研究指出在满足功能需求的前提下,Web服务能否赢得市场,主要取决于其服务质量(Quality of Services,QoS)。采用概率模型检验的方法判断Web服务计算组合流程的服务质量是否满足系统质量需求。依据用户访问Web服务产生的访问日志,采用聚类的方法,构建面向用户群组的Web服务流程的使用行为QoS模型。采用QoS扩展的状态图描述Web服务流程的QoS需求。然后,利用概率模型验证工具PRISM判断Web服务流程的QoS是否满足系统质量需求。验证面向用户群组的Web服务流程的使用行为质量模型是否满足系统质量需求,为服务流程结构的调整提供了依据。(本文来源于《计算机科学》期刊2015年12期）
服务组合验证论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对服务组合流程中可能存在的死锁及不正确流程,采用BPEL流程描述语言,设计服务组合流程Petri网(BPEL-PN),在不破坏原网模型结构性质的基础上,将其调整映射为(扩充)自由选择网。根据BPEL-PN模型的流程合理性验证方法,分析网模型的结构活性与有界性,判断该网模型是否合理。最后以具体的服务组合流程模型进行验证研究,证明该方法的有效性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
服务组合验证论文参考文献
[1].周女琪,周宇.基于概率模型检测的Web服务组合多目标验证[J].计算机科学.2018
[2].胡晓静,刘士喜.基于BPEL-PN的服务组合流程合理性验证研究[J].湖北工程学院学报.2018
[3].周女琪.基于概率模型检测的Web服务组合验证方法研究[D].南京航空航天大学.2018
[4].李永湘.基于进程代数的云制造服务组合形式化建模与验证[D].华南理工大学.2017
[5].温贝贝.基于层次状态机的服务组合与验证[D].中国石油大学（北京）.2017
[6].马凤娇.基于SMT求解器的Web服务组合的验证研究[D].南京邮电大学.2016
[7].李靖,崔仲远.基于服务分组和调用轨迹的Web服务组合验证方案[J].现代电子技术.2016
[8].彭焕峰,黄志球,范大娟,章永龙.面向服务组合的用户隐私需求规约与验证方法[J].软件学报.2016
[9].戴淑晴.基于改进模糊Petri网的Web服务组合正确性验证研究[D].南京财经大学.2015
[10].开金宇,缪淮扣,高洪皓.Web服务计算组合流程QoS验证[J].计算机科学.2015