PN2MSVL:工作流网到MSVL的转换
现有的工作流网到程序设计语言的转换所生成的程序不仅可读性较差而且难以进行验证.针对这一情况,该文给出了一个工作流网到建模、仿真和验证语言(MSVL)的结构化转换工具PN2MSVL.该文首先定义了注释工作流网,然后以注释工作流网为中间模型,利用一组转换规则不断地压缩注释工作流网中的正规结构,最终得到MSVL程序.PN2MSVL生成的MSVL程序不仅具备更好的可读性,而且可以利用MSVL的支持工具MSV进行建模、仿真和验证.另外,该文通过一个应用实例详细地展示了PN2MSVL的执行过程,并通过大量的实验分析了PN2MSVL的可用性.
工作流网、建模、仿真、验证、转换、Petri网
37
TP311(计算技术、计算机技术)
国家“九七三”重点基础研究发展规划项目基金2010CB328102;国家自然科学基金61003078,61272117,61133001,61272118,91218301,61322202,61202038;综合业务网理论及关键技术国家重点实验室基金ISN1102001资助.This research is supported by the National Program on the Key Basic Research Project of China 973 Program under Grant No.2010CB328102,the National Natural Science Foundation of China under Grant Nos.61003078,61272117,61133001,61272118,9121
2015-07-08（万方平台首次上网日期，不代表论文的发表时间）
共10页
2433-2442
