图形化工作流建模及其正确性验证方法研究与实现的中期报告_第1页
图形化工作流建模及其正确性验证方法研究与实现的中期报告_第2页
图形化工作流建模及其正确性验证方法研究与实现的中期报告_第3页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

图形化工作流建模及其正确性验证方法研究与实现的中期报告中期报告一、研究背景随着信息化的发展以及复杂企业业务的增加，工作流系统被广泛应用。工作流是管理企业流程、控制流程生命周期及资料、信息、知识在流程中的传递。可视化建模可以大大提高工作流程的建立、管理以及修改的效率，因此引起了广泛的关注。然而，随着工作流程复杂度的提高，工作流的正确性验证变得越来越重要。本研究主要研究图形化工作流建模和正确性验证方法。通过对业界相关研究进行调研和分析，对于目前的问题提出解决方案。二、研究内容1.图形化工作流建模的研究通过调研和分析目前工作流建模软件的特性以及用户的需求，设计开发一款图形化工作流建模工具，方便用户快速进行流程建模。2.图形化工作流正确性验证的研究为保证工作流程的正确性，需要对工作流进行验证。本研究将研究工作流正确性的验证方法。在对常见的工作流正确性问题进行研究的基础上，设计开发一种基于Petri网的验证方法。三、预期成果1.设计开发图形化工作流建模工具，实现基本工作流建模特性，包括：（1）拖拽式流程建模。（2）节点类型自定义。（3）节点属性定制。（4）自动排列节点位置。（5）节点信息的展示。（6）节点连线的编辑。2.设计开发基于Petri网的工作流正确性验证工具，实现基本正确性验证功能，包括：（1）Petri网的构建和模型转化。（2）基于Petri网的模型检查算法实现。（3）工作流的死锁、活锁、循环等正确性问题的检测。四、研究方法1.调研分析当前业界工作流建模软件和正确性验证方法，找出其优缺点并予以解决。2.通过Petri网的形式化语义来描述工作流，设计并实现一款基于Petri网的工作流正确性验证工具，提出Petri网正确性验证的算法。3.设计并实现图形化工作流建模工具，提供用户自定义节点类型和节点属性以及连线类型及其编辑。五、进度计划本研究工期为12个月左右，进度计划如下：1.前期调研和分析，完成图形化工作流建模和正确性验证方法的研究，6周。2.设计开发基于Petri网的工作流正确性验证工具，实现基本正确性验证功能，包括Petri网的构建和模型转化，4个月。3.实现图形化工作流建模工具，提供用户自定义节点类型和节点属性以及连线类型及其编辑，4个月。4.对两款工具进行集成测试，实现一体化使用，2周。六、结论本研究致力于在图形化工作流建模及其正确性验证领域做出一定的成果。通过开发图形化工作流建模工具和基于Petri网的工作流正确性验

人人文库> 全部分类> 毕业设计 > 开题报告

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论