基于Petri网的Web服务流语言(WSFL)建模与分析  

Modeling and Analysis of Web Services Flow Language (WSFL) Based Petri Nets

作　　者：孙健[1] 张鹏[1] 

机构地区：[1]同济大学计算机科学与工程系,上海200092

出　　处：《小型微型计算机系统》2004年第7期1382-1386,共5页Journal of Chinese Computer Systems

基　　金：国家杰出青年科学基金项目 (60 12 5 2 0 5 )资助

摘　　要：描述了 Web服务流语言 (WSFL)的 Petri网建模方法 ,利用网结构描述商业流程基本结构 .在对 WSFL 的语法元素进行分析的基础上 ,有效地对 WSFL所描述的商业流程进行了 Petri网建模 .在此基础上 ,结合 Petri网的可达图分析技术 。The paper presents the modeling method of Web Services Flow Language(WSFL)based Petri nets, describes the basic structure of business flow using the Petri nets. After the analysis of the syntax of WSFL, gives the Petri nets models of business flows described by WSFL. This paper validates the properties such as reachability and liveness using the reachability technique of Petri nets.

关 键 词：PETRI网 WSFL WEB SERVICE 验证 可达性 安全性 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]