收藏本站
《上海交通大学》 2006年
收藏 | 手机打开
二维码
手机客户端打开本文

基于形式化模式分析的工作流执行网

吴立峰  
【摘要】: 工作流引擎的设计和构造是工作流应用开发领域的核心问题。工作流引擎首先必须是一个工作流运算系统,才可能成为工作流服务的提供者,而“工作流运算模型”则是实现这种运算能力的基础。 工作流运算模型是一种不同于工作流定义模型的专用模型,必须具备形式化的语义、确定的运算行为和完整的表达能力。但是纵观现有的工作流建模方法,不论是在学术界占主导地位的Petri-Net及其衍生方法,还是工业界流行的各种典型工作流建模方法(EPC、XPDL、BPEL、JPDL),都不能完全满足工作流运算的要求。 本文的总体思路是围绕“构建一种语义精确、计算行为确定、表达能力完整的工作流运算模型”的研究目标,在对工作流模式的形式化分析基础上,通过对Petri-Net的语义、元素、行为、结构进行扩展,构造一种新的工作流运算模型——WE-Net(工作流执行网,Workflow Execution Net)。本文的研究内容主要包括以下三个方面: 1.构建了一个以“规则运算”和“事件交互”为特征的工作流基本概念体系该体系完整地涵盖了概念、实例、组件、行为等关键方面,并具有内在的一致性,为后续的研究提供了统一的概念模型和基本假设。 2.完成了对“过程流转模式”与“任务执行模式”的形式化分析及定义这些分析和定义使现有的“以直观为特征的、经验式的工作流模式集合”被抽象提升为“统一的、形式化的工作流模式体系”,是对当前的工作流模式理论的进一步发展。过程流转模式的研究对象是多个任务之间的衔接关系和单个任务的实例化规律。本文对“分支”、“汇聚”、“多实例”这三种基本模式进行了原理性的分析并给出了形式化的定义。提出用控制矩阵的方式来描述“分支”的本质特征;指出了“汇聚”模式复杂性的根源在于汇聚前提在逻辑上的多态性、以及在时序上的随机性和过裕可能性,汇聚运算的本质是对“可到达的随机汇聚事件时序”的处理;对于“多实例”模式则从业务目标和实例产生方式这两个角度剖析了多实例的本质。 任务执行模式的研究对象是在任务执行过程当中工作流引擎与资源之间的交互行为。本文从交互的观点出发,提出了工作流引擎与资源之间“以任务为中心的交互”模型,将任务执行问题解耦为两个相对独立的子领域:任务分配问题、和任务执行状态变迁问题,避免了现有工作流资源模式研究在问题空间划分上的含混。然后,通过分层的工作项状态模型,以一种可扩展的方式实现了对任务执行状态变迁问题的建模。最后,对工作流任务分配问题进行了结构化的分解和剖析,标识了15种模式,归纳为三个类别:分配过程控制模式、候选资源定义模式、最终分配策略模式。并在这些模式基础上,对工作流任务分配规则给出了形式化的定义。 3.构造了一种新的工作流运算模型WE-Net 通过对Petri-Net的扩展和模式的运用,在运算原理层面彻底地描述和实现了复杂的汇聚模式、多实例模式、工作流实例的运行控制、工作流任务分配、以及过程嵌套。从而达到了“使WE-Net具备精确的语义、确定的计算行为和完整的表达能力”的研究目标。WE-Net对Petri-Net的扩展主要涉及到三个层次:首先是通过对基本元素的语义转换(Condition、Action、Edge)派生和约束,构造语义精确的、响应式的工作流运算模型;其次是通过定义Action激发算法和动态推算Condition可到达性算法,来支持复杂的汇聚模式;最后是通过子网扩展,建立与工作流运行时对象(过程实例、任务实例、工作项)的完整概念映射,从而在运算原理的层面彻底地描述和实现了过程嵌套、多实例、工作流实例的运行状态控制、工作流任务分配等四类模式。 本文最后介绍了以WE-Net理论为基础自行开发的工作流引擎OpenJet,并通过四组工作流建模示例展示和验证了OpenJet/WE-Net的表达和运算能力,包括:对工作流实例的执行状态控制、对经典工作流模式的支持、运行时WE-Net之间的动态演化和层次关联、以及对复杂业务过程的描述和运算能力。
【学位授予单位】:上海交通大学
【学位级别】:博士
【学位授予年份】:2006
【分类号】:TP311.52

