收藏本站
《计算机科学》 2003年09期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

工作流过程建模方法及模型的形式化验证

杨东  王英林  张申生  傅谦  
【摘要】:正 0 引言工作流技术最初起源于办公自动化和企业生产中的过程概念。包括办公室内的文档路由和生产中活动的路由。目前,还没有统一认可的工作流定义。工作流管理联盟(WfMC,Workflow Management Coalition)给工作流的定义是“商务过程的全部、部分自动化或计算机化”。一个完整的工作流系统,也称工作流管理系统,应包括两部分:(1)过程建模部分(工作流建模)。(2)工作流引擎部分,为模型的运作提供环境。其中,工作流建模部分在工作流技术中占有重要的部分。工作流模型的精确定义与否影响着工作流引擎的性能,从而决定着企业的关键商务过程的运行效率,也决定了企业的商务目标的成功与否。一个良好的工作流建模既要为普通用户所掌握,还要能为计算机所解释。目前主要的工作流建模方法有:

手机知网App
【引证文献】
中国期刊全文数据库 前2条
1 苏子林,赵轩臣;电力企业工作流管理系统的设计与实现[J];电脑开发与应用;2004年12期
2 谢子松,武友新,牛德雄,江恭和,张烨;基于UML的工作流建模的研究与应用[J];计算机系统应用;2005年02期
中国硕士学位论文全文数据库 前9条
1 瞿炜杰;钱塘应用服务器服务流平台的设计与实现[D];浙江大学;2006年
2 张泰;基于工作流的政府公文系统的设计与实现[D];东南大学;2006年
3 于庚;面向虚拟企业的工作流建模与正确性验证[D];山东大学;2005年
4 汪洋;基于工作流的纳税评估建模研究和系统实现[D];中南大学;2006年
5 李昌;基于Web Services的工作流系统的研究[D];华北电力大学(河北);2007年
6 赵林;STEP-TASK工作流模型及其应用平台关键技术的研究[D];山东大学;2007年
7 夏晓东;基于Web和CORBA的工作流系统的研究[D];华北电力大学(河北);2004年
8 孔令东;基于面向对象的工作流网在水利枢纽CIMS中的应用研究[D];河海大学;2004年
9 王晓辉;支持动态变化的工作流模型的研究[D];华北电力大学(河北);2005年
【共引文献】
中国期刊全文数据库 前10条
1 陈洪娜;祖旭;周峰;;工作流技术研究发展状况、研究内容及趋势[J];重庆工学院学报;2006年02期
2 徐洪学;郭秀英;刘永贤;;基于RBAC的具有时空约束的工作流授权模型[J];东北大学学报(自然科学版);2006年02期
3 刘卫东,宋佳兴,林闯;基于价格时间Petri网的网格计算应用模型及分析[J];电子学报;2005年08期
4 禹涌,潘文俊,彭艾霞,韩永生,徐士芳;勘察设计行业实施项目管理信息系统关键技术分析[J];工程建设与设计;2001年04期
5 王寿欣,蔺楠,覃正;面向业务流程重组的过程分析与建模方法研究[J];管理工程学报;2001年04期
6 蔡爱杰;基于工作流的MIS开发工具:WF-MIS[J];哈尔滨师范大学自然科学学报;2004年02期
7 洪帆,李静;多级安全工作流授权模型[J];华中科技大学学报(自然科学版);2002年01期
8 窦万春 ,苏丰 ,蔡士杰 ,张福炎;面向知识应用和交互的工作流系统建模与控制[J];计算机研究与发展;2003年02期
9 邢光林;洪帆;;基于角色和任务的工作流授权模型及约束描述[J];计算机研究与发展;2005年11期
10 李嘉菲;刘大有;于万钧;;一种能发现重复任务的过程挖掘算法[J];吉林大学学报(工学版);2007年01期
中国重要会议论文全文数据库 前6条
1 Alain Bazan;Florida Estrella;Zsolt Kovacs;Paul Lecoq;Jean-Marie Le Goff;Richard McClatchey;Steve Murray;Tony Solomonides;Jean-Pierre Vialle;;Integrated Data Management and Enterprise Models[A];Proceedings of the First International Conference on Web-Age Information Management[C];2000年
2 Yongsun Choi;;Hierarchical Structuring of a Workflow Model in Petri-Net[A];第四届电子商务国际会议论文集(Ⅰ)[C];2004年
3 Yongsun Choi;;A Two Phase Verification Algorithm for Cyclic Workflow Graphs[A];第四届电子商务国际会议论文集(Ⅰ)[C];2004年
4 Jiawei Lee;Jungsing Jwo;;Apply MDA to E-Business:MDA Based Workflow Solution as an Example[A];第四届电子商务国际会议论文集(Ⅰ)[C];2004年
5 Xia Manmin, Li HuaichengDepartment of Computer, Beijing University of Posts and Telecommunications 100876 Beijing, P. R. China;Cooperative Software Agents for Workflow Management System[A];Proceedings of the Fifth Asia-Pacific Conference on Communications and Fourth Optoelectronics and Communications Conference[C];1999年
6 柏林;肖宇琰;陈泽晖;陈竞先;应明幼;;企业数据质量门户:信息参考库方法[A];第十二届工业工程和工程管理国际会议论文集(二)[C];2005年
中国博士学位论文全文数据库 前10条
1 哈进兵;基于Web的协同产品开发体系结构及信息安全技术研究[D];南京理工大学;2002年
2 舒斌;中小型制造企业信息化协同产品开发原理与实施方法[D];四川大学;2002年
3 张锋铭;虚拟企业工作流研究及基于多代理和Web服务的原型系统实现[D];西北工业大学;2002年
4 者敬;开放式异构数据库复制框架的研究与实现[D];中国科学院研究生院(软件研究所);2002年
5 叶志宝;支持企业业务过程持续改善的应用系统开发方法[D];中国科学院研究生院(软件研究所);2002年
6 蒋玉明;面向供应链管理的ERP模型与实施技术及其在电气设备制造行业动态联盟中的应用[D];四川大学;2001年
7 吉卫喜;面向业务流程重组的生产管理系统快速重构及其关键技术研究[D];南京航空航天大学;2002年
8 李伟刚;复杂产品协同开发支撑环境的关键技术研究[D];西北工业大学;2003年
9 陈石灵;协同开发环境中工作流管理理论与技术研究[D];南京理工大学;2002年
10 董颖;知识服务机制研究[D];中国科学院研究生院(软件研究所);2003年
中国硕士学位论文全文数据库 前10条
1 胡英;支持协同定义的可视化工作流过程定义工具的设计与实现[D];西北大学;2000年
2 杨叶;一种基于虚拟组织工作流的ITO管理辅助模型[D];中国科学院软件研究所;2001年
3 柳青;一种分布式工作流系统的建模方法:DWfS-UMLOPN[D];华中师范大学;2001年
4 冀素琴;基于工作流技术的办公自动化研究[D];西北大学;2001年
5 赵璇;基于分布式工作流的OA系统[D];浙江大学;2002年
6 赖耀东;基于多Agent虚拟组织工作流管理系统的异常处理机制[D];浙江大学;2002年
7 苏锐丹;工作流技术在IDE(集成数据环境)中的应用[D];西安电子科技大学;2002年
8 孔刚;产品配置与过程管理中若干关键技术的研究与实现[D];浙江大学;2002年
9 范永全;基于关系模型的工作流管理系统的设计与实现[D];成都理工大学;2002年
10 罗玉军;基于工作流技术和GIS的图文一体化信息系统的研究[D];成都理工大学;2002年
【同被引文献】
中国期刊全文数据库 前10条
1 王晖,刘卫东,杨胜春;基于PETRI网的工作流模型分析与应用[J];计算机工程与应用;2003年06期
2 陈勇,王茜,卢菁;动态柔性工作流平台的设计及实现[J];计算机工程与应用;2003年13期
3 王玮,徐丽杰,王林;基于扩展P/T-系统的工作流模型及执行算法研究[J];计算机集成制造系统-CIMS;2003年08期
4 杜栓柱,谭建荣,张树有;支持DFMC的柔性工作流模型研究[J];计算机集成制造系统-CIMS;2003年09期
5 李洪霞,王晓琳,曾广周;迁移工作流系统中的自适应信任模型[J];计算机应用;2003年11期
6 王茜,沈潞;过程建模的Petri网模型[J];计算机应用与软件;2001年09期
7 李慧芳,范玉顺;基于时间Petri网的工作流模型分析(英文)[J];软件学报;2004年01期
8 余鹏,周国富,屈婉玲,袁崇义;基于Petri网的工作流模式——工作流模式分析研究[J];系统仿真学报;2003年S1期
9 赵博,刘晓冰;CIMS 环境下的企业经营过程重构研究[J];工业工程;1998年03期
10 胡锦敏,张申生;支持企业动态联盟的敏捷工作流系统[J];计算机研究与发展;1999年12期
中国博士学位论文全文数据库 前3条
1 于万钧;工作流管理技术研究[D];吉林大学;2004年
2 李良;供应链成员关系若干问题研究[D];西南交通大学;2004年
3 翟华明;企业信息化和谐发展研究[D];哈尔滨工程大学;2006年
中国硕士学位论文全文数据库 前9条
1 金岳平;基于本体论的服务组合:Dartflow的设计和实现[D];浙江大学;2005年
2 李为存;面向服务设计的Web服务组合系统中调度执行机制的研究与实现[D];东北大学;2005年
3 谢苑红;面向服务设计的Web服务组合系统中图形化建模工具的研究与实现[D];东北大学;2005年
4 顾丽丽;海洋大气卫星遥感数据管理与共享中的若干问题探讨[D];中国海洋大学;2006年
5 李一江;基于.Net的工作流引擎的设计与实现[D];华中科技大学;2004年
6 李明姣;基于开源工作流Shark的代码分析[D];西安电子科技大学;2005年
7 曹大海;基于着色Petri网的图形化工作流建模工具的设计与实现[D];清华大学;2005年
8 许加兴;基于J2EE的分布式工作流管理系统的研究与设计[D];西南交通大学;2006年
9 范银琛;基于工作流的文档管理系统的研究[D];浙江工业大学;2007年
【二级引证文献】
中国博士学位论文全文数据库 前2条
1 肖素梅;中小型制造企业物流管理ASP平台模式与实施技术研究[D];四川大学;2006年
2 邓水光;Web服务自动组合与形式化验证的研究[D];浙江大学;2007年
中国硕士学位论文全文数据库 前10条
1 李武;基于ASP(应用服务提供商)模式的智能CRM系统研究[D];天津大学;2005年
2 孙艳萍;基于BizTalk Server的动态联盟工作流管理系统研究[D];武汉理工大学;2006年
3 张艳平;基于工作流的网络化销售管理系统的研究[D];西南交通大学;2006年
4 彭亮;基于UML和System C的iSCSI协议分析和iSCSI HBA系统设计[D];电子科技大学;2006年
5 陈宏广;一种基于多元模型的支持多建模语言的工作流管理系统[D];郑州大学;2006年
6 陶坤旺;工作流技术在政府地理信息系统中的应用研究[D];中国测绘科学研究院;2006年
7 张琪;基于Petri网的工作流管理系统组件的设计与开发[D];东南大学;2006年
8 陈金水;基于CMM的工作流管理系统的研究与实现[D];西北工业大学;2007年
9 李晓蕾;基于工作流的机车检修管理及监控系统[D];清华大学;2006年
10 张宏威;基于UML的web办公系统的分析、设计与实现[D];华东师范大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 刘军;汤晓安;干哲;李晓慧;;基于活动网络图的工作流模型研究[J];微计算机信息;2009年09期
2 徐小刚;;工作流管理系统及其管理接口技术研究[J];无线电工程;2010年06期
3 刘怡;张子刚;张戡;;工作流模型研究述评[J];计算机工程与设计;2007年02期
4 刘伟;朱一凡;魏洪涛;;工作流技术在办公自动化中的应用[J];计算机工程与设计;2006年07期
5 张春海;刘斌;;基于构件的动态工作流建模方法研究[J];计算机工程与设计;2006年17期
6 管昌生;蔡瑾;;基于角色的动态工作流技术的研究[J];计算机与数字工程;2009年01期
7 李东波,窦万春,许晓兰;基于产品多模型协同机制的工作流管理系统研究[J];系统工程理论与实践;2002年02期
8 何伟;王海洋;;一种支持动态群组的工作流建模方法[J];计算机科学;2008年03期
9 张朝辉;刘大有;;一种改进的面向ERP的工作流管理系统[J];计算机应用研究;2008年04期
10 陈谊;新吉乐;孙悦红;李海生;;基于AOV网的抽象工作流模型[J];计算机工程;2011年09期
中国重要会议论文全文数据库 前10条
1 李伟平;薛劲松;朱云龙;;一种支持企业过程建模的工作流管理系统[A];2001年中国智能自动化会议论文集(下册)[C];2001年
2 叶寿生;汪涛;郭永林;;LTFP intelliFlow~工作流管理系统[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
3 温海英;孙波;;基于Petri网的自适应工作流模型的研究[A];图像图形技术与应用进展——第三届图像图形技术与应用学术会议论文集[C];2008年
4 夏满民;李怀诚;;基于Agent的工作流管理系统设计及实现[A];第十六届全国数据库学术会议论文集[C];1999年
5 马舒扬;刘丽;;基于SBA的工作流管理系统开发研究[A];'2008系统仿真技术及其应用学术会议论文集[C];2008年
6 徐庆;袁兆山;潘秋菱;;基于XML的工作流过程定义语言模型XMWPDL[A];安徽省电机工程学会优秀学术论文集(2002-2003)[C];2005年
7 周英飚;冯玉才;;数据库支持的工作流管理系统[A];第十五届全国数据库学术会议论文集[C];1998年
8 黄慧;边馥苓;;基于层次建模法的柔性工作流管理系统研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
9 崔永圣;张立群;高松;;基于Web的工作流管理系统的设计与实现[A];第二十届全国数据库学术会议论文集(技术报告篇)[C];2003年
10 徐春香;黄雨;王捍贫;;工作流逻辑模型分析[A];2006年全国理论计算机科学学术年会论文集[C];2006年
中国重要报纸全文数据库 前10条
1 蒋明炜、戴宝纯、吴英;工作流管理与ERP的应用[N];中国计算机报;2003年
2 曹海强;提速企业流程[N];中国计算机报;2003年
3 庄志澄;成功实施工作流管理系统[N];中国计算机报;2003年
4 中国软件评测中心 于春玲;企业业务流程管理系统的新亮点[N];中国计算机报;2004年
5 ;驱动流程 提升价值[N];中国计算机报;2004年
6 陈友梅;工作流与EAI的博弈[N];中国计算机报;2004年
7 ;应用SunFlow:全面优化银行呼叫中心[N];中国计算机报;2004年
8 王昕 熊光楞 王计斌;并行工程过程管理[N];计算机世界;2001年
9 何进伟;还工作流管理一个说法[N];中国计算机报;2003年
10 朱静芬;新一代ERP的特点[N];财会信报;2007年
中国博士学位论文全文数据库 前10条
1 王斌;工作流模型若干问题的研究及其在广电运营系统中的实现[D];广东工业大学;2008年
2 杜栓柱;分布式协同工作环境中时间工作流建模技术研究[D];浙江大学;2004年
3 田珂;开放网络环境下工作流管理系统的技术研究[D];电子科技大学;2006年
4 陆剑江;支持工作流系统动态变化的柔性及适应性技术研究[D];苏州大学;2004年
5 袁逸萍;制造网格工作流研究及实现[D];上海大学;2006年
6 靖常峰;GIS服务链模型研究及基于工作流技术的实现[D];浙江大学;2008年
7 程渤;服务网格工作流管理技术研究[D];电子科技大学;2006年
8 王生发;网络化制造中知识流的控制技术研究及应用[D];浙江大学;2007年
9 李海波;支持业务过程重构的工作流技术[D];哈尔滨工业大学;2008年
10 董云卫;工作流管理系统的事务建模研究[D];西北大学;2004年
中国硕士学位论文全文数据库 前10条
1 王婧;基于移动Agent的工作流管理系统的研究[D];大连理工大学;2009年
2 夏冬;基于J2EE的工作流引擎研究和实现[D];湖南大学;2005年
3 卢珊;工作流技术在电力调度两票系统中的研究与应用[D];华北电力大学(河北);2007年
4 张智;动态工作流技术及其在大学资源计划(URP)中的应用[D];重庆大学;2006年
5 张霞;基于角色的动态工作流技术的应用研究[D];苏州大学;2007年
6 陈国庆;基于工作流的科研管理系统的研究[D];大庆石油学院;2007年
7 沈凡;电信行业工作流动态修改的研究与实现[D];湖南大学;2005年
8 陈志涛;基于Petri网的工作流建模及其工具的研究与实现[D];华南师范大学;2005年
9 田智;基于有色Petri网的工作流建模及向XPDL的转换[D];内蒙古大学;2007年
10 郑丹;基于XML的工作流的研究和实现[D];北京交通大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026