导读:本文包含了组合兼容性论文开题报告文献综述及选题提纲参考文献，主要关键词:Web服务组合,过程挖掘,冲突检测,Web服务选择
组合兼容性论文文献综述
迟焕醒[1]（2017）在《服务组合兼容性的在线检测与解决方法研究》一文中研究指出特征交互问题最早出现在电信领域,已成为电信领域开发新型业务的主要障碍之一。然而该问题并非局限于电信领域,在其他软件系统中同样出现了类似问题。近年来,随着Web服务的快速发展,越来越多的企业和个人将其应用以Web服务的形式发布到网上,而单个服务所能提供的功能是有限的,难以满足实际应用中多种多样的需求,因此需要将多个服务进行在线组合以满足用户复杂的功能需求。不同服务进行组合时需要考虑服务间的兼容性,即是否会产生类似于电信领域特征交互现象的冲突问题。由于Web服务开发的独立性、用户需求的多样性以及部署的分布性,使得Web服务具有多样性和个性化,由此产生的目标冲突、资源竞争等问题可能导致服务进行在线组合时产生冲突,从而使组合失败。因此,在进行服务的在线组合时对组合过程中的原子服务进行在线冲突检测是至关重要的。在发生冲突的情况下,通常需要对产生冲突的服务进行替换以解决冲突,而如何准确地选择替换服务并在并发情况下对多个替换请求进行在线调度是一个重要问题。本课题主要针对服务组合过程中的在线冲突检测问题及冲突解决过程中的在线服务选择与请求调度问题展开研究。针对冲突检测问题,本文提出一种基于过程挖掘的在线冲突检测框架,实现了针对循环状态与不确定性两种类型冲突的检测方法。当在线组合进行时调用本文框架进行服务间的冲突检测,该框架对待组合服务的日志信息进行挖掘,获得服务的Petri网模型,进而对Petri网进行分析获得服务的产生式规则,并利用产生式规则对不同服务进行推理分析从而进行在线冲突预测。实现了原型系统,通过一个应用实例进行实验并与现有方法进行对比分析。实验与对比结果表明,本文方法能够在不需要了解服务内部逻辑的前提下对服务组合过程中可能产生的循环状态与不确定性两类冲突进行在线预测,从而达到在服务组合过程中避免服务之间出现冲突的目的。冲突检测之后需要进行在线的服务回滚操作,从而对冲突予以解决,针对服务回滚过程中的服务选择与替换请求调度问题,利用加权轮询队列和回馈机制建立了服务替换请求调度模型,能够在冲突检测框架检测出冲突后为冲突服务进行在线最优替换服务选择,从而保证了冲突解决的执行,并对替换请求进行有效调度。提出了基于回馈机制的服务等待队列,并建立了服务QoS模型,从而提高服务选择准确率。运用排队论相关知识对本模型进行了时延特性分析。实验结果表明,本文方法能够在多个服务替换请求并发的情况下增加选择最优替换服务的概率,降低替换请求的等待时延,保证请求的相对公平。(本文来源于《中国石油大学(华东)》期刊2017-06-01）
张驰[2]（2016）在《基于LTS的Web服务组合行为兼容性分析》一文中研究指出Web服务描述语言仅包含语法层信息,不能刻画服务交互的行为信息,不能对组装后的系统进行兼容性验证,为此提出既包含服务接口调用方法又包含内部逻辑行为的服务视图,采用标签转换系统(LTS)表示服务行为协议。根据服务组合的消息收发关系,将组合交互过程表示为多个LTS之间动作的同步变迁,通过LTS同步积模拟组合系统交互的动态行为;通过检查同步积中是否存在死锁状态,进行行为兼容性判定,设计判定算法以实现兼容性的自动分析,通过一个典型的电子商务应用系统分析验证了该方法的有效性。(本文来源于《计算机工程与设计》期刊2016年05期）
李雪飞,蒋静,郭晓华,潘娜娜,孙杰[3]（2016）在《服务组合系统交互协议兼容性检测模型》一文中研究指出针对服务组合系统中存在某些实体属性会控制Web服务内在的隐式执行路径,致使客户端发送的消息与服务组合系统等待接收的消息不一致时,会发生交互无响应等问题,提出一种在服务组合系统的设计阶段进行交互协议兼容性检测的通用模型。将实体信息抽象为上下文变量,并对上下文感知服务交互协议进行建模;设计一种消除隐式转换的算法,对消除隐式转换后的服务组合系统进行上下文感知服务交互协议兼容性检测模型的形式化定义,并通过NuSMV模型检测工具对应用案例中的CSR模型进行验证。实验结果表明,该模型应用范围广,实现简单,实用性强;不仅能避免服务组合模型状态数较大时引发的状态爆炸问题,而且能有效地缩短服务组合系统的开发周期,降低系统的开发成本。(本文来源于《青岛大学学报(自然科学版)》期刊2016年02期）
徐明[4]（2016）在《科技企业专利组合路径及其启示:基于兼容性模型的理论研究》一文中研究指出在现有专利制度下,企业拥有强烈的专利获取动机。基于科技产业中专利片断化与兼容性等特点,构建了一个产品部件组成模型,并在给定兼容性假设的前提下进行研究。结果表明,先动企业占有专利组合竞争的主动权;采取回避设计是企业专利组合的占优选择;市场竞争环境直接影响企业专利组合的积极性;专利组合路径必须以企业现有专利为基础。科技产业作为典型的专利密集型产业,企业应不断加大研发投入,在现有专利的基础上扩大自己的专利组合数量与规模,并建立稳定的竞争优势。(本文来源于《科技进步与对策》期刊2016年04期）
郑宇迪,叶恒舟[5]（2015）在《一种时序约束下的Web服务组合兼容性的定量验证方法》一文中研究指出为了增强服务组合的Qo S特性,迫切需要在流程设计层面验证时序约束兼容性。针对工作流中常见的纯顺序、并发与选择结构,估算了其概率分布,进而提出了一种基于概率的、定量检验服务组合的时序兼容性的方法。通过案例分析与性能测试验证了其有效性。(本文来源于《桂林理工大学学报》期刊2015年03期）
倪秀敏[6]（2015）在《两种PLT组合仪兼容性的实现》一文中研究指出为满足油田PLT多参数组合仪测井的需求,把两种不通用的仪器进行了技术改进,使二者实现相互兼容、自由组合配接,既解决了仪器短缺的问题,又避免了以前配带多套仪器、重复下井的低效率施工,减少了劳动强度,提高了经济效益。(本文来源于《石油管材与仪器》期刊2015年05期）
张驰,褚楚,唐颖军,陈升[7]（2016）在《基于行为投影的Web服务组合行为兼容性研究》一文中研究指出Web服务兼容性是确保组合系统能够正常运行的前提。首先提出既包含服务接口调用方法又包含逻辑行为的服务视图,根据服务间的连接关系,将服务行为投影到不同的连接件上。其次根据在连接件上的消息收发关系,将两个服务在该连接上的交互过程表示为两个LTS投影间同步变迁,通过同步积模拟在该连接上的交互行为,检查同步积中是否出现死锁状态来进行行为兼容性判定,并设计了判定算法以实现兼容性的自动分析,最后通过一个电子商务应用示例说明该方法有效性。(本文来源于《计算机工程与应用》期刊2016年20期）
[8]（2014）在《电磁兼容性(EMC)滤波器扩展变频器专用电抗器组合》一文中研究指出TDK株式会社推出了全新的爱普科斯(EPCOS)B86305L*系列标准叁相线路电抗器,用于带整流级输入的变频器。该系列产品有7种型号,电流范围为4A至230A。这些线路电抗器专为520 VAC额定电压而设计,依电抗器型号不同,短路电压为5%到6%,因此可以有效抑制变频器引起的所有电磁干扰。该全新线路电抗器系列还具有另外一个特征,那就是饱和磁感应强度较高。因此,其电感值在1.5倍额定电流情况下可保持不变,甚至在3倍(本文来源于《世界电子元器件》期刊2014年12期）
贾志淳,邢星[9]（2016）在《多Web服务组合兼容性的自动化验证》一文中研究指出Web服务组合的目的是实现单一服务无法满足的复杂功能,而保证组合的正确性以实现服务增值是十分必要,因此组合之后的正确性验证是Web服务组合的一个重要研究方向。从Web服务交互行为方面描述多Web服务组合,在提出行为兼容性的相关理论的基础上,给出基于Pi演算的多Web服务组合行为兼容性的自动化验证算法,通过将多Web服务组合自动转化为Pi演算中的组合进程,实现多Web服务组合的自动化验证。(本文来源于《计算机工程与应用》期刊2016年07期）
徐红霞,杜彦华,董绍华[10]（2012）在《时序约束下Web服务组合的兼容性及修正研究》一文中研究指出针对时序约束情况下Web服务组合的迫切需求,提出一种基于有限状态自动机的服务组合兼容性分析及修正方法。该方法首先根据组合有限状态自动机模型中的时序约束及内部活动的时间信息,推导服务组合的可能时间;然后对带有外部组合时间的活动进行组合可能性分析,基于活动的组合可能性验证服务组合的时序兼容性;针对时序部分兼容的服务组合,提出相应的时序兼容性修正方法。通过实例验证了该方法的有效性。与现有方法相比,该方法能够有效避免状态爆炸问题,且具有直观、实用性强、可重用性好等优点。(本文来源于《计算机集成制造系统》期刊2012年11期）
组合兼容性论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
Web服务描述语言仅包含语法层信息,不能刻画服务交互的行为信息,不能对组装后的系统进行兼容性验证,为此提出既包含服务接口调用方法又包含内部逻辑行为的服务视图,采用标签转换系统(LTS)表示服务行为协议。根据服务组合的消息收发关系,将组合交互过程表示为多个LTS之间动作的同步变迁,通过LTS同步积模拟组合系统交互的动态行为;通过检查同步积中是否存在死锁状态,进行行为兼容性判定,设计判定算法以实现兼容性的自动分析,通过一个典型的电子商务应用系统分析验证了该方法的有效性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
组合兼容性论文参考文献
[1].迟焕醒.服务组合兼容性的在线检测与解决方法研究[D].中国石油大学(华东).2017
[2].张驰.基于LTS的Web服务组合行为兼容性分析[J].计算机工程与设计.2016
[3].李雪飞,蒋静,郭晓华,潘娜娜,孙杰.服务组合系统交互协议兼容性检测模型[J].青岛大学学报(自然科学版).2016
[4].徐明.科技企业专利组合路径及其启示:基于兼容性模型的理论研究[J].科技进步与对策.2016
[5].郑宇迪,叶恒舟.一种时序约束下的Web服务组合兼容性的定量验证方法[J].桂林理工大学学报.2015
[6].倪秀敏.两种PLT组合仪兼容性的实现[J].石油管材与仪器.2015
[7].张驰,褚楚,唐颖军,陈升.基于行为投影的Web服务组合行为兼容性研究[J].计算机工程与应用.2016
[8]..电磁兼容性(EMC)滤波器扩展变频器专用电抗器组合[J].世界电子元器件.2014
[9].贾志淳,邢星.多Web服务组合兼容性的自动化验证[J].计算机工程与应用.2016
[10].徐红霞,杜彦华,董绍华.时序约束下Web服务组合的兼容性及修正研究[J].计算机集成制造系统.2012