基于模糊petri网的两阶段服务组合分析-two - stage service composition analysis based on fuzzy petri nets.docxVIP

第一章绪论1.1研究背景Web服务被定义为能够通过网络发布、定位、调用、自描述的模块化程序（Gottschalketal，2000）。它以WSDL、UDDI、SOAP等协议为基础，吸收了分布式计算、网格计算和XML等多种技术的优点，很好地解决了异构环境下代码和软件复用问题，是当前SOA（面向服务的体系架构）最好的实现。随着Web服务技术的日益成熟，越来越多稳定易用的Web服务共享在网络上，然而单个Web服务比较简单且功能有限，无法满足企业实际应用的需求，必须把多个Web服务组合起来形成更强大的功能。目前，Web服务组合已经成为Web服务领域的研究热点，出现了多种Web服务组合方法。这些服务组合方法根据服务的动态程度划分，可以分为静态服务组合、半动态服务组合和动态服务组合。静态服务组合执行前，需要事先创建组合方案模板，指定流程中相关的服务，动态服务组合在组合执行前没有任何组合方案模板和相关的具体的服务，这些都在执行时完成，半动态服务组合介于两者之间。服务组合的动态程度越高，越灵活，同时组合的难度越大。静态服务组合的流程逻辑、相关的服务在组合执行前已经被指定，不利于在运行过程中根据实际网络环境动态变化，而动态服务组合的灵活性高，实现的难度大，因此，目前主要的Web服务组合研究集中在半动态服务组合。无论何种组合方法，都是按照一定的方式将一组服务组合起来形成更强的功能，然而随着Web服务技术的发展，网络上提供相同功能的服务越来越多，在同一局域网中为了提供更好的整体性能，降低系统失效率等，也会部署多个服务器节点，对于某一服务会有多个副本分布在不同的服务器节点上。这些提供相同功能的服务或服务副本，在执行代价、执行时间等方面会有差异。如何从这些类似的服务中选择合适的服务组合成性能较优的组合服务，是服务组合中的一个关键问题，即服务组合的路径选择问题，属于一种半动态服务组合。语义和服务质量成为服务组合发展的两大动力：语义的概念首先由WWW创建人Berners-Lee提出，目的是使网络中的信息具有语义，从而可以被计算机理解和处理。语义Web服务是语义Web和Web服务相结合的产物，它使用语义来描述Web服务，使服务更加智能化。服务的语义描述以本体论为基础，具有代表性的Web服务本体描述语言为OWL-S，它包括三个组件，使用类、属性和关系等概念，从三个不同方面描述一个Web服务，使Web服务可被计算机理解；随着互联网上提供相似功能的服务越来越多和用户需求的提高，服务质量成为服务组合是否成功的一个关键评判标准。如何评价Web服务及组合服务的服务质量，如何选择服务组合成具有一定服务质量的组合服务，成为服务组合研究中不考虑忽略的一个问题。静态和半动态的服务组合方法中，需要在组合服务执行时，事先定义组合服务的方案模板，其中典型的方法是基于业务流程的BPEL。BPEL是目前工业界标准的业务流程描述语言，它使用一系列规范组件如活动、合作伙伴链接等将多个服务组织起来，形成新的、功能更强的服务。对于BPEL的研究已经相当成熟，并出现了基于BPEL的业务流程引擎和对人工交互的扩展BPEL4People。但是作为一种描述性的语言，BPEL缺乏理论基础和形式化的验证能力，难以确保组合的正确性和完备性，因此需要一种形式化的工具对BPEL流程进行建模分析。目前主要的形式化工具有进程代数和Petri网。进程代数是一种描述和推理进程行为、对动态实体进行建模的形式化语言，其代表为支持通道名称传递的Pi演算。Petri网是一种基于图的形式化描述模型，有直观的图形表示、形式化的语义、状态和事件的显式表示、丰富的分析技术等优势（袁崇义，2005），能对BPEL表示的服务组合模型进行建模、仿真和相关的分析。随着Petri网理论和服务组合的发展，出现了多种不同类型的Petri网，如时间Petri网、着色Petri网和广义随机Petri网等，从不同方向提出了服务组合的解决分析方式。其中的模糊Petri网是对经典Petri网的扩展，它在经典Petri网的基础上添加了命题、置信度、真实度等概念，可以对具有模糊性的系统进行仿真分析，适应于分析带有语义信息的服务组合。1.2本文主要研究工作本文研究的是服务组合路径的选择。因为BPEL语言缺乏理论基础和形式化的验证能力，使用模糊Petri网建模、分析服务组合，综合考虑服务的语义因素和服务质量因素，利用模糊Petri网的模糊推理能力，选择出语义和服务质量两方面都较优的服务组合路径。主要的工作内容如下：(1)为建模BPEL流程的Petri网模型，提出BPEL流程的递归解析分割方法。目前的BPEL建模方法，主要是定义BPEL中活动到Petri网结构的映射，然后使用递归、嵌套等技术把整个BPEL流程映射为一个Petri网结构。由于把BPEL流程当作一个整体，建