收藏本站
《江西师范大学》 2006年
收藏 | 手机打开
二维码
手机客户端打开本文

基于同步网的工作流模型验证技术研究

杨云毅  
【摘要】:工作流管理技术是近年来在计算机领域发展中最为迅速的若干项技术之一。目前,工作流技术进入了一个崭新的发展阶段,成为计算机应用领域的一个研究热点,研究方向主要包括工作流模型及定义语言、工作流分析方法、工作流管理系统体系结构等。 随着工作流管理系统应用规模的不断扩大、应用领域的不断拓展,如何定义正确的工作流模型,以及对已有业务过程模型进行分析优化,已经成为工作流及相关技术领域研究和探索的重点之一。论文在介绍青鸟过程元模型—JBDelta和同步网原理的基础上,对工作流建模及过程模型的正确性验证进行了相关的研究和实践。 论文首先介绍工作流技术的发展背景和研究意义,概述了论文的研究目标及硕士期间论文作者的主要科研工作。 其次,介绍工作流的基本概念,包括工作流、工作流管理系统、工作流模型、工作流模式、工作流定义语言的定义、分类及特点,并简述了工作流研究方向和目前国内外工作流模型验证方法现状。 然后,详细描述了改进的工作流过程元模型和定义语言,分析了青鸟组织机构规约、青鸟数据规约、青鸟功能规约,并在此基础上提出了青鸟工作流模型—JBDelta。JBDelta具有简单直观、易于理解等优点,并且它提供了丰富的过程建模元素,能够描述多种复杂的业务流程。 接着,介绍同步网的原理及相关知识。同步网是在Petri网的基础上发展而来的,其核心是同步器(Synchronizer)。在对已有模型分析方法进行研究分析的基础上,提出了一种基于同步网的图形化方法,以验证工作流模型的正确性。 最后,基于文献提出的化简规则,用PNML(Petri Net Markup Language)语言对其进行描述,并在青鸟工作流管理系统JBFlow中设计并实现了模型验证工具—JBVerifier。 实践证明,本文提及的工作流模型验证方法和工具能够对工作流模型的正确性进行分析与验证,从而有效地支持企业实施模型改进和过程重组(BPR Business Process Reengineering)。
【学位授予单位】:江西师范大学
【学位级别】:硕士
【学位授予年份】:2006
【分类号】:TP315

