web服务组合的ptpn模型及其分析-ptpn model of web service composition and its analysis.docxVIP

第一章绪论随着互联网的发展，Web服务作为一种新技术受到越来越多人的关注，其高度的互操作性，跨平台性和松耦合的特点使其受到广泛应用。Web服务的接口是采用中立的方式进行定义的，独立于实现服务的硬件平台、操作系统和编程语言，这使得构建在这种系统中的各种服务可采用统一和通用的方式进行交互。近年来，互联网上出现的Web服务越来越多，但是单一的Web服务所提供的功能有限，因此需要把已有的Web服务组合起来，生成满足用户需求的新服务。对于Web服务组合问题，目前工业界和学术界已经提出了许多种方法，这些服务组合方法大致可分成基于工作流的Web服务组合、基于AI(人工智能)规划的Web服务组合和基于形式化方法的Web服务组合等三类；前两种服务组合方法缺乏对服务组合的分析与验证，无法保证服务组合的正确性；基于形式化方法的服务组合是对前两类方法的补充，形式化方法对于建模和验证Web服务组合是一种有效的方法，利用其分析验证技术，能够保证服务组合的正确性。基于形式化方法的Web服务组合方法包括自动机、进程代数和Petri网等。1.1研究背景Web技术的进一步发展和软件工程技术的进化相结合，使得面向服务的新型计算模式应运而生，产生了面向服务的体系结构(ServiceOrientedArchitecturesSOA)[7,8]，SOA是由不同的服务构成的，从而使得应用程序能够集中起来提供更加丰富、目的性更强