PN2MSVL:工作流网到MSVL的转换

作     者：师亚 段振华 田聪 SHI Ya;DUAN Zhen-Hua;TIAN Cong

作者机构：西安电子科技大学计算理论与技术研究所西安710071 西安电子科技大学ISN国家重点实验室西安710071 

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

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2014年第37卷第12期

页      码：2433-2442页

摘      要：现有的工作流网到程序设计语言的转换所生成的程序不仅可读性较差而且难以进行验证.针对这一情况,该文给出了一个工作流网到建模、仿真和验证语言(MSVL)的结构化转换工具PN2MSVL.该文首先定义了注释工作流网,然后以注释工作流网为中间模型,利用一组转换规则不断地压缩注释工作流网中的正规结构,最终得到MSVL程序.PN2MSVL生成的MSVL程序不仅具备更好的可读性,而且可以利用MSVL的支持工具MSV进行建模、仿真和验证.另外,该文通过一个应用实例详细地展示了PN2MSVL的执行过程,并通过大量的实验分析了PN2MSVL的可用性.

主 题 词：工作流网 建模 仿真 验证 转换 Petri网 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.3724/SP.J.1016.2014.02433

馆 藏 号：203110478...