中文摘要：

利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组合结构的模型表达,用于构造满足实际需求的Web服务组合流程。该模型能较全面地描述Web服务组合,同时还能够对组合流程正确性进行分析验证,最后通过建模实例说明了所提模型的实用性。

英文摘要：

Utilizing Web service composition technology,the complicated and changing business demand can be met quickly and flexibly.However,existing description models of Web service composition depend on concrete composition process description language.Moreover,they can＇t give a comprehensive picture on Web service composition.In order to resolve these two problems,a coloured Petri net model was put forward to describe the Web service.The model descriptions of five basic Web composition structures were presented to construct the process of Web composition which fulfils actual requirement.The model can describe Web service composition more comprehensively,meanwhile it can analyse and validate correctness of the composition process.At last we gave a demonstration for the actual application of the model by an example modelling.