学位论文 > 优秀研究生学位论文题录展示
基于编译技术的Petri网模型工作流系统研究
作 者: 李刚
导 师: 李向军;徐世亮
学 校: 南昌大学
专 业: 计算机技术
关键词: 工作流系统 编译技术 Petri网模型 Petri语言编译器
分类号: TP311.52
类 型: 硕士论文
年 份: 2011年
下 载: 15次
引 用: 0次
阅 读: 论文下载
内容摘要
工作流技术是当今一项飞速发展的技术,已成为企业信息化建设方案中必不可少的内容之一。课题通过对Petri网原理的研究,设计出一套便于描述Petri网模型的编程语言的语法、语义规则,并根据编译原理实现了一个将描述Petri网模型语言编译生成相应功能的Java代码的PetriCompiler,从而达到让Petri网技术更好地推广应用于软件工程领域中的目标。PetriCompiler在当今流行的通用网理论的基础上运用编译原理实现了一个以*petri为后缀名作为输入文件以*.java为后缀名的输出文件的编译系统,具有标准、通用、易扩展等特点,为工作流系统的实现视角提供了另一种方式。具体研究与创新点包含如下几个方面:(1)提出了利用编译原理作为实现方式来建立基于Petri网的工作流解析模型。现阶段,工作流厂商及开源社区大多以动态解析的方式对工作流模型进行工作流实例化。本论文通过将编译技术融入到工作流模型运行中,项目测试证明静态编译生成工作流逻辑Java代码的方式是可行的,并具有效率高、易于代码复用等特点。(2)设计了简洁的面向对象模式的描述Petri网模型的词法与语法规范。由于Petri网以严格的数学网论为基础,所以在分析模型性质方面极具优势。但在描述模型方面,则建模工作纷繁复杂。本论文通过设计一套简洁的面向对象属性描述的Petri网模型词法及语法规则,简化对Petri网模型的描述,便于Petri网模型的构建。(3)代码实现过程中采用Builder/Director设计模式,实现了编译器前端与后端代码生成器的松散耦合。整个项目工程过程从设计到代码实现均采用迭代方式:小规模建模→代码编程→测试→工作版本实现,迭代重复上述过程,最终完成项目代码。
|
全文目录
摘要 3-4 ABSTRACT 4-7 第1章 引言 7-15 1.1 课题背景 7-8 1.2 国内外研究现状 8-11 1.2.1 国内外工作流技术研究现状 8-10 1.2.2 Petri网理论发展趋势 10-11 1.3 课题主要研究内容 11-13 1.4 创新点与难点 13-14 1.4.1 课题研究创新点 13 1.4.2 课体研究难点 13-14 1.5 论文结构安排 14-15 第2章 基于编译技术的Petri网模型工作流系统概述 15-19 2.1 PETRICOMPILER简介 15-16 2.2 PETRICOMPILER背景知识 16-17 2.3 PETRICOMPILER预期目标 17-18 2.4 软件开发环境 18 2.5 小结 18-19 第3章 PetriCompiler系统架构设计 19-25 3.1 PETRICOMPILER软件架构 19 3.2 PETRICOMPILER设计分析 19-24 3.2.1 PetriCompiler设计模式 20-22 3.2.2 PetriCompiler错误恢复机制 22-23 3.2.3 PetriCompiler运行环境类 23-24 3.3 小结 24-25 第4章 PetriCompiler设计与实现 25-42 4.1 符号约定 25 4.2 词法规则 25-27 4.3 词法分析器词法规则内容 27-29 4.4 语法规范 29-31 4.5 语法分析器语法规则内容 31-35 4.6 JAVA代码生成器实现 35-40 4.7 符号表管理器 40-41 4.8 小结 41-42 第5章 系统测试与应用验证 42-51 5.1 测试目标 42 5.2 测试策略 42-43 5.3 测试工具 43 5.4 测试实现 43-45 5.5 应用验证 45-50 5.6 小结 50-51 第6章 结论与展望 51-53 6.1 结论 51 6.2 进一步工作方向 51-53 致谢 53-54 参考文献 54-56 攻读学位期间工作成果 56-57 附录A:词法规则定义 57-59 附录B:语法规则文件 59-71
|
相似论文
- 基于jBPM的防空指控流程管理系统研究,TP311.52
- 基于服务模板的自适应工作流建模及动态执行研究,TP311.52
- 工作流资源供给管理应用系统的研究,TP311.52
- 西南空管局投资项目管理系统设计与实现,TP311.52
- 基于RBAC和WORKFLOW的制造企业生产调度系统的设计与实现,TP311.52
- 基于JBPM工作流引擎的业务审批系统的设计与实现,TP311.52
- 基于Agent的工作流系统及其在煤层气集输系统中的应用,TP311.52
- 基于Petri网模型的数据批处理系统研究与应用,TP301.1
- 基于工作流的广东省收费道路管理系统的设计与实现,TP311.52
- 电子政务智能办公系统的设计与实现,TP311.52
- 反向工程与软件知识产权保护,D923.4
- 基于Petri网的间歇过程智能监控技术研究,TP277
- 企业通用工作流系统的设计与应用,TP311.52
- 工作流在管道生产系统中的设计与实现,TP311.52
- 云工作流系统的设计与实现,TP311.52
- 企业应急预案工作流系统的研究与实现,TP311.52
- 基于工作流技术的协同办公系统设计与实现,TP311.52
- 省级气象政务办公自动化系统研究与实现,TP317.1
- 基于工作流的峰峰集团办公自动化系统的研究,TP317.1
- 基于Petri网的ForCES协议模型及ForCES中间件性能预测研究,TN915.04
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com
|