导读:本文包含了服务编排描述语言论文开题报告文献综述及选题提纲参考文献，主要关键词:Web服务组合,WS-CDL,关系演算,程序验证
服务编排描述语言论文文献综述
肖浩[1]（2011）在《Web服务编排语言的分析与测试》一文中研究指出Web服务编排描述语言(Web Services Choreography Description Language,简称WS-CDL)从全局的视点描述服务组合各个参与方的行为规范,并且具有可重用性以可及描述事务性等特点。在部署前对WS-CDL程序验证和测试可以有效降低部署风险和项目成本。但是WS-CDL只是描述语言其程序不可执行,目前由于WS-CDL程序没有解析器或模拟器,WS-CDL程序的验证与测试变得十分困难。本论文提出了通用的XML语言静态约束的验证方法。该方法与经典的模型检查的方法类似,可以统一地验证不同语言的静态性质也可以统一地验证相同语言的不同版本。该方法中用于描述静态制约的语言被称为约束逻辑,它基于一阶谓词逻辑。论文同时提出了用于描述XML文档的形式化模型。另外,我们还设计了使用模型化简技术优化后的验证算法用来验证XML文档是否满足其静态制约。在我们小组自己开发的WS-CDL程序模拟器上,我们提出了一种自动测试WS-CDL程序的方法。该方法通过使用从动态符号执行生成能达到分支覆盖标准的测试用例从而自动完成对WS-CDL程序的测试。该方法支持Web服务组合的异常处理,正常结束处理等特性,而其他研究往往没有处理这些特性。另外我们提出了两种处理WS-CDL程序中断言的方法,这些断言可以描述WS-CDL程序预期的行为。我们在模块化的开源Eclipse插件CDLChecker上实现了这些方法。CDLChecker是WS-CDL的一个集成开发环境,它支持对WS-CDL程序的编辑、模拟、验证和自动测试功能。最后,我们在CDLChecker上设计了几组实验用来验证提出的方法的有效性。实验结果显示本文的方法能够正确地处理WS-CDL程序。(本文来源于《华东师范大学》期刊2011-04-01）
辜希武,卢正鼎[2]（2007）在《Web服务编排描述语言WS-CDL的形式化模型框架》一文中研究指出Web服务编排描述语言WS-CDL从全局的角度定义了一组Web服务之间的协作和交互必须遵守的规则。作为一个基于XML的描述性规范语言,WS-CDL缺乏形式化的模型和验证机制,难以保证协作和交互的正确性。本文针对WS-CDL规范提出了一个基于全局的形式化模型框架Abstract WS-CDL,包括语法、同构关系和操作语义,同时定义了一套从该模型框架到基于Pi-演算描述的局部模型的映射规则,最后通过案例分析给出了全局和局部2个层次的模型验证方法。(本文来源于《计算机科学》期刊2007年09期）
服务编排描述语言论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
Web服务编排描述语言WS-CDL从全局的角度定义了一组Web服务之间的协作和交互必须遵守的规则。作为一个基于XML的描述性规范语言,WS-CDL缺乏形式化的模型和验证机制,难以保证协作和交互的正确性。本文针对WS-CDL规范提出了一个基于全局的形式化模型框架Abstract WS-CDL,包括语法、同构关系和操作语义,同时定义了一套从该模型框架到基于Pi-演算描述的局部模型的映射规则,最后通过案例分析给出了全局和局部2个层次的模型验证方法。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
服务编排描述语言论文参考文献
[1].肖浩.Web服务编排语言的分析与测试[D].华东师范大学.2011
[2].辜希武,卢正鼎.Web服务编排描述语言WS-CDL的形式化模型框架[J].计算机科学.2007