作　　者： ; ;

机构地区： 同济大学电子与信息工程学院计算机科学与技术系

出　　处： 《小型微型计算机系统》 2004年第7期1382-1386,共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.

关 键 词： 网 验证 可达性 安全性

领　　域： [自动化与计算机技术] [自动化与计算机技术]