PN2MSVL工作流网到MSVL的转换.pdfVIP

第 37卷 第 12期 计 算 机 学 报 Vo1．37 NO．12 2014年 12月 CHINESEJOURNALOFCOMPUTERS Dec．2014 PN2MSVL：工作流网到 MSVL的转换 师 亚 段振华 田 聪 (西安电子科技大学计算理论与技术研究所 西安 710071) (西安电子科技大学ISN国家重点实验室 西安 710071) 摘 要 现有 的工作流网到程序设计语言 的转换所生成 的程序不仅可读性较差而且难 以进行验证．针对这一情 况 ，该文给 出了一个工作流 网到建模 、仿真和验证语言 (MsVL)的结构化转换工具 PN2MSVL．该文首先定义 了注 释工作流网，然后以注释工作流网为 中间模型，利用一组转换规则不断地压缩注释工作流网中的正规结构，最终得 到MSVL程序．PN2MSVL生成 的MSVL程序不仅具备更好 的可读性，而且可以利用 MSVL的支持工具 MSV进 行建模 、仿真和验证．另外，该文通过一个应用实例详细地展示 了PN2MSVL的执行过程 ，并通过大量 的实验分析 了 PN2MSVI的可用性． 关键词 工作流网；建模 ；仿真；验证 ；转换 ；Petri网 中图法分类号 TP311 DOI号 10．3724／SP．J．1016．2014．02433 PN2M SVL：Translation from W orkflOW NetstoM SVL SHIYa DUAN Zhen—Hua TIAN Cong (InstituteofComputingTheoryandTechnology，XidianUniversity，Xi’口n 710071) (StateKeyLaboratoryof [ntegratedServiceNetworks，XidianUniversity，xi’an 7i0071) Abstract Programsgeneratedbytheexistingtranslationmethodsfrom workflow nets(W FNs) toprogramm inglanguagesarehardtoreadanddifficulttobeverified．Motivatedbythis，astruc— turedtranslatingtoolPN2M SVLfrom WFNstoM odeling．SimulationandVerificationLanguage (MSVL)iSpresentedinthispaper．Inthetranslation，annotatedW FNS(AW FNs)areemployed asintermediatemodels．A setoftranslatingrulesisproposedtocompresstheregularstructures nOfAW FNsrepeatedly untilMSVL programsareobtained．Asa result。the generated MSVL programsareeasiertoread．Further，supportingtoolMSV canbeutilizedtomodel。simulateand verifythegeneratedM SVL programssuchthatpropertiesoftheoriginalW FNscanbeverified． Inaddition，acasestudyiSgiven toshow how PN2MSVL worksindetail，andtheusabilityof PN2M SVL iSanalyzedthrough lotsofexperiments． Keywords workflow net；modeling；simulation；verif