比分析到语言的转化建模到语言的转化实现转化模块调用模块本章小结第四章依赖图的设计与实现基于语言的函数依赖图的生成库库基于语言的函数依赖图的实现本章小结第五章动态切片算法和惰性计算基于依赖图的动态切片算法静态切片算法动态切片算法基于依赖图的动态切片算法的实现基于切片依赖图的惰性计算基于切片依赖图的惰性计算的实现本章小结第六章实例演示及分析实例演示服务发布服务组合转化为语言代码动态切片和惰性计算本章小结万方数据第七章总结与展望工作总结未来展望参考文献附录本文作者撰写的论文附录本文作者参与的项目附录本文作者申请的专利致谢万方数据南京邮电大学硕士研究生学位论文第章绪论第章绪论研究背景及意义近年来，随着网络的高速发展，基于服务的软件应用以及网络应用也越来越广泛，服务的普及度非常高，已经融入到人类生活及社会的方方面面。就服务的数量而言，服务的大量涌入极大地挑战了现有服务框架因此如何管理运行以及维护这些现有的服务成了服务研究者们的研究重点。然而，从服务实现的最终功能来看，虽然中拥有的服务数以万计，但是伴随着电子商务以及跨企业应用的规模的不断发展以及用户需求的日益增长，总体来说，服务资源还是相对匮乏的。如何将现有的服务进行服务组合得到个新的组合服务来提供给用户已成为新的研究热点。服务组合静态切片和动态切片的结果。在图中，是个简单的程序代码，包含个简单的选择分支结构，是对变量进行静态切片得到的程序片段，静态切片将所有与变量相关的语句都抽取出来了，语句和都是和相关的语句，所以被删除，因此静态切片的结果是语句以及。是输入值时得到的动态切片的代码片段，和的结果看似样，但是其实在切片机制是不样的，静态切片的时候不考虑的输入值，但是动态切片考虑了，因为的时候，比大，所以语句和在程序运行的时候会被执行，所以语句和是时动态切片结果。在中，时，因为此时小于，所以在程序运行的时候，语句和不会被执行，所以的结果相比于的结果就少了语句和。虽然和同样都是动态切片，但是由于的初始输入值不同，切片结果也就不样。动态切片的结果更为准确，相比于静态切片，如图中，不管等于多少，的静态切片都是，但是对于的时候，动态切片的结果却不样，如上图的和所示，动态切片得到的切片片段是程序图静态切片与动态切片的示例万方数据南京邮电大学硕士研究生学位论文第二章基本概念代码对于特定输入在运行的时候定会执行到的语句的集合。所以，本文在进行服务组合的动态演化时，为了达到更高的效率，采用动态切片比采用静态切片更好。惰性计算惰性计算也可以称作为懒惰计算，它是计算机编程中最小化计算机工作的个方法。很多编程语言现在都开发设计了相应的惰性系统来实现惰性计算。语言就是其中个能够很好地支持惰性计算的函数式编程语言，中的函数和变量在计算的时候都支持惰性计算。本文将利用语言辅助实现基于动态切片和惰性计算的服务组合的演化系统。惰性计算其实就是指对于变量或者函数在定义的时候并不去计算它，而是当程序运行需要得到函数或者变量的值时，才去计算他们。例如，假设定义了对于程序来说，定义变量的时候，程序并不对进行计算，因此虽然使用了作为分母，但是程序并不报错，程序仍然可以运行，只有当我们让程序去计算另个变量的具体值的时候，程序才会报错，因为此时才计算了的值，才发现的表达式分母包含，所以报错。如下所示的程序这是段的代码，用于测试惰性计算。是的除法操作。如果将与这段代码等价的语言代码用语言编译器进行编译，则定会得到如的错误，然而用的解释环境则可以顺利通过，只有在运行到的时候才会出现错误提示。如下所示该程序在运行的时候，程序忽略了中除数为的错误，在运行的时候，程序才显示有错误，不能继续运行。很多人可能觉得程序在调试阶段不提示错误的话，容易造成程序在运行期间的，但是惰性计算具有其独特的优势，能够保证程序中可万方数据南京邮电大学硕士研究生学位论文第二章基本概念用的函数始终发挥作用，如上面程序中的，这个函数没有错误，可以执行，如果因为的错误而导致不能运行，那就造成了资源的浪费。所以惰性计算能够有效地提高程序的可用性，保证了程序中能够正确运行的代码可以发挥作用。因此，根据惰性计算的原理，可以对组合服务进行动态演化，在运行到失效服务的时候再对此服务进行更新，但是这种更新演化是不会影响到其他单体服务的，所以惰性计算可以保证其他没有问题的单体服务直处于可用状态。程序可以通过程序调用来确定惰性计算中使用到的表达式，相似的，在服务组合的动态演化中，可以使用惰性计算对组合服务的切片代码进行计算。对组合服务的代码进行动态切片，得到个只包含针对特定输入所需执行的切片代码，执行这个切片代码，可以达到提高执行效率，减少执行错误率的目的。但是，般情况下，像这样的语言都是使用的严格计算机制，即只要程序中有错误，就不能执行，因此如果业务流程中有个单体服务失效，那么会导致整个组合服务的失效，而实际上，如果根据用户的输入，可能业务流程并未执行到失效单体服务，那么其实组合服务还是可以完成用户的需求的，只是因为这种严格计算的机制导致组合服务不能为其提供服务，所以本文采用惰性计算的方法去对组合服务的代码进行计算。通过惰性计算，虽然是整个组合服务的代码作为计算的输入，但是惰性计算可以只执行与用户输入相关的切片代码，而不考虑其他无关单体服务对该切片代码的影响，可以达到组合服务的动态演化。惰性计算已经被运用到很多方面，如惰性决策树的建模，惰性，惰性学习，惰性错误检测，惰性数据更新，惰性并行系统等，因此本文可以借鉴他们的研究思想及实现方法，设计出针对组合服务业务流程的惰性计算系统。本章小结本章首先对服务的概念进行了介绍，包括以及等服务协议，然后对服务组合的概念定义以及技术分类进行了详细的介绍，并用实例说明了服务组合演化的意义以及过程。之后对程序切片的分类进行了介绍，并着重叙述了本文中主要使用到的动态切片技术，还用实例解释了动态切片与静态切片的区别。最后，对本文中用到的另种主要技术惰性计算进行了介绍，介绍了惰性计算的定义，用简单的例子说明了惰性计算的原理。除此之外，本文还对动态切片技术以及惰性计算如何运用在服务组合的动态演化中进行了初步的介绍。万方数据南京邮电大学硕士研究生学位论文第三章语言到语言的转化第三章语言到语言的转化本文对服务组合进行动态演化时，使用了动态切片技术。由于语言并不是种可以执行的语言，它是描述性质的语言，而在进行动态切片时，需要对被切片的实体动态模拟运行路径，所以语言必须经过修改或者转化才能使用动态切片技术。而语言本身是种可以被执行的语言，且语言诞生年代久远技术成熟易于被分析，同样作为编程语言，与都是面向过程的，侧重于描述或者执行流程，更重要的是，与在语法上具有很多相似点，所以本文将描述的执行流程转化为用语言描述的程序，并对转后的语言程序进行动态切片，并根据动态切片结果对描述流程进行精简，得到最终针对特点输入值的组合服务执行过程中的条唯确定的执行路径。简介业务流程执行语言是在服务诸多规范的基础上提出的种新型的同时基于和服务流程的描述性的语言，制定标准的目的是为了更好地解决企业服务系统进行整合时所面临的诸多问题与挑战。在竞争激烈的当前环境下，企业必须要及时根据外部的策略对企业服务运行流程进行改变和优化。在企业的内部，可以用于对企业应用集成系统进行标准化。在企业与企业之间，可以用于将自己的服务与业务合作伙伴的服务进行通信，让企业间的集成与合作变得更容易更高效。目前，很多大型企业都开发出了高效的流程分析工具以及服务器，如引擎的编辑器的微软的以及其他的些服务器。流程在被服务器执行的时候，指定了所有单体服务的确定的运行顺序，可以是顺序地执行，也可以是并行地执行，还包括选择分支类型，还可以对执行流程进行构造循环声明变量赋值和复制变量定义故障处理程序等操作。可以表示很多的活动，但是这些活动都是由基本活动构成的，中常用的基本活动如表所示表中常用的基本活动活动表达的含义调用其他服务服务端等待客户端发送消息，根据消息调用业务流程万方数据单位代码密级硕士学位论文论文题目基于动态切片和惰性计算的服务组合动态演化符炜张迎周信息安全服务工学硕士二四年二月十七日学号姓名导师学科专业研究方向申请学位类别论文提交日期万方数据万方数据南京邮电大学学位论文原创性声明本人声明所呈交的学位论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得南京邮电大学或其它教育机构的学位或证书而使用过的材料。与我同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。本人学位论文及涉及相关资料若有不实，愿意承担切相关的法律责任。南京邮电大学学位论文使用授权声明本人授权南京邮电大学可以保留并向国家有关部门或机构送交论文的复印件和电子文档允许论文被查阅和借阅可以将学位论文的全部或部分内容编入有关数据库进行检索可以采用影印缩印或扫描等复制手段保存汇编本学位论文。本文电子文档的内容和纸质论文的内容相致。论文的公布包括刊登授权南京邮电大学研究生院办理。涉密学位论文在解密后适用本授权书。研究生签名日期研究生签名导师签名日期万方数据摘要如今的服务数量已经越来越多，然而随着用户对服务功能的需求，服务资源却越来越不能满足用户的要求。为了解决服务匮乏问题，服务组合技术被提出，很多单体服务通过服务组合技术被组合成具有新功能的组合服务。组合服务中的每个单体服务时刻处于演化中，所以服务组合者需要时刻对组合服务进行监控，以便能够及时地对服务组合进行演化。然而实时监控的演化方法在实现效果上不够灵活。为了实现灵活地对服务组合进行演化，本文提出了服务组合动态演化的方法，其基本思想是如果被更新的单体服务被流程调用到的时候，则该组合服务进行更新，否则不进行更新。本文所做工作包括分析执行流程，将其转化为语言代码对语言代码进行分析，生成函数依赖图根据组合服务的初始输入值，对函数依赖图进行动态切片，得到切片后的依赖图和切片后的语言代码以中的为发布平台，发布服务，并进行了组合，然后演示了对组合服务进行动态演化的过程，对本文所做工作进行了验证。论文的创