PN2MSVL:工作流网到MSVL的转换  

PN2MSVL:Translation from Workflow Nets to MSVL

作　　者：师亚[1,2] 段振华[1,2] 田聪[1,2] 

机构地区：[1]西安电子科技大学计算理论与技术研究所,西安710071 [2]西安电子科技大学ISN国家重点实验室,西安710071

出　　处：《计算机学报》2014年第12期2433-2442,共10页Chinese Journal of Computers

基　　金：国家"九七三"重点基础研究发展规划项目基金(2010CB328102);国家自然科学基金(61003078;61272117;61133001;61272118;91218301;61322202;61202038);综合业务网理论及关键技术国家重点实验室基金(ISN1102001)资助~~

摘　　要：现有的工作流网到程序设计语言的转换所生成的程序不仅可读性较差而且难以进行验证.针对这一情况,该文给出了一个工作流网到建模、仿真和验证语言(MSVL)的结构化转换工具PN2MSVL.该文首先定义了注释工作流网,然后以注释工作流网为中间模型,利用一组转换规则不断地压缩注释工作流网中的正规结构,最终得到MSVL程序.PN2MSVL生成的MSVL程序不仅具备更好的可读性,而且可以利用MSVL的支持工具MSV进行建模、仿真和验证.另外,该文通过一个应用实例详细地展示了PN2MSVL的执行过程,并通过大量的实验分析了PN2MSVL的可用性.Programs generated by the existing translation methods from workflow nets （WFNs） to programming languages are hard to read and difficult to be verified. Motivated by this, a struc- tured translating tool PN2MSVL from WFNs to Modeling, Simulation and Verification Language （MSVL） is presented in this paper. In the translation, annotated WFNs （AWFNs） are employed as intermediate models. A set of translating rules is proposed to compress the regular structures of AWFNs repeatedly until MSVL programs are obtained. As a result, the generated MSVL programs are easier to read. Further, supporting tool MSV can be utilized to model, simulate and verify the generated MSVL programs such that properties of the original WFNs can be verified. In addition, a case study is given to show how PN2MSVL works in detail, and the usability of PN2MSVL is analyzed through lots of experiments.

关 键 词：工作流网 建模 仿真 验证 转换 PETRI网 

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