基于Petri网和Web服务的工作流建模方案  

Web Service Flow Modeling Based on Petri Net

作　　者：张琳霞[1] 李茵[2] 李小丽[3] 

机构地区：[1]广东轻工职业技术学院计算机系,广东广州510300 [2]西北农林科技大学信息工程学院,陕西杨凌712100 [3]西安工业学院机电工程学院,陕西西安710032

出　　处：《微电子学与计算机》2006年第3期150-152,共3页Microelectronics & Computer

摘　　要：面向Web服务的工作流系统能很好地满足现代企业应用集成和协作的需求,Web服务流程模型的建立是实现Web服务集成的重要环节。Petri网具有形式化的描述的基础和正确性分析的优点。文章将这两方面结合起来,对工作流网中控制流结构进行了分析,给出了由Petri网向WSFL转化的方法,并给出Petri模型中控制流结构的WSFL描述。Web Service flow modeling is important to Web Service integration. This thesis researched the Web Service flow modeling and soundness verifying method, and presented the WSFL description of the basic muting of the Web Service flow＇s Petri net model.

关 键 词：Petrl-net WSFL WEB服务 工作流 

分 类 号：TP319[自动化与计算机技术—计算机软件与理论]