基于Petri网和Web服务的工作流建模方案
Web Service Flow Modeling Based on Petri Net作者机构:广东轻工职业技术学院计算机系广东广州510300 西北农林科技大学信息工程学院陕西杨凌712100 西安工业学院机电工程学院陕西西安710032
出 版 物:《微电子学与计算机》 (Microelectronics & Computer)
年 卷 期:2006年第23卷第3期
页 面:150-152页
学科分类:08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
摘 要:面向Web服务的工作流系统能很好地满足现代企业应用集成和协作的需求,Web服务流程模型的建立是实现Web服务集成的重要环节。Petri网具有形式化的描述的基础和正确性分析的优点。文章将这两方面结合起来,对工作流网中控制流结构进行了分析,给出了由Petri网向WSFL转化的方法,并给出Petri模型中控制流结构的WSFL描述。