基于时间Petri网的Web服务建模技术研究

Web服务是微软和IBM公司为能够解决当前的信息的整合而提出的,是一种部署在Web上、面向Internet的、基于XML的对象/组件技术;其目标是能够自动和统一地封装服务信息、服务行为、数据表示以及商务流程。商务流程的建立对于Web服务是至关重要的,因为Web服务之间的信息协调是以商务流程为基础的。因此IBM为解决该问题,提出了Web服务流程语言(webservicesflowlanguage,WSFL)。但是IBM提出的WSFL没有能够从并发协调的角度来阐述商务流程的建模方法,所以提出利用Petri网为模型描述工具,用于描述与分析商务流程模型,同时给出Petri网与WSFL之间的转换算法,并以实例证明了该模型用于商务流程的建模方法是切实可行的。