收藏本站
《山东大学》 2005年
收藏 | 手机打开
二维码
手机客户端打开本文

面向虚拟企业的工作流建模与正确性验证

于庚  
【摘要】:虚拟企业是建立在现代科学技术水平基础之上的新型竞争性组织,能对激烈的市场竞争做出及时响应,是一种新的企业发展组织形式。从生产经营角度出发,制造企业可视为由多个相互关联的不同层次流程组成的活动流程。使用工作流技术可以对企业的生产经营活动进行有效管理。 工作流技术是当前IT领域的一个研究热点。工作流模型是业务过程的计算机化形式表示,工作流管理建立阶段的功能主要是完成过程建模的任务。对于工作流模型的正确性研究亦是一个重要且须得到很好解决的问题。 本文即论述了将工作流技术应用到虚拟企业的方法及其正确性验证问题。文章首先综述了虚拟企业与工作流管理系统的概念及发展历程,着重介绍了当前工作流模型及其验证方法。然后介绍了Petri网与工作流网(WF-net)的概念及性质。基于Petri网进行的建模与分析,具有严格的过程形式化体系,避免了模糊性、不确定性和矛盾性。工作流网是Petri网的分析方法在工作流系统中的应用。在此基础上,荷兰学者Wil van der Aalst提出了跨组织工作流模型。对于虚拟企业,跨组织工作流具有良好的适应性与必要性。接下来,本文对跨组织工作流进行着色扩充,通过给Petri网中的标记赋值,就好比给它们涂上了不同的颜色,从而使对象特性与对应标记紧密结合,更加真实地反映虚拟企业内各成员间的交互与协作。工作流模型正确性验证是工作流研究领域的一个重要问题,工作流管理系统可能建立错误的模型,导致工作流的执行出现异常。以Aalst的方法为基础,本文最后着重对经过着色扩展的跨组织工作流网进行正确性的验证。 将工作流技术应用到虚拟企业具有广泛意义,它可以实现后者的业务过程自
【学位授予单位】:山东大学
【学位级别】:硕士
【学位授予年份】:2005
【分类号】:TP311.52

