导读:本文包含了组合服务演化论文开题报告文献综述及选题提纲参考文献，主要关键词:服务组合,隐私信息流安全,服务演化,Petri网
组合服务演化论文文献综述
Huan-feng,PENG,Zhi-qiu,HUANG,Lin-yuan,LIU,Yong,LI,Da-juan,FAN[1]（2018）在《保持隐私信息流安全性的服务组合演化方法（英文）》一文中研究指出隐私信息流安全的服务组合部署后,用户隐私需求与成员服务的信誉度等级均可能发生变化,保持隐私信息流安全性是非常重要的演化需求。提出一种保持隐私信息流安全性的服务组合演化方法。分析基于Petri网的隐私数据项依赖关系,计算各成员服务的隐私数据使用集及安全范围,最后提出保持隐私信息流安全性的演化操作集。通过操作实施演化,避免演化后隐私信息流安全性的完整验证过程,提高演化效率。通过实例分析说明该方法的有效性,并对其性能进行实验分析。结果表明,与完整安全性验证过程相比,该方法有较高演化效率,能大大降低演化代价。(本文来源于《Frontiers of Information Technology & Electronic Engineering》期刊2018年05期）
罗利民[2]（2016）在《基于代理机制的自适应服务组合演化》一文中研究指出在很多大型系统的,面临的一个关键就是异常的发生。在任何数据中心,异常都在不断的发生,或由磁盘故障、内存、网络连接,或软件错误引起的。较小的异常连锁反应可能造成大规模的异常。而异常的不可预测性使他们变得具有挑战而且难以应付。预测异常更好的选择是创建一个可以自主适应异常的系统。本文为自适应系统的服务组合探讨了一个分散的自适应方法。本文的做法是基于代理协调机制,而这适合于大规模的协调系统。我们通过详细的实验的复合服务评估这种方法。实验的结果表明,当面临大规模的异常时,它可以创建服务组合以应对这种异常。(本文来源于《电脑知识与技术》期刊2016年05期）
吉顺慧[3]（2015）在《基于演化的Web组合服务测试和验证》一文中研究指出面向服务的体系架构SOA(Service-Oriented Architecture)是分布式计算领域和软件技术发展的一个.里程碑。Web服务作为其实现基础,是一种自治、开放、自描述和实现无关的网络化构件,其良好的互操作性和松耦合方便了Internet环境下的软件开发和分布式应用。Web服务组合技术利用现有的Web服务,根据用户的需求将它们按一定的应用逻辑组合起来,可以提供更多功能更强大的服务,实现了Web服务的增值和复用,其中BPEL(Business Process Execution Language)是最常见的Web组合服务描述语言。BPEL组合服务因缺陷修复、需求增加、功能增强、性能改进、运行环境改变等挑战,需要适时地演化来满足各种现实的需求。如何确保BPEL组合服务在其生命周期中每个版本的正确性,尤其是数据流的正确性,是亟需解决的问题。测试和验证是软件质量保障的两种有效方法,由于BPEL规约是基于XML语言的,为了实现自动高效的测试和验证,还需要为BPEL组合服务构造形式化模型。本文基于演化的特性,从数据流的角度,系统地研究了BPEL组合服务建模、测试和验证的叁个方而,主要研究成果如下：(1)研究了BPEL组合服务的演化和建模问题,对BPEL组合服务演化过程中的修改类型进行分类,提出了一种扩展控制流图XCFG(eXtended Control Flow Graph)模型。XCFG模型中用变量集描述BPEL流程中用到的变量,用伙伴链接集描述与流程交互的成员服务,用流图描述流程的执行,其中用结点描述BPEL活动,用控制边描述活动之间的顺序关联,用link边描述BPEL中的特殊元素link,且模型中每个元素都附有信息域来描述对应BPEL组合服务中的相关信息。该模型不仅能描述BPEL组合服务的控制流信息还能描述服务间交互的数据流信息,为后续基于数据流的测试和验证提供了足够的信息。(2)研究了BPEL组合服务的回归测试问题,提出了一种基于XCFG模型的针对全使用数据流测试准则的回归测试用例选择方法。该方法包括数据流分析、受影响的定义-使用对识别、测试路径计算和测试用例选择四个步骤。通过对传统的可到达定义计算方法进行改进,提出了基于XCFG流图的数据流分析方法来计算BPEL流程中的定义-使用对,然后对流程修改、绑定修改和接口修改进行修改影响分析识别需要进行回归测试的定义-使用对,并计算覆盖待测试定义-使用对的数据流路径,最后对基线版本和演化版本中的路径进行路径条件分析比较进行测试用例选择。实验表明该方法是有效的,且可检测BPEL组合服务演化过程中的叁种修改类型。(3)研究了BPEL组合服务数据流属性的验证问题,提出了定义-使用一致性、无死锁、可达性和无冲突的单版本验证算法,还提出了无冲突属性的演化版本的增量式验证方法ICV(InCremental Verification)。单版本四种数据流相关属性的验证是基于XCFG模型开展的,实验表明了验证算法的有效性和性能。演化版本无冲突属性的ICV验证方法首先构造基线版本和演化版本的并发集,通过将验证对象局限到受流程修改影响且与无冲突属性相关的活动结点,来提供验证效率。实验表明ICV方法是有效的,且相比较单版本的无冲突验证算法在性能上有所提升。(4)设计和实现了原型工具XCFG4BPEL,以支持以上提出的理论方法。支持对BPEL组合服务的XCFG建模、单版本的数据流测试路径计算、演化版本的数据流回归测试用例选择、单版本的定义-使用一致性、无死锁、可达性、无冲突属性验证以及演化版本的无冲突属性验证。(本文来源于《东南大学》期刊2015-03-01）
彭焕峰,黄纬,范大娟,徐金宝[4]（2015）在《面向数据流的服务组合演化影响性分析方法》一文中研究指出BPEL已经成为事实上的Web服务组合标准语言,利用BPEL控制流图(BPEL flow graph,BFG)对BPEL进行建模,通过模型对服务组合的数据流进行分析,提出一个面向成员服务的数据依赖度量集;通过此度量集可以量化成员服务的数据依赖复杂度,从而分析成员服务对BPEL中数据流的影响程度与范围,为服务组合演化策略的制定及实施提供依据。(本文来源于《科学技术与工程》期刊2015年01期）
尤殿龙[5]（2014）在《面向服务编排的大粒度Web服务组合演化方法及关键技术研究》一文中研究指出随着服务计算和云计算技术的不断成熟，功能丰富、内部逻辑复杂的大粒度组合服务正不断应用在面向服务的软件开发和系统集成中。为了适应环境变化满足用户需求，大粒度组合服务需要在服务编排层面不断演化，演化波及到伙伴服务和服务编排协议，存在演化后服务端口、流程结构和行为不相容问题。因此，如何判定服务业务节点及业务流程的变化，如何判定演化影响范围，如何使参与演化的服务遵守编排协议以及如何判定演化后服务组合相容性是需要亟待解决的关键问题。本文主要内容如下。首先，深入分析现有Web服务组合演化成果，依据大粒度组合服务的特征，提出了在设计阶段面向服务编排的大粒度Web服务组合演化方法的技术框架，按照演化流程进行了需求变化描述和目标状态设计，给出了演化类型判定、演化协议协商、可实现性分析、影响范围判定和编排协议映射各阶段的任务，通过对框架的有效性分析和与其它演化方法的对比分析，说明了该方法的适用性和完整性。其次，在演化类型分析的基础上，依据功能变化特点分别给出了单个状态节点、单个服务和服务组合的演化类型，并基于互模拟理论构建了相应的演化类型判定规则。通过规则判定可供选择演化方案的演化类型，可以实现对方案演化成本和难易程度的比较，通过规则明确服务组合在演化前后的变化细节，可以实现对变化信息的记录。通过实例分析，说明了演化类型的判定过程和应用场景，验证了判定规则的有效性。再次，充分考虑演化引发的成员服务内部业务逻辑变化，基于互模拟理论，从单个内部业务流程、单个服务的内部业务流程和服务组合的全局业务流程叁个层面设计了演化影响范围的判定规则、实现算法和实施机制。通过规则判定演化的影响范围，使演化仅发生在受波及区域内，克服了传统演化中不受波及状态节点也被替换的问题。实施机制给出了判定的执行过程，解决了因演化发起服务不清楚伙伴服务内部细节，而无法直接判定伙伴服务受波及范围的问题。通过实例分析，说明了演化影响范围的判定过程，验证了规则的适用性。然后，在分析分散式服务编制下编排协议发布机制的基础上，依据WS-CDL框架特点，运用元组和有限状态自动机理论，给出了协议的结构模型和行为模型，解决了协议中静态信息和编排行为的形式化描述问题。根据状态迁移关系，在得出编排行为的全局状态迁移序列的基础上，使用π演算中的操作符描述执行操作类型，得出了全局动作执行序列的形式化描述，实现了对全局行为的进程表达。根据映射算子，得出了面向角色的结构和行为的映射模型，该映射模型通过将服务编排协议映射给各个具有特定角色的成员服务，实现了编制过程对协议的遵守，避免了因将整个协议文档发布给各成员服务而产生协议内容泄露和WS-CDL和BPEL在语法上无法直接转换的问题。最后，充分考虑了演化过程中服务功能局部变化的特点，在与服务集成阶段相容性判定比较的基础上，从端口、流程结构和行为叁方面提出了一种面向演化的Web服务组合相容性判定方法，给出了判定规则、算法和实例，解决了两两服务相容性判定方法存在的时序、死锁和未指定接收判定不准确问题。利用π演算验证工具MWB描述了交互行为的进程表达，模拟了行为相容性的推演过程，验证了判定规则的有效性。(本文来源于《燕山大学》期刊2014-05-01）
尤殿龙,申利民,杨永涛[6]（2014）在《大粒度Web服务组合业务流程演化类型判定方法》一文中研究指出根据演化类型在服务组合演化中的应用层次,运用互模拟理论,从单个状态节点、单个服务和服务组合叁个层面判定演化类型,并给出各自的判定规则。单个状态节点演化类型的判定可以明确节点的外部行为是否发生变化;单个服务演化类型的判定可以得出服务的内部业务流程中状态节点在数量和逻辑关系上的变化情况;服务组合演化类型可以明确全局业务流程的变化。通过一个面向制造服务的大粒度Web服务组合业务流程演化类型判定的实例,说明了规则的应用及有效性。(本文来源于《计算机集成制造系统》期刊2014年03期）
符炜[7]（2014）在《基于动态切片和惰性计算的服务组合动态演化》一文中研究指出如今的Web服务数量已经越来越多，然而随着用户对Web服务功能的需求，Web服务资源却越来越不能满足用户的要求。为了解决Web服务匮乏问题，Web服务组合技术被提出，很多单体服务通过Web服务组合技术被组合成具有新功能的组合服务。组合服务中的每一个单体服务时刻处于演化中，所以Web服务组合者需要时刻对Web组合服务进行监控，以便能够及时地对Web服务组合进行演化。然而实时监控的演化方法在实现效果上不够灵活。为了实现灵活地对Web服务组合进行演化，本文提出了Web服务组合动态演化的方法，其基本思想是如果被更新的单体服务被BPEL流程调用到的时候，则该组合服务进行更新，否则不进行更新。本文所做工作包括：（1）分析BPEL执行流程，将其转化为C语言代码；（2）对C语言代码进行分析，生成函数依赖图；（3）根据组合服务的初始输入值，对函数依赖图进行动态切片，得到切片后的依赖图和切片后的C语言代码；（4）以Tomcat中的Axis2为发布平台，发布Web服务，并进行了组合，然后演示了对组合服务进行动态演化的过程，对本文所做工作进行了验证。论文的创新点如下：设计了BPEL语言到C语言的转化方法。BPEL语言与C语言在结构上有着较多的相似之处，为了能够更好地对BPEL语言进行分析，将BPEL语言转化为C语言，将对BPEL语言的分析转化为对C语言的分析。设计了基于C语言函数依赖图的BPEL服务依赖图生成算法。为了研究组合服务内部单体服务之间的服务依赖关系，本文通过分析由BPEL代码转化后的C代码，对C代码的函数依赖图进行生成，此时的函数依赖图就是组合服务的服务依赖图。设计了基于Web服务初始输入值的对C代码的动态切片算法。组合服务的输入参数值不同，则其执行的路径会发生变化，为了得到特定输入参数值的具体执行路径，需要对组合服务进行动态切片，由于组合服务的BPEL代码已经转化为Ｃ代码，所以对Ｃ代码进行动态切片，就可以得到组合服务的动态执行路径。利用惰性计算性质，对组合服务进行运行。通过对BPEL代码转化后的C代码的分析，可以确定组合服务的唯一执行路径，然后通过对C代码的动态切片，得到切片代码，只对切片代码进行运行，可以提高运行效率以及运行的准确性。(本文来源于《南京邮电大学》期刊2014-02-17）
刘芳[8]（2013）在《面向编排的Web服务组合演化相容性判定与分析》一文中研究指出商业组织为了满足用户持续变更的需求和适应系统依赖环境的不断变化，需要将已有的Web服务重新整合并集成为业务功能更强大、满足需求变动和适应系统环境的Web服务组合。成员服务彼此相容是Web服务组合正确执行的必要条件。相容性判定选取的判定元素单一、不适用于演化阶段以及两两服务相容性判定的局限性是服务相容性判定尚未解决的问题。针对上述问题，提出并分析了面向编排的Web服务组合演化的服务相容性判定方法，具体内容如下。首先，分析了Web服务与Web组合的理论与技术，总结了Web服务的几种定义，剖析了面向服务的体系结构各个层的概念、关键技术、工作原理。介绍了服务组合的基本概念，对比分析了服务组合的编制和编排的概念与作用，给出了服务组合演化的基本概念及其特点，讨论了现有的服务组合相容性判定与分析的方法。其次，结合服务组合演化的自身特性，分析编排层面的有效相容性判定要素，将服务编排层的端口、流程结构与行为作为服务相容性判定要素，提出了面向编排的、基于多要素的成员服务相容性判定方法，解决了单纯依托复杂的行为相容性判定而带来判定成本高和资源开销大的问题，给出了基于各要素的相容性判定规则和算法，考虑到行为的并发复杂性，使用Pi演算建模工具MWB验证行为相容性判定的有效性。再次，分别将每个成员服务作为相容性判定的执行者，提出了多成员服务间的相容性协同判定机制，该执行者判定自身与其所有伙伴服务构成的组合的相容性，使得所有成员服务协同参与相容性的判定过程。提出的协同判定机制适用于演化阶段，满足了演化阶段无集成控制方的需求，保证了演化后服务组合的可靠执行。最后，通过一个案例订单管理服务组合，实现了基于业务流的Web服务组合原型系统，使用本文方法对案例进行了完整地相容性判定，分析说明了理论判定结论和系统运行结果的一致性，验证了所提相容性判定方法的有效性。(本文来源于《燕山大学》期刊2013-12-01）
尤殿龙,申利民,刘芳[9]（2013）在《Web服务组合中业务流程演化影响范围判定方法》一文中研究指出针对组合业务流程中各参与演化的服务对彼此内部业务流程不可知的特点,依据互模拟理论,以服务在演化前后内部业务流程的变化特点判定演化类型;通过判定内部业务流程中受影响状态节点的前驱状态集或后继状态集的归属服务来确定受波及的服务;通过计算服务内部业务流程演化影响范围的边界得出单个服务的受影响范围,进而得出服务组合中业务流程演化的影响范围。针对以上问题,给出了其判定规则和算法,使得演化仅在受波及区域内发生,并且所有受影响的状态节点都可能参与演化。(本文来源于《计算机集成制造系统》期刊2013年07期）
陈锦鹏[10]（2012）在《基于QoS多粒度Web服务组合演化研究》一文中研究指出在服务计算（SOC）的风范下，分布在Internet上的各种异构资源都可以封装成服务的形式发布出去，供他人共享。Web服务技术顺应了这种计算风范，通过Web服务的组合，可以高效的实现资源的集成，提高资源的复用。同时，也为大规模的编程提供了便利。另一方面，开放、动态的Internet环境以及用户需求的不断变化使得Web服务组合相对于传统的软件开发而言有其固有的特点（如协同性、演化性等）。Web服务所处的环境故障、网络环境拥堵等都可能使Web服务的QoS严重退化，为了使服务组合实例能够持续的满足需求，此时需要对组合服务进行一定的演化。现有针对组合服务演化研究大多关注演化后控制流和数据流的正确性以及实例的在线迁移，少量考虑演化后全局QoS的研究大多只针对单一服务，针对现有研究的不足，本文提出服务组合多粒度演化这一问题并展开研究，主要工作如下：(1)提出了基于QoS的Web服务组合多粒度演化的概念。在服务的组合模型中，针对单一抽象服务类生成备选服务以进行替换有两个缺点：1.并不一定能够在备选服务中找到合适服务以替换原来的服务，如备选服务的QoS都不满足全局的QoS约束。2.仅针对该一个抽象服务生成备选服务，并不一定能够使全局的QoS最优。基于以上两点考虑，提出了在服务演化时，对服务组合模型中即将被替换的服务，生成所有包括该服务更大粒度的可替换区域，对每一种不同粒度的可替换区域也生成备选服务，这样扩大了备选服务的搜索空间，有利于进一步求得满足全局QoS约束下更优的解。(2)给出了生成一个服务节点所有可替换区域的算法。生成更大粒度备选服务的前提是在组合模型中，生成更大粒度的可替换服务区域，对此，用一种预存控制节点的控制区域，对单个需要替换的服务，采用一种自底向上地向服务的输入输出方向逐渐扩展的方法求得包括此服务的所有可替换服务区域，以此得到多粒度的组合模型。(3)对于组合模型演化后不同粒度的过程模型，采用改进的离散粒子群算法求解满足全局QoS约束下最优的解并提出了一种新的最优评价模型，该模型考虑了组合模型的粒度。离散粒子群算法和传统的粒子群算法一样，在算法运行的后期容易陷入局部最优，对此，借鉴遗传算法中杂交变异的思想，为了保证算法运行后期粒子的多样性，采用随机选择一定粒子进行杂交，实验表明，这样有利于粒子群取得全局最优解。(本文来源于《南京财经大学》期刊2012-11-10）
组合服务演化论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
在很多大型系统的,面临的一个关键就是异常的发生。在任何数据中心,异常都在不断的发生,或由磁盘故障、内存、网络连接,或软件错误引起的。较小的异常连锁反应可能造成大规模的异常。而异常的不可预测性使他们变得具有挑战而且难以应付。预测异常更好的选择是创建一个可以自主适应异常的系统。本文为自适应系统的服务组合探讨了一个分散的自适应方法。本文的做法是基于代理协调机制,而这适合于大规模的协调系统。我们通过详细的实验的复合服务评估这种方法。实验的结果表明,当面临大规模的异常时,它可以创建服务组合以应对这种异常。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
组合服务演化论文参考文献
[1].Huan-feng,PENG,Zhi-qiu,HUANG,Lin-yuan,LIU,Yong,LI,Da-juan,FAN.保持隐私信息流安全性的服务组合演化方法（英文）[J].FrontiersofInformationTechnology&ElectronicEngineering.2018
[2].罗利民.基于代理机制的自适应服务组合演化[J].电脑知识与技术.2016
[3].吉顺慧.基于演化的Web组合服务测试和验证[D].东南大学.2015
[4].彭焕峰,黄纬,范大娟,徐金宝.面向数据流的服务组合演化影响性分析方法[J].科学技术与工程.2015
[5].尤殿龙.面向服务编排的大粒度Web服务组合演化方法及关键技术研究[D].燕山大学.2014
[6].尤殿龙,申利民,杨永涛.大粒度Web服务组合业务流程演化类型判定方法[J].计算机集成制造系统.2014
[7].符炜.基于动态切片和惰性计算的服务组合动态演化[D].南京邮电大学.2014
[8].刘芳.面向编排的Web服务组合演化相容性判定与分析[D].燕山大学.2013
[9].尤殿龙,申利民,刘芳.Web服务组合中业务流程演化影响范围判定方法[J].计算机集成制造系统.2013
[10].陈锦鹏.基于QoS多粒度Web服务组合演化研究[D].南京财经大学.2012