收藏本站
《大连理工大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

基于活动信息传递的工作流验证的研究与实现

李敬刚  
【摘要】: 由于当今社会的飞速发展,技术的不断革新,企事业单位的竞争压力越来越大,而有效的工作效率成为企业存活的重要方面,因而低效缓慢的传统工作模式成为了企业发展的障碍。由于网络的发展壮大,支持办公自动化的工作流技术应运而生,使得当今企业利用电子化办公来提高工作效率成为可能。 经过20多年的发展,现在工作流技术已经得到企事业单位的广泛应用,已经成为企事业管理和运行的有效工具,随着技术的进一步成熟,未来的发展潜力还很大。工作流是一种反应业务流程的计算机化的模型,是为了在先进计算机环境支持下实现经营过程集成与经营过程自动化而建立的可由工作流管理系统执行的业务模型。工作流管理系统是支持企事业经营过程高效执行并监控其执行过程的计算机软件系统,主要包括流程定义器,调度引擎,客户端和管理平台。流程定义器是创建工作流过程的工具,并验证过程结构是否正确,工作流的正确性验证始终是该领域的热点,把工作流的验证做好,才能更好的提高工作流执行效率和降低维护成本。 为了解决工作流验证问题,论文分析和总结了工作流验证领域的研究现状,并综述了该领域的相关研究成果。工作流验证主要由三方面组成,即语法验证、结构验证和语义验证,语法验证和语义验证都比较容易解决,所以论文重点讨论了结构验证,结构验证的任务是判定工作流是否存在结构错误,工作流是否可以正常完成执行。论文在给出相关概念和定义的基础上提出了基于活动信息传递的工作流验证方法,定义了活动信息的组织传递方式和验证规则,并分析验证了工作流模型主要结构错误,如死锁、多实例和活锁,给出了算法描述,通过和其他几种已存在的主要方法进行综合对比,可以看出本文提出的方法能够很好的验证典型的工作流的结构异常。 论文设计开发了一个完整的工作流定义器WFDT,基于工作流管理联盟定义的XPDL定义语言,利用MVC开发模式实现,给客户提供了良好的用户接口,客户能够通过图形窗口方便的创建工作流过程,并且WFDT还提供了简单的仿真功能,使得用户可以在过程投入使用前看到流程执行过程,以便可以及时修改不合理之处,从而提高正确创建的效率。本文通过实例展示了该定义器的有效性。
【学位授予单位】:大连理工大学
【学位级别】:硕士
【学位授予年份】:2010
【分类号】:TP311.52