手机知网App
【引证文献】
中国期刊全文数据库 前1条
1 王威;张莉莉;;基于工作流网的打假工作流模型设计与验证[J];农业网络信息;2011年03期
中国硕士学位论文全文数据库 前3条
1 吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年
2 王威;基于工作流的企业销售审批管理系统研究[D];北京林业大学;2011年
3 孙艳萍;基于BizTalk Server的动态联盟工作流管理系统研究[D];武汉理工大学;2006年
【参考文献】
中国期刊全文数据库 前4条
1 房平,费树岷;虚拟企业的目标管理模式探讨[J];东南大学学报(哲学社会科学版);2003年03期
2 杨昌辉,梁昌勇;虚拟企业的构建与协调[J];合肥工业大学学报(自然科学版);2003年S1期
3 杨东;王英林;张申生;傅谦;;工作流过程建模方法及模型的形式化验证[J];计算机科学;2003年09期
4 张艳,史美林;工作流技术在虚拟企业信息处理中的应用[J];清华大学学报(自然科学版);2001年07期
【共引文献】
中国期刊全文数据库 前10条
1 苏子林,赵轩臣;电力企业工作流管理系统的设计与实现[J];电脑开发与应用;2004年12期
2 陈晓洁;王雯娟;;基于多代理的虚拟企业工作流思想与建设方案[J];电脑知识与技术;2012年20期
3 杨丽;;基于petri网的土建工程工作流建模[J];湘南学院学报;2013年05期
4 李芳,乞建勋,牛东晓,苑秀娥;虚拟物流企业技术框架体系的构建[J];华北电力大学学报;2004年03期
5 张艳,史美林,苗春雨;虚拟团队:一个典型的CSCW应用系统[J];计算机工程与应用;2001年17期
6 肖延松,孟波,熊德林,杨子晨;基于工作流技术的政务网信息交换平台[J];计算机工程;2002年11期
7 陈宇翔;;供应链管理建模方法初探[J];科技信息;2010年21期
8 邹树梁,陈甲华,刘兵;面向复杂产品系统的虚拟企业建模研究——以核电站项目为例[J];南华大学学报(社会科学版);2005年01期
9 李德治;姜莉莉;邓建胜;周鑫;;基于UML与多色集合的变更流程优化[J];机电工程技术;2012年07期
10 孙雨生;基于工作流技术的数字图书馆互操作问题研究[J];情报理论与实践;2005年03期
中国博士学位论文全文数据库 前6条
1 何满辉;基于网络集市的虚拟企业模式研究[D];辽宁工程技术大学;2010年
2 曾小青;基于多智能体的虚拟企业协同生产规划研究[D];中南大学;2003年
3 周丹晨;面向网络化制造的资源共享服务平台构建原理与实施技术研究[D];四川大学;2004年
4 杨超;虚拟企业信息化若干关键技术研究[D];东华大学;2005年
5 魏从刚;网络化协同制造项目进度管理技术研究[D];西北工业大学;2006年
6 乔爽;移动商务业务流程的分析与建模方法研究[D];大连理工大学;2009年
中国硕士学位论文全文数据库 前10条
1 李鹏;支持智能决策的虚拟企业系统设计与分析[D];山东科技大学;2010年
2 荆超;柔性工作流过程模型的研究[D];长春工业大学;2010年
3 吴文丰;柔性工作流引擎的设计与研究[D];湖北工业大学;2011年
4 王威;基于工作流的企业销售审批管理系统研究[D];北京林业大学;2011年
5 李静静;基于活动网络图工作流引擎的研究与实现[D];电子科技大学;2011年
6 胡程远;基于JBPM的服务流程实现与工作流模型转换技术[D];哈尔滨工业大学;2010年
7 钱洪国;虚拟企业工作流建模技术研究[D];西南农业大学;2003年
8 魏从刚;面向虚拟企业的项目管理系统的研究及应用[D];西北工业大学;2003年
9 李俊亭;工作流建模的可视化工具研究与实现[D];西北工业大学;2003年
10 尹晓燕;工作流管理技术研究及在办公自动化系统中的应用[D];哈尔滨工程大学;2003年
【同被引文献】
中国期刊全文数据库 前10条
1 李振英;卢华明;戴丽萍;;管理信息系统与工作流管理系统的结合[J];北京机械工业学院学报;2006年03期
2 陈翔,夏国平,李涛;基于Petri网的工作流模型合理性研究[J];北京理工大学学报;2004年12期
3 牛军钰,赵大哲,赵宏;一个基于WWW的工作流管理系统[J];东北大学学报;2000年01期
4 黄东;胡文娟;;工作流管理技术现状及发展趋势研究[J];电脑知识与技术;2009年25期
5 金丹;代伟;王学辉;;基于agent跨组织工作流系统模型的研究[J];电子商务;2007年06期
6 刘丁;王斌;;安全工作流管理系统研究综述[J];电子科技;2007年02期
7 沈磊,李光锐;面向动态联盟的业务流程再造[J];重庆大学学报(自然科学版);2004年03期
8 刘君;黄樱;陈敏;;基于Petri网的项目审批建模分析[J];福建电脑;2008年08期
9 张祖红,王茜,周小平,于玮萍;基于分布式工作流平台的ERP系统的研究与开发[J];工业控制计算机;2005年02期
10 徐人凤,聂哲;用BizTalk Server2000构建B2B电子商务应用[J];信息技术;2004年05期
中国博士学位论文全文数据库 前1条
1 张锋铭;虚拟企业工作流研究及基于多代理和Web服务的原型系统实现[D];西北工业大学;2002年
中国硕士学位论文全文数据库 前10条
1 段晓鹏;商业企业业务流程评价体系的研究和构建[D];重庆大学;2002年
2 倪小平;支持动态联盟的工作流管理系统技术研究[D];武汉理工大学;2003年
3 邹冰;基于XML的动态联盟工作流建模研究[D];中国科学院研究生院(软件研究所);2002年
4 俞镇;基于服务的工作流管理[D];浙江大学;2004年
5 曾浩;支持虚拟企业基于事件的协同工作流管理系统研究[D];浙江大学;2004年
6 孙琰;工作流技术研究及其在企业应用集成中的应用[D];西安电子科技大学;2004年
7 任少军;工作流技术在企业经营中的应用[D];西安建筑科技大学;2004年
8 王兴鹏;工作流管理系统与ERP系统的集成应用研究[D];首都经济贸易大学;2004年
9 徐超;基于Petri网的工作流技术研究与应用[D];大连理工大学;2004年
10 齐进;基于Microsoft.Net框架的工作流管理系统[D];吉林大学;2004年
【二级参考文献】
中国期刊全文数据库 前9条
1 石春生,李锦胜,宋志强,方淑芬;虚拟企业组织管理的几个基本问题[J];航空制造技术;2001年03期
2 冯蔚东,陈剑,赵纯均;虚拟企业中的风险管理与控制研究[J];管理科学学报;2001年03期
3 解树江;虚拟企业的性质及组织机制[J];经济理论与经济管理;2001年05期
4 史美林,杨光信,向勇,伍尚广;WfMS:工作流管理系统[J];计算机学报;1999年03期
5 毛宁,陈庆新,陈新;支持虚拟企业建立的项目优化调度算法[J];自动化学报;2001年03期
6 张蕾,任守榘;基于供应链的虚拟企业决策支持系统的自组织建模[J];清华大学学报(自然科学版);1999年07期
7 闫如忠,陈云,郭丽娟,方明伦;一种虚拟企业业务过程集成化建模方法研究[J];上海大学学报(自然科学版);2001年04期
8 史美林,张艳;虚拟企业——21世纪的企业模式[J];通信学报;1999年09期
9 李业丽,常桂然,潘德惠;基于工作流的虚拟企业信息管理模型[J];信息与控制;2001年03期
【相似文献】
中国期刊全文数据库 前10条
1 熊劲磊;;图形化工作流过程定义工具的设计[J];电脑知识与技术;2005年35期
2 孙明;张世栋;洪晓光;;支持工作流的DBMS模型[J];计算机科学;2005年04期
3 刘春国;;基于工作流的配电管理信息系统设计[J];计算机工程;2008年16期
4 谷彩连;;基于工作流的电力营销管理信息系统的研究[J];电脑开发与应用;2009年11期
5 孙佳伟;;网格工作流访问控制研究[J];电脑知识与技术;2009年29期
6 杨海军;;地铁工程测量管理系统中工作流的研究与设计[J];河北北方学院学报(自然科学版);2009年05期
7 孙佳伟;;网格环境中的工作流访问控制模型研究[J];福建电脑;2010年02期
8 古平;朱庆生;曾一;付鹤岗;;面向过程的软件工程课程质量辅助评价与控制研究[J];计算机教育;2010年24期
9 帅仕麟;对"XML-to-SQL"基本通用化转换法的探讨及实现[J];电脑编程技巧与维护;2005年05期
10 Mossa Ghurab,欧阳松,杨科学;文件处理中的工作流管理系统[J];企业技术开发;2005年08期
中国重要会议论文全文数据库 前10条
1 刘红岩;何军;;工作流:计算机支持的协同工作处理[A];第十五届全国数据库学术会议论文集[C];1998年
2 李晖;王海洋;王文;;面向事务的工作流活动模型[A];第十七届全国数据库学术会议论文集(技术报告篇)[C];2000年
3 李书生;闻立杰;王建民;吕少熊;;基于代理的工作流邦联及子流调用框架[A];第26届中国数据库学术会议论文集(B辑)[C];2009年
4 赵韩;高先圣;;基于工作流的数据访问控制技术[A];2004“安徽制造业发展”博士科技论坛论文集[C];2004年
5 连杰鑫;刘家茂;顾宁;;基于协作依赖的工作流过程优化[A];第二十届全国数据库学术会议论文集(研究报告篇)[C];2003年
6 段紫辉;唐世渭;杨冬青;李红燕;;基于状态与规则集的工作流执行模型[A];第十九届全国数据库学术会议论文集(研究报告篇)[C];2002年
7 吴宇进;刘家茂;李炜;顾宁;;支持输入反馈和健壮性增强的网格工作流自动生成方法[A];第二十一届中国数据库学术会议论文集(研究报告篇)[C];2004年
8 徐洸;杨伟锋;唐桂芬;;基于工作流的抢险救灾空中力量辅助决策系统设计与实现[A];第十三届中国管理科学学术年会论文集[C];2011年
9 周建涛;叶新铭;李平;;网格环境中基于SOA的工作流系统架构研究[A];第二十四届中国数据库学术会议论文集(技术报告篇)[C];2007年
10 靳绍聪;王建民;闻立杰;曹大海;;一种基于推荐系统的工作流资源分配机制[A];第二十三届中国数据库学术会议论文集(技术报告篇)[C];2006年
中国重要报纸全文数据库 前10条
1 中国石油勘探开发研究院西北分院 柏东明 曾丽花 郭以东;定制企业工作流服务[N];计算机世界;2011年
2 李蓉 本报记者  吕松华;天元携神州数码ERP谱写绿色篇章[N];大众科技报;2006年
3 刘学;重庆移动缩短客户投诉处理时间[N];人民邮电;2006年
4 高级架构师 杨洪波;SOA和BPM结合的三种方法[N];中国计算机报;2007年
5 邹洪强;应用系统的另类整合[N];计算机世界;2005年
6 孟文;升级管理 升级视野[N];国际商报;2008年
7 中国建设银行湖北分行信息技术部李涛、娄国伟、曾钦祥、吴安平、童海涛;实现多任务域工作流[N];计算机世界;2004年
8 华通;多功能的复合应用管家[N];中国计算机报;2007年
9 青岛市委市政府计算机中心 戴雪冰;保障政府审批透明化[N];计算机世界;2007年
10 工作流资深专家 刘航;中国企业迈向流程公司的十个路标[N];中国计算机报;2007年
中国博士学位论文全文数据库 前10条
1 高磊;P2P工作流系统中的资源搜索及负载均衡优化研究[D];山东大学;2010年
2 朱锦泉;可适应工作流模型及其实现机制研究[D];吉林大学;2005年
3 於光灿;协作环境中访问控制模型研究[D];华中科技大学;2008年
4 李向宁;业务过程管理理论与若干关键技术研究[D];西北大学;2007年
5 硕良勋;基于网格的地球物理计算流系统研究[D];中国地质大学(北京);2008年
6 马增治;汽车制造供应链系统建模及性能分析[D];吉林大学;2008年
7 杨涛;基于本体的农业领域知识服务若干关键技术研究[D];复旦大学;2011年
8 卢亚辉;工作流系统的访问控制模型及其安全性分析的研究[D];清华大学;2008年
9 汪文元;基于工作流的兵力调度技术研究[D];国防科学技术大学;2005年
10 柯飞帆;面向分布应用的工作流管理系统研究与实现[D];南京航空航天大学;2006年
中国硕士学位论文全文数据库 前10条
1 张宏;PDM环境下的动态工作流管理技术的研究[D];华中科技大学;2004年
2 程刚;基于XPDL的工作流建模研究与实现[D];大连理工大学;2006年
3 薛峰;软件配置管理中变更管理技术的研究[D];大连海事大学;2006年
4 刘鑫;基于XML数据库的工作流系统的研究与设计[D];西北工业大学;2006年
5 尤卫军;Ego平台与Quartz系统集成[D];吉林大学;2008年
6 杨琦;基于工作流的教务管理系统的研究与应用[D];合肥工业大学;2008年
7 赵洁;支持动态进化的工作流系统的设计[D];山东大学;2005年
8 金铭月;基于SOAP的分布式工作流管理系统研究[D];哈尔滨理工大学;2005年
9 杨钊;CSCW与工作流系统的结合应用研究[D];天津大学;2005年
10 李振华;基于工作流理论的企业级数据挖掘系统设计[D];吉林大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026