欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
现有的工作流网到程序设计语言的转换所生成的程序不仅可读性较差而且难以进行验证．针对这一情况，该文给出了一个工作流网到建模、仿真和验证语言（MsVL）的结构化转换工具PN2MSVL．该文首先定义了注释工作流网，然后以注释工作流网为中间模型，利用一组转换规则不断地压缩注释工作流网中的正规结构，最终得到MSVL程序．PN2MSVL生成的MSVL程序不仅具备更好的可读性，而且可以利用MSVL的支持工具MSV进行建模、仿真和验证．另外，该文通过一个应用实例详细地展示了PN2MSVL的执行过程，并通过大量的实验分析了PN2MSVI。的可用性．
英文摘要：
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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：