基于场景的服务组合与验证-软件工程专业论文.docxVIP

基于场景的服务组合和验证 基于场景的服务组合和验证 基于场景的服务组合和验证 基于场景的服务组合和验证 万方数据 万方数据 万方数据 万方数据 基于场景的服务组合与验证 摘要 SOA 通过把软件分解成为一个个服务以达到解耦合和重用性的做法得到了广泛应 用,与之结合的服务组合的方法也因此被广泛的研究。但是随着可用的服务数量的不断 增加以及不同组织之间相互协作性的增强，传统的服务组合方法依然存在很多的挑战。 1）对于一个企业（组织）而言，在处理相似的开发需求时，开发人员需要重复地 进行服务查找，服务匹配，服务组合的工作，缺乏效率。 2）在相似服务增多的情况下（功能类似），进行服务选择以及处理不同来源服务时， 对复杂的应用场景进行分析变得十分繁琐。 针对以上提出的挑战，本文结合现有的语义网技术和服务组合相关研究提出了基于 场景进行服务组合与验证的方案。我们首先提出抽象场景模板，并在此基础上依据服务 上下文的表述来尽可能的复用遗留系统。对于无法通过复用满足的需求，我们结合语义 网和服务上下文来寻找和选择对应的服务，通过线性逻辑证明的方式来进行服务组合。 同时本文研究了需求上下文和线性逻辑转化为通信顺序进程的方法，为组合好的服务进 行仿真验证。 本文的研究工作有以下几点： 1.利用抽象场景模板来表述需求 抽象场景模板是对一类实际应用场景进行归纳抽象，具体的说就是抽离出一个实际 应用场景可能会经历哪些阶段，每个阶段至少会有哪些功能而这些功能应该会涉及到哪 些服务。而服务上下文是针对一次实际的需求在抽象模板的基础上添加对应的内容。 2.利用线性逻辑进行服务组合 研究了服务的线性逻辑表示，把对应的服务转换成 Classic linear logic（CLL）描述， 同样的把我们的需求表述成 CLL 描述并把它看成是一个猜想。这样我们就把服务组合 的问题转化为一个证明的问题，如果这个证明成功了就说明我们得到了这个服务组合。 3.利用语义信息来解决来源不同服务的接口匹配问题 因为服务来源不同，所以在服务组合的过程中会出现接口异构的情况。我们对此进 行了异构情况的总结分类，并对每一类异构提出相应的解决办法，同时指出了复杂的异 构情况可以分解成多个单一的异构情况通过多步来解决。 4.利用通信顺序进程进行服务组合验证 通过将需求上下文中的信息以及线性逻辑证明中的信息转化为 CSP 表达式，然后利 I 用 CSP 表达式进行仿真验证来对服务组合的有效性进行检测。 本文提出从场景模型出发，通过服务上下文来具体的描述需求的方法。利用尽量复 用遗留系统的方法达到增加开发效率的目标。最后结合统一通信领域的实际案例对本文 提出的方案进行了验证。 关键词：服务组合，通信顺序进程，接口匹配，需求上下文，业务场景 II 基于场景的服务组合和验证 基于场景的服务组合和验证 基于场景的服务组合和验证 基于场景的服务组合和验证 Service composition and verification based on scene ABSTRACT SOA separates software into distinct services allow developer reuse them in different applications. With the popularity of SOA, the method of service composition has been extensively studied. However, with the increasing available services and enhancement of mutual cooperation between different organizations, we are still faced with the following challenges. For an enterprise (organization), when they encounter a similar development requirement, developers need to be repeated in the service discovery, service matching, service composition. When the service increases, it becomes very difficult to select a service and handle the services from different sources. Combined with the published research, we give a new service