wf—net模型到pnml的转换方法的设计与实现

《wf—net模型到pnml的转换方法的设计与实现》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、-LW290WF—net模型到PNML的转换方法的设计与实现[摘要]:·工作流是指文档、信息或许使命依照程序性的流程由安排内的一个有些传递到另一个有些时,事务进程的有些或悉数主动化履行。WF—net是使用于工作流建模与工作流模型定性、定量分析的首要建模技能之一。依据XML言语的Petri网符号言语(PetriNetMarkupLanguage,PNML)的发生满意了不一样安排之间和不一样Petri网东西之间文件交流的需求。依据PNML规范拟定WF—net交流格局有助于WF—net的愈加广泛的使用。论文的首要研究工作包含:(1)在PNML元模型的基础上,提出WF—

2、net的PNML模型。(2)依据WF—net模型,描绘WF—net模型元素到PNML的变换规则,将WF—net模型目标描绘为PNML格局。(3)描绘并完成WF—net图形建模修改软件,完成WF—net到PNML的主动变换。 [关键字]:·元模型WF—netPNML转换规则[目录]·摘要4—5ABSTRACT5—6目录6—8图表目录8—101、绪论10—201.1引言10—111.2工作流建模基础11—181.2.1工作流模型的基本概念111.2.2工作流模型的控制结构11—121.2.3Petri网理论基础12—131.2.4WF—net理论基础13—181.3

3、模型的正确性分析18—191.4论文组织结构19—202、PNML及相关工作介绍20—292.1PNML文件组织结构20—212.2PNML层次模型21—252.2.1PNML对象(Objects)22—232.2.2标签(Labels)23—242.2.3图像信息(GraphicalInformation)242.2.4工具专有信息(ToolSpecificInformation)24—252.3相关工作介绍25—282.3.1P/TNet元模型25—262.3.2HLPNG元模型26—282.4本章小节28—293、WF—net模型及其到PNML的转换规则2

4、9—423.1WF—net模型的层次关系293.2WF—net的PNML模型29—323.2.1起始/结束库所元模型303.2.2触发器元模型30—313.2.3控制流程结构元模型313.2.4WF—net模型31—323.3WF—net模型元素到PNML的转换规则32—413.3.1起始库所的转换333.3.2结束库所的转换33—343.3.3自动触发器的转换34—353.3.4人工触发器的转换35—363.3.5时间触发器的转换36—373.3.6消息触发器的转换37—383.3.7与分支构造模块的转换383.3.8与合并构造模块的转换38—393.3.9或

5、分支构造模块的转换39—403.3.10或合并构造模块的转换40—413.4本章小结41—424、转换工具的设计与实现42—514.1系统概述42—434.1.1相关工作介绍424.1.2系统的开发环境42—434.2系统的体系结构43—444.3系统的总体设计思路44—464.4系统实现46—504.4.1描述模型元素的类图46—484.4.2WF—net模型到PNML的转换48—504.5本章小结50—515、总结与进一步工作51—535.1总结515.2进一步工作51—53参考文献53—56致谢56—57附:攻读期间参加的研究项目57