【相似文献】
中国期刊全文数据库 前10条
1 朱学伟;孙奎;路鹏;殷兆麟;;工作流模式的概述[J];福建电脑;2007年12期
2 翁向军;张华雄;黄理灿;;基于着色Petri网的工作流模式研究[J];浙江理工大学学报;2008年04期
3 方锦烽,孙玲芳;YAWL语言及其系统的初步研究[J];企业技术开发;2005年10期
4 罗达;李志方;崔昊;;基于执行记录的工作流模式挖掘算法[J];计算机工程;2008年16期
5 薛岗;姚绍文;Joan Lu;;基于Pi-演算的工作流模式描述[J];计算机科学;2008年07期
6 傅琴;潘孝铭;;基于Pi演算的工作控制流模式研究[J];福建电脑;2008年10期
7 梁爱南;李长云;黄贤明;;工作流模式的π演算形式化[J];计算技术与自动化;2007年01期
8 黄贤明;李长云;梁爱南;;工作流模式的π演算建模研究[J];计算机工程与应用;2007年17期
9 江震;田继民;马晓艳;;医院医嘱处理工作流建模[J];福建电脑;2011年05期
10 石峰;陈珊;;基于B/S可定制的Web-Office系统的设计与研究[J];技术与市场;2011年06期
中国重要会议论文全文数据库 前7条
1 冯波;徐建良;;支持动态变化的工作流元模型的研究与应用[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
2 栾新颖;宋宝燕;于戈;;基于语义的工作流并发控制机制[A];第二十届全国数据库学术会议论文集(研究报告篇)[C];2003年
3 陈娇娇;薛岗;何象林;何婧;;基于DSC的工作流模式描述研究[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
4 王记红;方清;王小丹;;基于组件思想的工作流调度设计[A];广东省通信学会2006年度学术论文集[C];2007年
5 陈蓉;;用技术实践管理——上海电台广播媒资系统设计理念详解[A];2011中国电影电视技术学会影视技术文集[C];2011年
6 段友祥;相鹏;;Web服务组合引擎的研究与实现[A];第二十三届中国数据库学术会议论文集(研究报告篇)[C];2006年
7 袁兆山;吴亮;;QoS驱动的事务性WEB服务组合[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
中国重要报纸全文数据库 前5条
1 焦鹏;构造企业管理的信息化[N];国际商报;2001年
2 ;网络电话应用别有洞天[N];网络世界;2001年
3 集纳;Lotus为Linux应用注入新活力[N];通信产业报;2000年
4 ;赛迪时代一站式网上审批系统[N];中国电脑教育报;2004年
5 中国科学院软件所电子商务研究中心主任 李安渝;初识 cnXML[N];中国计算机报;2001年
中国博士学位论文全文数据库 前9条
1 吴立峰;基于形式化模式分析的工作流执行网[D];上海交通大学;2006年
2 王忠军;基于GIS的智能高速公路管理关键技术研究与实现[D];解放军信息工程大学;2009年
3 付丽娜;信牌驱动工作流模型的安全结构与仿真技术研究[D];西北大学;2012年
4 黄红梅;基于同步管理器的柔性工作流建模方法的研究[D];广东工业大学;2011年
5 蔡章利;基于BPMN的业务流程一体化建模方法研究与实现[D];重庆大学;2011年
6 何强;面向服务环境中服务组合质量保障关键技术研究[D];华中科技大学;2010年
7 胡佳;语义Web服务自动组合及验证的研究[D];天津大学;2010年
8 范晓亮;面向情境的科学工作流建模及其定量分析研究[D];兰州大学;2012年
9 黄孝鹏;基于人件的人机协同决策系统若干关键问题研究[D];南京大学;2012年
中国硕士学位论文全文数据库 前10条
1 罗勤;基于人工任务的工作流仿真引擎与仿真数据的研究[D];北京邮电大学;2011年
2 王晨亮;基于工作流的资源环境建模框架的设计与实现[D];山东科技大学;2010年
3 周苏发;企业Mashup模式的研究与应用[D];广东技术师范学院;2012年
4 贾展波;基于UML语言的工作流建模方法表达能力研究及相关对比分析[D];吉林大学;2005年
5 冷山述;基于工作流模式的企业信息化开发研究[D];北京机械工业学院;2005年
6 孙长俊;Web服务组合关系的研究与实现[D];河海大学;2007年
7 栗猛;开放式工作流管理系统研究与设计[D];郑州大学;2006年
8 梁业飞;分布式工作流引擎-3M E-Process的设计和实现[D];上海交通大学;2011年
9 张煜刚;基于开源软件JaWE的工作流建模技术[D];西安电子科技大学;2005年
10 许文雨;基于多代理的工作流管理系统的研究与实现[D];西南交通大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026