收藏本站
《陕西师范大学学报(自然科学版)》 2014年03期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于规范化工作流网建模的模型验证方法

刘木春  艾玲梅  魏清  
【摘要】:在比较分析已有工作流模型验证算法优缺点的基础上,提出一种新的工作流模型验证方法.该方法基于规范化工作流网,不仅可以检测死锁、孤立点等常规模型错误结构,而且能够检测隐蔽性很强的AND-split→OR-join(A→O)结构.为了成功检测A→O结构,详尽分析了不同A→O结构的特点,并找到它们之间的共同特征,进而通过探测该共同特征来检测是否存在A→O结构,从而克服已有算法无法验证A→O结构的缺陷.此外,还给出模型规范化规则,使得方法能够验证不规范的业务流程.通过实例分析,表明算法有效可靠.
【作者单位】陕西师范大学计算机科学学院;陕西省交通规划设计研究院;
【基金】:国家自然科学基金资助项目(11071278) 中央高校基本科研业务费专项资金项目(GK201302026)
【分类号】:TP311.52
【正文快照】:
工作流建模是工作流技术的基础与核心,结构不合理的工作流模型一旦投入实际运行将导致不可挽回的损失[1].一个优秀的工作流模型验证算法可以减少甚至完全避免这种损失,因此工作流模型的验证是工作流技术成功实施的关键.工作流模型验证主要分为语法验证、结构验证、语义验证[2

【参考文献】
中国期刊全文数据库 前9条
1 王立君;郭晓冬;;基于Petri网工作流过程模型合理性验证方法[J];吉林大学学报(信息科学版);2011年06期
2 周建涛,史美林,叶新铭;工作流过程建模中的形式化验证技术[J];计算机研究与发展;2005年01期
3 李海波;战德臣;徐晓飞;;工作流业务规则语义的完整性验证技术[J];计算机研究与发展;2009年07期
4 王霞;王刚;周立东;;改进的工作流合理性验证方法[J];计算机工程与应用;2011年33期
5 张亮;姚淑珍;;基于Petri网化简技术的工作流模型正确性研究[J];计算机工程;2007年09期
6 黄瑜岳;李克清;;基于Petri网的工作流合法性验证综述[J];计算机应用研究;2013年01期
7 周建涛,史美林,叶新铭;一种基于Petri网化简的工作流过程语义验证方法[J];软件学报;2005年07期
8 高捷;吴华瑞;;基于矩阵模型的工作流合理性验证算法研究[J];计算机工程与设计;2010年11期
9 赵军富;靳荣;马胜梅;刘玉平;;基于Petri网化简技术的工作流模型合理性验证[J];微计算机信息;2009年15期
【共引文献】
中国期刊全文数据库 前10条
1 师蕙;董少英;;基于Petri网的科技期刊在线办公系统模型[J];电脑知识与技术;2010年21期
2 李英吉;李斌;陈毓春;林晶怡;穆成林;;工作流引擎在电力信息化中的应用与设计[J];电力信息化;2010年11期
3 谢蓉蓉;;基于Petri网的测井资料处理工作流建模[J];电子科技;2010年05期
4 杨刚;黄迪明;秦巧;;基于工作流建模过程中的验证技术的分析[J];福建电脑;2006年01期
5 杨雯;刘厚泉;刘曼;;基于高级Petri网的审计业务流程建模[J];福建电脑;2007年11期
6 周望平;黎湖广;;基于带权时间Petri网的工作流建模研究及应用[J];长沙航空职业技术学院学报;2013年02期
7 王霞;姜宏岸;李慧;;工作流动态变化在建模中的应用研究[J];淮海工学院学报(自然科学版);2011年04期
8 于晓浩;刘俊先;陈涛;罗雪山;;事件驱动过程链在军事信息系统建模中的应用[J];火力与指挥控制;2011年07期
9 张静;王海洋;崔立真;;基于Pi演算的跨组织工作流建模研究[J];计算机研究与发展;2007年07期
10 李海波;战德臣;徐晓飞;;工作流业务规则语义的完整性验证技术[J];计算机研究与发展;2009年07期
中国重要会议论文全文数据库 前3条
1 王志坚;蔡自兴;;基于Petri网的企业信息化系统统一建模研究[A];第二十六届中国控制会议论文集[C];2007年
2 刘成刚;景玉钢;朴秀峰;刘杰;黄少滨;;一种基于UML活动图的工作流建模方法[A];黑龙江省计算机学会2007年学术交流年会论文集[C];2007年
3 王超;钟志农;熊伟;左怀玉;李军;;流程业务化定制中的工作流建模方法研究[A];第26届中国数据库学术会议论文集(B辑)[C];2009年
中国博士学位论文全文数据库 前10条
1 高磊;P2P工作流系统中的资源搜索及负载均衡优化研究[D];山东大学;2010年
2 徐战;下一代广播电视网开放业务平台中网络边缘资源控制技术研究[D];中国科学技术大学;2011年
3 张镇;面向迎宾机器人组件化系统的建模与控制研究[D];上海交通大学;2011年
4 于晓浩;面向任务的军事信息服务组合方法与关键技术研究[D];国防科学技术大学;2011年
5 刘铭;列车通信网络系统形式化建模与验证方法研究[D];哈尔滨工程大学;2011年
6 谢毅;基于独立队列的业务过程调度优化关键技术研究[D];浙江大学;2011年
7 程渤;服务网格工作流管理技术研究[D];电子科技大学;2006年
8 王志坚;基于Petri网的企业信息化系统建模及关键技术研究[D];中南大学;2007年
9 崔卫华;产品多领域协同设计过程的CCM-A建模技术研究[D];武汉理工大学;2007年
10 王斌;工作流模型若干问题的研究及其在广电运营系统中的实现[D];广东工业大学;2008年
中国硕士学位论文全文数据库 前10条
1 李敬刚;基于活动信息传递的工作流验证的研究与实现[D];大连理工大学;2010年
2 吴凡;WFMS性能分析及动态任务分配的研究与实现[D];大连理工大学;2010年
3 赵宝平;工作流的建模与验证[D];大连理工大学;2010年
4 陈松;基于Petri网的信息流安全属性的验证与可组合性研究[D];江苏大学;2010年
5 乔云从;柔性流程引擎的设计与实现[D];浙江大学;2011年
6 李占峻;基于Pi演算的网格工作流形式化描述及有效性检测[D];解放军信息工程大学;2009年
7 孟敏;建筑工程创鲁班奖的过程模型研究[D];武汉理工大学;2011年
8 张茜茜;基于XPDL的事务工作流和工作流验证的研究和实现[D];北京邮电大学;2011年
9 吴昊;BPM在商业银行风险管理中的应用研究[D];华东师范大学;2011年
10 钱茅;基于行为驱动开发的轻量级工作流引擎的设计与实现[D];华中师范大学;2011年
【二级参考文献】
中国期刊全文数据库 前10条
1 李辉;张振华;;基于Petri网的电子运维系统工作流建模[J];北京化工大学学报(自然科学版);2009年S1期
2 肖军;邓海鸿;高允锋;周春贵;刘雷;;基于Petri网的工作流建模及时间性能分析[J];吉林大学学报(信息科学版);2009年01期
3 刘婷,林闯,刘卫东;基于时间Petri网的工作流系统模型的线性推理[J];电子学报;2002年02期
4 周建涛,史美林,叶新铭;工作流过程建模中的形式化验证技术[J];计算机研究与发展;2005年01期
5 冯卫兵;郝克刚;;基于Petri网的工作流模型的分析[J];计算机工程与应用;2007年03期
6 郝玫;王道平;;基于Petri网的工作流建模合理性验证算法[J];计算机工程与应用;2008年13期
7 周福明;吴斌;顾庆;陈道蓄;;基于Petri网的工作流建模与正确性分析[J];计算机科学;2005年02期
8 陈翔,夏国平;基于Petri网的工作流层次模型及结构分析[J];计算机工程;2003年01期
9 张亮;姚淑珍;;基于Petri网化简技术的工作流模型正确性研究[J];计算机工程;2007年09期
10 褚红伟;赵银亮;葛玮;;分布工作流过程模型及其实现[J];计算机工程;2009年14期
中国硕士学位论文全文数据库 前1条
1 吴佰桐;工作流建模与基于真值表验证的研究[D];大连理工大学;2008年
【相似文献】
中国期刊全文数据库 前10条
1 花蓓蓓;毛善君;;基于工作流技术的煤炭资源管理信息系统的研究[J];采矿技术;2008年02期
2 王波;曹耀钦;宋恒辛;;基于Petri网的工作流层次化建模与合理性分析[J];计算机与信息技术;2009年06期
3 刘磊;李仁旺;杨名权;;基于WF-net网的工作流仿真技术研究[J];计算机工程与应用;2006年35期
4 王娟娟;;Petri网在高校办公自动化中的应用研究[J];科技传播;2010年06期
5 吴雅娟;王鑫;张子银;;基于Petri网的钻井工程设计工作流建模技术研究[J];长江大学学报(自然科学版)理工卷;2010年03期
6 王建兴;;基于Petri网的采购流程自动化[J];赤峰学院学报(自然科学版);2008年07期
7 薛景;;卫生监督管理信息系统工作流建模及分析[J];办公自动化;2008年14期
8 李辉;张振华;;基于Petri网的电子运维系统工作流建模[J];北京化工大学学报(自然科学版);2009年S1期
9 高捷;吴华瑞;;基于矩阵模型的工作流合理性验证算法研究[J];计算机工程与设计;2010年11期
10 钱丽璞;张建勋;蔡红云;;基于Petri网的信息系统集成项目管理模型研究[J];电脑知识与技术(学术交流);2006年23期
中国重要会议论文全文数据库 前10条
1 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
2 张朝辉;刘大有;刘伟江;;工作流建模技术综述[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年
3 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
4 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
5 张旭;魏建;熊静;;基于Petri网的民航旅行代理服务工作流建模研究[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
6 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
7 霍金健;袁崇义;屈婉玲;;基于Petri网的工作流语义研究[A];2005通信理论与技术新进展——第十届全国青年通信学术会议论文集[C];2005年
8 黄瑾;郭东强;;基于Petri网的协同工作流描述方法及建模[A];信息经济学与电子商务:第十三届中国信息经济学会学术年会论文集[C];2008年
9 王波;曹耀钦;宋恒辛;;基于Petri网的工作流过程建模研究[A];中国电子学会第十六届信息论学术年会论文集[C];2009年
10 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
中国重要报纸全文数据库 前10条
1 胡长城;工作流:国内国际两极分化[N];计算机世界;2007年
2 ;地税行政管理办公平台解决方案[N];计算机世界;2006年
3 田志刚;KM企业要跨七道槛[N];中国计算机报;2004年
4 陈莉;CSCW相关理论与技术[N];中华建筑报;2008年
5 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
6 ;Soft Manager 软件开发管理系统[N];科技日报;2008年
7 蒋明炜、戴宝纯、吴英;工作流管理与ERP的应用[N];中国计算机报;2003年
8 ;贴近用户 注重功能 综合评价[N];中国计算机报;2007年
9 何进伟;还工作流管理一个说法[N];中国计算机报;2003年
10 陈友梅;工作流与EAI的博弈[N];中国计算机报;2004年
中国博士学位论文全文数据库 前10条
1 肖郑进;面向企业应用的工作流精简建模研究[D];浙江大学;2006年
2 李嘉菲;基于工作流的业务过程管理关键技术研究[D];吉林大学;2007年
3 闻立杰;基于工作流网的过程挖掘算法研究[D];清华大学;2007年
4 叶剑虹;Petri网若干关键技术的研究及其应用[D];电子科技大学;2009年
5 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
6 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
7 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
8 田珂;开放网络环境下工作流管理系统的技术研究[D];电子科技大学;2006年
9 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
10 张朝辉;面向企业的工作流管理技术[D];吉林大学;2005年
中国硕士学位论文全文数据库 前10条
1 张丽;基于Petri网的工作流技术在OA系统设计中的应用研究[D];吉林大学;2007年
2 曾艳林;基于Petri网的工作流过程建模的研究[D];大连海事大学;2007年
3 蒋鹏花;基于扩展Petri网的工作流模型技术的研究[D];燕山大学;2007年
4 孙建召;基于Petri网的工作流模型的研究与实现[D];中南大学;2007年
5 李展;基于Petri网的消防建审工作流系统的建模与实现[D];大连海事大学;2007年
6 徐建军;基于Petri网的动态工作流技术研究[D];国防科学技术大学;2004年
7 马柯;企业项目管理信息系统及工作流技术的研究[D];西安电子科技大学;2006年
8 张志波;工作流技术在油井设计审批系统中的应用研究[D];大连理工大学;2009年
9 袁珏;基于Petri网的工作流管理系统的研究以及在B2B网上交易体系中的应用[D];华东师范大学;2003年
10 彭钰;基于工作流的公文流转系统的研究与实现[D];武汉理工大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026