【相似文献】
中国期刊全文数据库 前10条
1 张杰;吕红;周立军;王丽娜;;基于虚拟执行的动态工作流演进算法[J];计算机工程;2011年15期
2 田钊;程曜安;刘英博;赵炯;张力;;工作流应用数据生命周期模型的提取方法[J];计算机集成制造系统;2011年08期
3 李海波;;面向工作流管理系统的多粒度构件组织技术[J];中国机械工程;2011年16期
4 康智迁;徐志琦;;基于PKI/PMI的工作流安全模型研究[J];电脑知识与技术;2011年14期
5 杨毅;杨新伦;;基于Petri网时间约束工作流的研究与应用[J];广西工学院学报;2011年02期
6 黄晖;;需求信息管理的Petri网工作流模型[J];现代计算机(专业版);2011年14期
7 张长江;李霄飞;陈泳;汪慰斌;;工作流技术在电信服务开通系统中的应用[J];计算机集成制造系统;2011年08期
8 金涛;闻立杰;王建民;;行为因果关系的分类与判定[J];系统仿真学报;2011年S1期
9 武凌;马季;;工作流管理系统中的数据流传输优化[J];计算机工程与科学;2011年07期
10 王亚琴;;基于Petri网的办公自动化系统研究[J];电脑与电信;2011年06期
中国重要会议论文全文数据库 前10条
1 黄慧;边馥苓;;基于层次建模法的柔性工作流管理系统研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
2 徐春香;黄雨;王捍贫;;工作流逻辑模型分析[A];2006年全国理论计算机科学学术年会论文集[C];2006年
3 夏远强;王冲;;信息化背景下基于工作流的政府危机管理模式研究[A];中国灾害防御协会风险分析专业委员会第二届年会论文集(二)[C];2006年
4 贺晓燕;刘小龙;辛公正;周斌;张燕;;螺旋桨设计集成系统平台开发[A];第四届全国船舶与海洋工程学术会议论文集[C];2009年
5 王冲;夏远强;;信息化背景下基于工作流的政府危机管理模式研究[A];现代工业工程与管理研讨会会议论文集[C];2006年
6 蒋宇;陈佳;崔淼;;连锁经营模式下工作流的应用[A];全国第十届企业信息化与工业工程学术年会论文集[C];2006年
7 谢一;张为群;;基于Petri网的并发冲突工作流建模及验证[A];2006年全国理论计算机科学学术年会论文集[C];2006年
8 霍金健;徐春香;屈婉玲;袁崇义;;SimNet——一种新型的工作流仿真模型[A];2006年全国理论计算机科学学术年会论文集[C];2006年
9 李伟平;薛劲松;朱云龙;;一种支持企业过程建模的工作流管理系统[A];2001年中国智能自动化会议论文集(下册)[C];2001年
10 吴小平;严隽薇;戴毅茹;;在工作流模型中增进Web Service支持[A];全国先进制造技术高层论坛暨制造业自动化、信息化技术研讨会论文集[C];2005年
中国重要报纸全文数据库 前10条
1 ;对移动同步网建设的探讨[N];人民邮电;2001年
2 ;探讨移动同步网的建设[N];人民邮电;2001年
3 文怡;中国网通集团南方出手骨干同步网[N];中国电子报;2002年
4 孙晓淀;同步网:中国移动的“新核心”[N];计算机世界;2003年
5 本报记者 胡君华 特约记者 张科进 刘逢安;异地同步网练三军[N];解放军报;2011年
6 记者 李清香;大唐电信中标上海电信同步网[N];证券时报;2004年
7 通讯员 程明 邱福荣 记者 王彦民;甘肃电力同步网工程研究填补国内空白[N];国家电网报;2007年
8 李凯;大唐电信再次中标上海电信同步网工程[N];通信产业报;2006年
9 ;大唐双星同步时钟设备中标联通[N];人民邮电;2001年
10 陈飞雪;全球最大的Mesh网络MetroFi[N];中国计算机报;2006年
中国博士学位论文全文数据库 前10条
1 史玉良;Web服务合成的若干关键技术研究[D];复旦大学;2006年
2 袁逸萍;制造网格工作流研究及实现[D];上海大学;2006年
3 李瑞欣;基于网络和状态监测的设备管理理论与方法研究[D];天津大学;2004年
4 闫哲;跨组织的工作流过程集成技术研究[D];北京大学;2007年
5 解放;并行工程中产品开发过程的工作流管理研究[D];南京航空航天大学;2002年
6 陈彦海;产品设计与工艺设计过程建模及其并行技术研究[D];哈尔滨工业大学;2006年
7 王斌;工作流模型若干问题的研究及其在广电运营系统中的实现[D];广东工业大学;2008年
8 吴江霞;Web组合服务QoS属性预测方法研究[D];北京邮电大学;2008年
9 靖常峰;GIS服务链模型研究及基于工作流技术的实现[D];浙江大学;2008年
10 程渤;服务网格工作流管理技术研究[D];电子科技大学;2006年
中国硕士学位论文全文数据库 前10条
1 杨云毅;基于同步网的工作流模型验证技术研究[D];江西师范大学;2006年
2 潘红恩;现代集成制造中基于任务驱动的工作流管理模型研究[D];南京理工大学;2003年
3 夏晓东;基于Web和CORBA的工作流系统的研究[D];华北电力大学(河北);2004年
4 彭刚;ESSP工作流模型及其应用研究[D];华中科技大学;2005年
5 杨叶勇;基于四色Petri网的物流系统建模[D];江南大学;2005年
6 卢珊;工作流技术在电力调度两票系统中的研究与应用[D];华北电力大学(河北);2007年
7 杨子江;工作流技术及其在高校办公自动化系统的应用研究[D];重庆大学;2007年
8 战世格;基于工作流技术的应急救援指挥系统的研究[D];北京交通大学;2008年
9 李勇;继电保护定值管理系统的设计与开发[D];华北电力大学(河北);2008年
10 郭李华;工作流模型的CSP语义描述与分析研究[D];华东师范大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026