基于编译技术的Petri网模型工作流系统研究

摘要

工作流技术是当今一项飞速发展的技术，已成为企业信息化建设方案中必不可少的内容之一。课题通过对Petri网原理的研究，设计出一套便于描述Petri网模型的编程语言的语法、语义规则，并根据编译原理实现了一个将描述Petri网模型语言编译生成相应功能的Java代码的PetriCompiler，从而达到让Petri网技术更好地推广应用于软件工程领域中的目标。PetriCompiler在当今流行的通用网理论的基础上运用编译原理实现了一个以*.petri为后缀名作为输入文件以*.java，为后缀名的输出文件的编译系统，具有标准、通用、易扩展等特点，为工作流系统的实现视角提供了另一种方式。具体研究与创新点包含如下几个方面：
　　 (1)提出了利用编译原理作为实现方式来建立基于Petri网的工作流解析模型。现阶段，工作流厂商及开源社区大多以动态解析的方式对工作流模型进行工作流实例化。本论文通过将编译技术融入到工作流模型运行中，项目测试证明静态编译生成工作流逻辑Java，代码的方式是可行的，并具有效率高、易于代码复用等特点。
　　 (2)设计了简洁的面向对象模式的描述Petri网模型的词法与语法规范。由于Petri网以严格的数学网论为基础，所以在分析模型性质方面极具优势。但在描述模型方面，则建模工作纷繁复杂。本论文通过设计一套简洁的面向对象属性描述的Petri网模型词法及语法规则，简化对Petri网模型的描述，便于Petri网模型的构建。
　　 (3)代码实现过程中采用Builder/Director设计模式，实现了编译器前端与后端代码生成器的松散耦合。整个项目工程过程从设计到代码实现均采用迭代方式：小规模建模→代码编程→测试→工作版本实现，迭代重复上述过程，最终完成项目代码。