【参考文献】
中国期刊全文数据库 前9条
1 周建涛,史美林,叶新铭;工作流过程建模中的形式化验证技术[J];计算机研究与发展;2005年01期
2 赵磊,钱乐秋,赵文耘;基于状态空间的工作流模型验证[J];计算机工程与应用;2004年10期
3 陆公正;戎玫;张广泉;;基于UML-Statecharts的工作流控制结构的验证[J];计算机科学;2006年05期
4 范玉顺,吴澄;工作流管理技术研究与产品现状及发展趋势[J];计算机集成制造系统-CIMS;2000年01期
5 凌鸿;周江波;胥正川;;基于语义推理的工作流结构验证方法[J];计算机集成制造系统;2006年06期
6 黎海生;基于活动网络的工作流过程定义模型[J];科技广场;2005年05期
7 周建涛,史美林,叶新铭;一种基于Petri网化简的工作流过程语义验证方法[J];软件学报;2005年07期
8 谷建鑫,仇建伟;基于Petri网的工作流模型[J];计算机工程与设计;2005年02期
9 徐晶明;杜宝珠;;基于Petri网化简技术的工作流过程模型结构验证[J];计算机技术与发展;2009年06期
【共引文献】
中国期刊全文数据库 前10条
1 邹海;储德新;高顺利;;基于Petri网的工作流建模与分析[J];安徽大学学报(自然科学版);2011年02期
2 许应成;江克勤;徐克圣;;基于UML网络化标准零件库系统的分析与设计[J];安庆师范学院学报(自然科学版);2008年01期
3 金莹;丁峰;;广义随机Petri网在工作流建模中的应用研究[J];安庆师范学院学报(自然科学版);2010年01期
4 邵志芳;钱省三;刘仲英;;基于Petrinet的半导体代工系统建模及案例研究[J];半导体技术;2006年11期
5 姜朋慧,姜志红,须德;工作流系统中路由图构造问题[J];北方交通大学学报;2000年06期
6 金安琍;宋军;;用UML进行图书管理系统分析与设计[J];办公自动化;2009年22期
7 张蕊;李冬芬;;公交查询系统的设计与实现[J];办公自动化;2012年02期
8 汪亚男,王明哲;赋时着色Petri网在建模仿真中的应用[J];兵工自动化;2005年01期
9 郭建章;王明哲;;基于Petri网的排队网分析方法[J];兵工自动化;2006年07期
10 韦雪洁;刘金梅;姚晓琼;李国洪;;CAN总线通信过程实时性能的仿真计算[J];兵工自动化;2008年06期
中国重要会议论文全文数据库 前10条
1 王志坚;蔡自兴;;基于Petri网的企业信息化系统统一建模研究[A];第二十六届中国控制会议论文集[C];2007年
2 李晓林;李钢;张仁斌;高森;张明;;基于着色时间Petri网的公文发文工作流建模与分析[A];中国仪器仪表学会第十三届青年学术会议论文集[C];2011年
3 马玉琨;陆彦辉;杨守义;;OFDMA系统中接纳控制的Petri网模型[A];第十届中国科协年会论文集(三)[C];2008年
4 刘永亮;张卫红;;办公自动化系统中的工作流管理模型研究[A];教育技术应用与整合研究论文[C];2005年
5 陆公正;张广泉;;UML状态图中的数据流语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年
6 塔娜;刘慧;邵大欣;;网络系统可用度全面评估方法研究[A];中国企业运筹学[C];2009年
7 朱琴;聂鸿超;吕旭东;段会龙;祝跃明;;工作流管理技术在医疗中的应用[A];中国生物医学工程学会成立30周年纪念大会暨2010中国生物医学工程学会学术大会壁报展示论文[C];2010年
8 雷娟;;工作流设计案例分析——房产管理系统中的工作流设计[A];第十三届全国工程建设计算机应用学术会议论文集[C];2006年
9 雷娟;;工作流设计案例分析——房产管理系统中的工作流设计[A];计算机技术在工程建设中的应用——第十三届全国工程建设计算机应用学术会议论文集[C];2006年
10 刘成刚;景玉钢;朴秀峰;刘杰;黄少滨;;一种基于UML活动图的工作流建模方法[A];黑龙江省计算机学会2007年学术交流年会论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 车建华;虚拟计算系统性能与可用性评测方法研究[D];浙江大学;2010年
3 吴修国;面向目标的迁移工作流建模方法研究[D];山东大学;2010年
4 高磊;P2P工作流系统中的资源搜索及负载均衡优化研究[D];山东大学;2010年
5 赵亮;Web服务组合性能建模与分析[D];武汉大学;2009年
6 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
7 吕继东;列车运行控制系统分层形式化建模与验证分析[D];北京交通大学;2011年
8 杨斯淇;危险货物运输管理流程优化与系统实现[D];吉林大学;2011年
9 魏领会;数控机床可用性耦合建模及影响度分析[D];吉林大学;2011年
10 鲁付俊;供需链环境下轿车制造模式与物流系统研究[D];合肥工业大学;2011年
中国硕士学位论文全文数据库 前10条
1 王晨亮;基于工作流的资源环境建模框架的设计与实现[D];山东科技大学;2010年
2 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年
3 吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年
4 禚百田;UML在空调嵌入式系统开发中的应用研究[D];山东科技大学;2010年
5 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
6 林红昌;基于UML的软件系统的功能性验证和非功能性度量[D];浙江理工大学;2010年
7 姜春晖;基于UML的报刊销售管理系统的设计与实现[D];郑州大学;2010年
8 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
9 徐西宝;船用嵌入式电子海图应用无线服务终端关键技术研究[D];哈尔滨工程大学;2010年
10 彭永;基于移动Agent工作流的研究与实现[D];哈尔滨工程大学;2010年
【二级参考文献】
中国期刊全文数据库 前9条
1 李红臣,史美林,陈信祥;工作流系统中的业务过程描述及分析[J];计算机研究与发展;2001年07期
2 赵磊,钱乐秋,赵文耘;基于状态空间的工作流模型验证[J];计算机工程与应用;2004年10期
3 缪晓阳;石文俊;吴朝晖;;工作流过程定义规范[J];计算机科学;2000年11期
4 许安国,蒋昌俊;P/T网的化简运算及其性质研究[J];软件学报;1997年07期
5 王寿光,颜钢锋,蒋静坪;网简化技术在Petri网反馈控制器设计中的应用[J];软件学报;2003年06期
6 周建涛,史美林,叶新铭;一种基于Petri网化简的工作流过程语义验证方法[J];软件学报;2005年07期
7 孙建召;曾巧明;;基于面向对象Petri网的工作流建模及性能分析[J];计算机技术与发展;2007年10期
8 秦凯;姜浩;;一种基于Petri网的工作流模型分解方法[J];计算机技术与发展;2008年01期
9 李建强,范玉顺;基于Petri网化简方法的工作流模型验证[J];信息与控制;2001年06期
【相似文献】
中国期刊全文数据库 前10条
1 岳晓丽,杨斌,郝克刚;信牌驱动式工作流计算模型[J];计算机研究与发展;2000年12期
2 曹化工,曹强;基于多代理的工作流管理系统中的监测研究[J];计算机工程与应用;2000年04期
3 窦万春,李东波,张世琪;基于图结构的工作流技术分析和研究[J];计算机辅助设计与图形学学报;2000年12期
4 张德壮,李俊海,耿继秀;工作流管理系统综述[J];计算机应用;2000年05期
5 刘玉林,吴晓群;Application of PetriNet to workflow specification Petri Net在工作流管理系统形式说明中的应用[J];长春师范学院学报;2000年02期
6 孙建滨;聚焦工作流[J];上海微型计算机;2000年47期
7 李波,杨建军,邬学礼;应用于生产管理的工作流技术研究[J];高技术通讯;2002年08期
8 邹畅,曹化工;工作流管理系统业务约束的研究[J];计算机工程与科学;2002年03期
9 陈俊侠,常会友;虚拟企业中的工作流管理系统框架研究[J];现代计算机(专业版);2002年08期
10 周世杰,秦志光,刘锦德;工作流管理系统互操作技术研究[J];电子科技大学学报;2002年02期
中国重要会议论文全文数据库 前10条
1 卓蔚;陈思;张侃弘;;工作流管理技术浅谈——如何实现企业业务信息化的工作流管理[A];上海烟草系统2002年度学术论文选编[C];2002年
2 李晖;王海洋;王文;;面向事务的工作流活动模型[A];第十七届全国数据库学术会议论文集(技术报告篇)[C];2000年
3 连杰鑫;刘家茂;顾宁;;基于协作依赖的工作流过程优化[A];第二十届全国数据库学术会议论文集(研究报告篇)[C];2003年
4 李新;薛永生;;可重构工作流系统设计方法研究[A];第二十届全国数据库学术会议论文集(技术报告篇)[C];2003年
5 叶寿生;汪涛;郭永林;;LTFP intelliFlow~工作流管理系统[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
6 冯波;徐建良;;支持动态变化的工作流元模型的研究与应用[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
7 丁华;王秀坤;周永晖;;基于改进移动模型的迁移工作流研究[A];第二十二届中国数据库学术会议论文集(技术报告篇)[C];2005年
8 崔立真;王海洋;;基于主动过程视图的工作流管理和监控[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
9 欧阳青;;工作流技术在高校教育管理系统中的应用研究[A];第十八届玻璃钢/复合材料学术年会论文集[C];2010年
10 吕刚;王坚;严隽薇;董志斌;;工作流技术及其在制造企业中的应用研究[A];第二十届中国控制会议论文集(下)[C];2001年
中国重要报纸全文数据库 前10条
1 庄志澄;成功实施工作流管理系统[N];中国计算机报;2003年
2 中国石油勘探开发研究院西北分院 柏东明 曾丽花 郭以东;定制企业工作流服务[N];计算机世界;2011年
3 中国建设银行湖北分行信息技术部李涛、娄国伟、曾钦祥、吴安平、童海涛;实现多任务域工作流[N];计算机世界;2004年
4 王沛霖;驾驭流程 创造价值[N];中国计算机报;2004年
5 李农、张京辉;客服中心上档次依赖工作流管理系统[N];中国计算机报;2002年
6 何吟;“行业”标签让SunFlow更醒目[N];计算机世界;2004年
7 优利系统(中国)有限公司 倪佳;影像与工作流技术在银行业的应用[N];网络世界;2001年
8 邹洪强;应用系统的另类整合[N];计算机世界;2005年
9 中国软件评测中心 于春玲;企业业务流程管理系统的新亮点[N];中国计算机报;2004年
10 山西焦煤集团驻深圳办事处 刘鹏;基于企业过程建模的工作流管理系统研究[N];山西科技报;2002年
中国博士学位论文全文数据库 前10条
1 刘怡;基于工作流的连锁超市生鲜货品营运流程管理研究[D];华中科技大学;2007年
2 刘英博;工作流运行时人员智能分配技术研究[D];清华大学;2008年
3 王睿;面向目标的迁移工作流主动服务方法研究[D];山东大学;2009年
4 吴修国;面向目标的迁移工作流建模方法研究[D];山东大学;2010年
5 丁柯;网络分布计算中的事务工作流研究[D];中国科学院研究生院(软件研究所);2003年
6 肖郑进;面向企业应用的工作流精简建模研究[D];浙江大学;2006年
7 柯飞帆;面向分布应用的工作流管理系统研究与实现[D];南京航空航天大学;2006年
8 田珂;开放网络环境下工作流管理系统的技术研究[D];电子科技大学;2006年
9 程杰;迁移工作流过程分解及其规划方法研究[D];山东大学;2011年
10 高昂;基于多种视角的工作流挖掘技术研究[D];北京科技大学;2010年
中国硕士学位论文全文数据库 前10条
1 冀勇;基于Windows SharePoint Server工作流技术的应用研究[D];西安理工大学;2008年
2 马柯;企业项目管理信息系统及工作流技术的研究[D];西安电子科技大学;2006年
3 梅凯;基于“联通效率系统”的企业工作流控制平台研究[D];西安电子科技大学;2006年
4 张建勋;基于工作流的知识管理系统研究[D];国防科学技术大学;2008年
5 范协裕;应急预案工作流及其跨组织协同研究[D];天津大学;2008年
6 张一江;煤炭运销工作流管理系统的设计与实现[D];复旦大学;2008年
7 承胜;企业工作流平台的分析和设计[D];复旦大学;2008年
8 宋晓勇;基于工作流技术的医疗过程管理系统[D];吉林大学;2009年
9 姜红凡;基于工作流技术的办公自动化系统设计与实现[D];武汉理工大学;2009年
10 邵红梅;柔性工作流技术在网络燃气表系统中的应用研究[D];武汉理工大学;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026