下载文档原格式
首 页 | 新 闻 | 技术中心 | 第二书店 | 《程序员》 | 《开发高手》 | 社 区 | 黄 页 | 人 才移 动∣专 题∣SUN ∣IBM ∣微 软∣微 创∣精 华∣Donews ∣人 邮 我的技术中心我的分类我的文档 全部文章发表文章 专栏管理 使用说明 RSS 订阅最新文档列表Windows/.NET .NET (rss )Visual C++ (rss ) CSDN - 文档中心 - 其他 阅读：5572 评论： 5 参与评论 标题基于UML 的工作流管理系统分析 winboy20 [原作] 关键字UML 工作流 工作流管理系统 出处基于UML 的工作流管理系统分析Delphi (rss) Visual Basic (rss)ASP (rss) JavaScript (rss)Java/LinuxJava (rss)Perl (rss)综合其他开发语言 (rss) 文件格式 (rss)企业开发游戏开发 (rss) 网站制作技术 (rss)数据库数据库开发 (rss)软件工程其他 (rss) 0 引言随着社会生产的流程化，工作流起着越来越重要的作用。
根据 WFMC 的定义，工作流（Workflow）就是自动运作的业务过程部分或整体，表现为参与者对文件、信息或任务按照规程采取行动，并令其在参与者之间传递。
简单地说，工作流就是一系列相互衔接、自动进行的业务活动或任务。
本文将详细介绍基于UML的工作流管理系统分析与建模。
1 工作流概述对工作流的研究起源于二十世纪七十年代，受网络的局限性，最初的工作流系统主要以企业内部的文档处理为主。
到了二十世纪九十年代，随着Internet 技术的发展及应用，促进了电子商务应用的极大发展，使得公司与公司之间、公司内部部门之间以及子公司之间的业务相互处理成为可能，这为工作流的发展带来了很大的机遇和挑战。
根据国际有关组织的预测，随着电子商务的发展，以数据处理为中心的数据库产品已经进入稳定发展期，以业务过程处理为中心的工作流产品将进入高速发展期。
兰州石化职业技术学院教师学术论文发表情况一览1 工学结合课程建设的主要思路——以兰州石化职业技术学院炼油技术专业《燃料油生产技术》课程为例张远欣西北成人教育学报2008/052 圆柏属常绿木本植物元素含量的季节动态陈银萍广西植物2009/033 高职院校学校体育与健康课程改革初探郑仲平西北成人教育学报2009/034 高职院校学生收费管理漏洞及治理对策探析董虎财会通讯2009/145 丁基橡胶的国内外技术现状及生产情况分析程志刚内蒙古石油化工2009/096 校园漫游动画的设计与实现邹宏伟广西轻工业2009/057 技能大赛对西部数控职业教育的启示蒙斌科技信息2009/128 基于手机套餐方案的研究杨国颖甘肃联合大学学报(自然科学版) 2009/S19 以“提高学生综合能力”的单片机课程教学改革李红萍甘肃联合大学学报(自然科学版) 2009/S110 深化化学实验教学改革,培养学生的创新能力孙金禄中国科教创新导刊2009/1311 我国高等职业教育的现状、趋势及对策初探杜媛职教探索与研究2008/0312 高职院校经济法课程教学改革探析樊亚蓉西北职教2008/0913 嵌段共聚SIS热塑性弹性体工艺技术及发展方向程志刚安徽化工2009/0214 对高职院校实训课教学评价的思考陈蕾职教探索与研究2009/0115 基于工作过程的“工学结合”课程解读与实践汝宇林兰州石化职业技术学院学报2009/0116 高浓度含酚废水处理方法研究何小荣石油化工应用2009/0217 均三甲苯的生产技术及应用程志刚石油化工应用2009/0218 华中数控系统用户宏程序循环语句的嵌套倪春杰机械研究与应用2009/0219 示范性高职院校工学结合人才培养模式的研究陈蕾常州信息职业技术学院学报2009/0220 自制动臂桅杆起吊应力测试与分析周新光机械研究与应用2009/0221 调节阀流场CFD数值模拟与流道优化贾汝民化工机械2009/0222 基于工件加热节能的研究杨国颖湖南工业职业技术学院学报2009/0123 基于ARCS理论构建程序设计语言课的教学案例任泰明电脑知识与技术2009/0224 水泥生产企业风险管理浅议梁斌当代经济2009/0725 基于工件加热节能降耗问题的研究杨国颖甘肃联合大学学报(自然科学版) 2009/0126 液压泵站的减噪措施王帆兰州工业高等专科学校学报2009/0127 电喷车起动故障的诊断与排除王加升机械研究与应用2009/0128 试论汽车稳定性对安全行驶的影响张维军机械研究与应用2009/0129 基于颜色和纹理特征图像检索技术的研究倾明科学技术与工程2009/0530 构建SAN技术集中存储方案孙晓明甘肃科技2009/0131 浅析倪贻德创作中的秋日情怀谷荣安徽文学(下半月) 2009/0232 高分子聚合物卸料泵变频技术改造控制系统设计马应魁电气技术2009/0133 正视传统文化在校园文化建设中的渗透与升华陈效英兰州石化职业技术学院学报2008/0434 宏程序在非圆曲线编程中的应用蒙斌机械制造与自动化2008/0635 NO介导的不同光信号对玉米胚芽鞘生长的影响高天鹏兰州大学学报(自然科学版) 2008/0636 互联网辅助高职高专英语写作教学探讨黄向华成功(教育) 2008/1237 有机化学教学中培养学生主动学习能力之探讨左婧文职业技术2008/1138 焦化汽柴油加氢装置的运行分析研究王宇化学工程与装备2008/1039 职业枯竭:心理咨询师面临的严峻挑战王彦荣卫生职业教育2008/2340 一种基于双栈转换机制的IPv6网络安全算法李萍科技风2008/2441 坚持以人为本做好高校教职工管理工作段生成卫生职业教育2008/2342 对高职语文教学改革的看法江秀华发展2008/1243 把提高人文素养作为提升校园文化层次的切入点李迎春发展2008/1244 学习德国教育理念反思现行职教体制马应魁科技资讯2008/3245 RootKit攻防和检测技术张贵强电脑知识与技术2008/3146 关于C语言教学中存在问题的探讨蒲晓妮福建电脑2008/1247 高职院校《电机与拖动》教学改革探讨曾益保科技信息2008/3048 一类新的魔术染色(英文) 姚兵数学进展2008/0549 职业技术院校消防安全措施的研究王誉橙中国科教创新导刊2008/3150 发挥高职院校校报文化传播功能的思考周燕琳发展2008/1051 基于网络营销导向的企业网站建设梁婵卓甘肃科技纵横2008/0552 螺旋槽干气密封微间隙流场的CFD数值模拟丁雪兴化工机械2008/0553 坚持以人为本推行自主管理刘静发展2008/1054 高职院校语文教学应强化体验式阅读孙江卫生职业教育2008/2055 基于高速切削的装备保障丁文溪内蒙古石油化工2008/1056 延迟焦化装置的能耗分析及节能途径探索王宇中外能源2008/0457 风电机组变桨距系统神经网络模糊自适应控制高文元武汉理工大学学报(信息与管理工程版) 2008/0458 渣油焦化过程中细纤维组织形成规律的研究张远欣广州化工2008/0459 高职院校构建和谐校园探析周燕琳高等职业教育(天津职业大学学报) 2008/0360 职业导向式一体化教学的创新与实践李俊秀高等职业教育(天津职业大学学报) 2008/0361 谈谈化学教学中的新课导入孙金禄消费导刊2008/1162 椭圆形封头开孔孔边应力集中分析马秉骞石油化工设备技术2008/0263 刍议国家示范性高等职业院校确立的意义张方明中国电力教育2008/1564 高职学报发展面临的问题解析邵铁民高等职业教育(天津职业大学学报) 2008/0265 浅谈高等职业教育中的思政教育蒙斌科技信息(学术研究) 2008/1866 人本管理理念与示范性高职院校建设陈蕾机械职业教育2008/0767 干粉灭火剂技术发展浅析王誉橙消费导刊2008/1368 西部高职多元化实践教学方法的探索——实训设备(整车)改造制作与学生实训教学相结合胡天明科技信息(科学教研) 2008/1569 空心螺栓内置加热预紧法的应用贾汝民机械工程师2008/0570 折边锥形壳体壁厚确定的简易方法马秉骞化工机械2008/0371 农业和农村经济结构调整研究——以敦煌市为例杨强广东农业科学2008/0572 以就业为导向,发展高等职业教育张方明西北成人教育学报2008/0173 示范性高职院校的教学改革与实践李金明机械职业教育2008/0374 坡缕石对苯乙烯-丁二烯-苯乙烯嵌段共聚物改性沥青性能的影响(英文) 王有朋合成橡胶工业2008/0275 Converter助剂在催化裂化中的应用实验研究王宇化学工程与装备2008/0276 浅论传统图形与标志设计教学的结合刘剑云西北成人教育学报2008/0277 从花生壳提取木糖醇的工艺初探牟晓红内蒙古石油化工2008/0678 简述压缩机的运转、维修操作王春华内蒙古石油化工2008/0479 苦水玫瑰产业发展新思路牟晓红内蒙古石油化工2008/0480 基于单片机的语音录放系统设计刘超美甘肃联合大学学报(自然科学版) 2008/0381 高职语文的内隐学习孙江璘甘肃教育2008/0582 汽车专业教学改革的探讨潘宗友消费导刊2008/0683 基于小波隐马尔科夫树模型的遥测数据去噪邹益民弹箭与制导学报2008/0284 关于学习问题的谈话段生成卫生职业教育2008/0185 对高职毕业生就业工作的思考周兴中发展2008/0386 数控编程的技术要点与实例马丽芳发展2008/0387 ABS系统中传感器的功能与故障分析张鸿雁机械研究与应用2008/0188 机械密封焊接金属波纹管波纹膜片动态应力计算及分析丁雪兴化工机械2008/0189 烟气轮机的故障诊断现状分析黄义仿润滑与密封2008/0390 以科学发展观为指导促进示范性高职院校的发展张方明机械职业教育2008/0291 电容式电压互感器的误差原因及解决方法殷培峰电气开关2008/0192 高职教育教学模式的构建陈蕾职业技术教育2007/3593 浅议节奏在排球运动中的运用张芝荣职业圈2007/2494 浅析石油化工企业的安全管理王宇科技资讯2007/3595 固—液萃取技术及应用王春华内蒙古石油化工2007/1196 多跨楼层框架梁支座负筋的计算俞英娜湖南工业职业技术学院学报2007/0497 营造和谐班风,树立良好学风马丽芳职业圈2007/2098 校企合作是高职教育发展的根本出路张满效发展2007/1299 用“四点希望”统领师德建设工作周兴中发展2007/11100 中国西部物流发展战略简析刘贵生甘肃科技纵横2007/06101 时频分析在非平稳信号消噪中的应用刘伟科学之友(B版) 2007/11102 HHT在齿轮故障诊断问题中的应用李贵明科学技术与工程2007/23103 基于小波分析和矩不变量的转子故障量化特征提取研究黄义仿化工机械2007/06 104 乙烯齐聚催化剂研究进展王静高分子通报2007/12105 基于Labview的压缩机故障动态检测系统设计马应魁电气技术2007/12106 中外典型高职教育教学模式的比较分析及思考张方明中国电力教育2007/11 107 通过ADO实现VB与EXCEL的无缝连接倾明内蒙古石油化工2007/10108 数控机床切削过程刀具磨损与破损的振动监测法蒙斌机电工程技术2007/10 109 高职高专英语专业学生外语学习焦虑及对策杨晔职业教育研究2007/11110 从问题出发进行教学设计的课程体系段晓燕电气电子教学学报2007/05111 兰州市现代物流业发展的SWOT分析刘静物流科技2007/09112 谈谈青年教师心理品质的培养江秀华发展2007/10113 西北地区高职院校师资队伍建设之管见江秀华发展2007/09114 高硫原油在加工过程中的腐蚀与防腐措施冯文成云南化工2007/04115 NO在植物生长发育和环境胁迫响应中的作用陈银萍生态科学2007/02116 三苯甲醇合成工艺的改进周锦石油化工应用2007/04117 大学生开展“数学文化”教育探索孙国君今日科苑2007/18118 机械密封流体润滑稳定流动场的数值模拟周新光化工机械2007/04119 物流与渠道构建刘贵生社科纵横2007/07120 炭素申科秤堵料问题研究丁文溪内蒙古石油化工2007/06121 用PLC控制的有时间显示的交通灯电路童克波甘肃科技纵横2007/04122 少油断路器中空气室及油气分离器对灭弧能力的影响殷培峰电气开关2007/03123 汽车变速器的现状与前景石允国机械研究与应用2007/02124 低污染汽车替代能源的利用张远欣河北化工2007/05125 干气密封螺旋槽内气体流场的有限元模拟黄义仿化工机械2007/02126 浅议员工培训的有效管理与创新刘静甘肃科技2007/04127 高职教育中普及和加强礼仪文化修养教育之我见张华甘肃科技纵横2007/02128 一种基于椭圆变形模板的唇动跟踪算法邹益民仪器仪表学报2007/03129 综合布线在数据水平布线系统中的应用王诚科技创业月刊2007/03130 原油蒸馏过程中的环烷酸腐蚀分析研究张远欣广州化工2007/01131 基于FGIOWGA算子的模糊语言多属性决策方法及其在X射线探伤中的应用李润兰州理工大学学报2007/01132 DVD在线租赁满意度算法探讨刘建清科技创业月刊2007/02133 燃料油脱硫技术新进展杨西萍甘肃科技2007/01134 电子控制技术在汽车上的应用索文义甘肃科技2007/01135 市场化背景下高职院校竞争力的培育刘登辉职业技术教育2006/01136 高技能人才培养课程体系的设计与实践汝宇林职业技术教育2006/31137 Domino/Notes的知识管理与OAS的融合研究宋贤钧计算机科学2006/05138 基于WF-net的工作流建模技术及应用宋贤钧计算机科学2006/04139 四氯化锡催化合成顺丁烯二酸二丁酯周萃文精细石油化工进展2006/10140 关于毕业生择业问题的调查思考胡建琴甘肃农业2006/12141 多媒体在体育教学中应用浅谈王世杰消费导刊2006/12142 建筑测量的闭合差计算王帆甘肃科技2006/12143 焙烧炉断裂失效分析丁文溪内蒙古石油化工2006/12144 21世纪的绿色能源侯侠内蒙古石油化工2006/12145 对“以学生为中心”的高职英语教学模式的几点思考景博科技信息2006/10146 宏指令编程在波纹法兰加工中的应用胡相斌机械研究与应用2006/06147 技术创新过程中R&D/市场营销界面管理研究刘建华市场论坛2006/12148 冷粘维修工艺在泵轴修复上的应用徐晓刚化工机械2006/06149 变电所高压系统运行操作仿真李俊秀电气时代2006/11150 逐点比较插补法的改进蒙斌机械工程与自动化2006/06151 INGIOWGA算子的多属性决策方法及其应用李润计算机工程与设计2006/23152 对一体化课件在高职教育中应用之探究周任慧甘肃科技纵横2006/06153 高职院校教师职业倦怠的成因与调适江秀华甘肃科技纵横2006/06154 对高压少油断路器多断口均压问题的分析殷培峰电气开关2006/06155 英语书面语中重复否定与延续否定强式语义分析杨雪莲新疆教育学院学报2006/03 156 圆柏属常绿木本植物叶片抗氧化系统季节变化与抗冷冻的关系陈银萍生态学杂志2006/11157 FOWG算子在X射线检测方案选择中的应用李润计算机工程与设计2006/22158 对病毒性网络营销的思考周任慧甘肃科技2006/10159 基于单片机的电子显示屏控制系统设计李红萍甘肃科技纵横2006/05160 苯乙烯-丁二烯-苯乙烯嵌段共聚物改性沥青的老化性能刘东杰合成橡胶工业2006/05 161 营销人员礼仪素质刍议张华当代经理人(下旬刊) 2006/10162 如何训练六级听力王键新疆教育学院学报2006/02163 影响电脱盐装置脱盐效率的因素分析及改进意见侯侠石油化工应用2006/04164 化工仿真在高职教学中的应用程志刚内蒙古石油化工2006/08165 三向网格扁球面网壳的非线性固有频率周新光科技资讯2006/08166 两种圆柏属植物不同季节显微和超微结构变化与耐寒性的关系张有福应用生态学报2006/08167 专业化经营与多元化经营利弊分析郭亚玲甘肃科技纵横2006/04168 绿色基础化工原料碳酸二甲酯的主要用途张远欣甘肃科技纵横2006/04169 PLC在数字显示电路中的应用童克波甘肃科技纵横2006/04170 利用宏程序编程实现等速螺线的数控加工倪春杰机械工人.冷加工2006/05171 用乳液法合成丙烯酸丁酯-甲基丙烯酸共聚胶乳侯侠合成橡胶工业2006/04172 提高市场竞争力是现代物流企业快速发展的捷径张华当代经理人(下旬刊) 2006/08 173 催化裂化装置催化剂跑损原因分析张远欣内蒙古石油化工2006/06174 金属圆环形膜片联轴器静动态应力的计算张浩民机械研究与应用2006/03175 基于单片机控制的悬挂运动系统李红萍电气时代2006/07176 浅谈英汉词汇的文化内涵差异王键术语标准化与信息技术2006/02177 兰州市车用天然气发展现状张远欣甘肃科技纵横2006/03178 数字信号实时处理的一种快速算法刘伟科学之友(B版) 2006/06179 甘肃省城市经济辐射区及其经济协作区研究南平人文地理2006/02180 企业组织结构创新模式思考刘登辉兰州交通大学学报2006/02181 基于INTRANET的入侵防御系统模型的研究刘昭斌化工自动化及仪表2006/02 182 多级压缩机复算中遗传算法的应用商建平化工装备技术2006/02183 青年教师队伍建设的几点思考江春强中国西部科技2006/05184 试论高校图书馆的数字化特色馆藏资源建设邹文勇甘肃科技2006/03185 NO在两种圆柏属植物叶片抗冻过程中的信号功能研究陈银萍冰川冻土2006/02 186 固定资产折旧与减值思辨王自荣甘肃科技纵横2006/01187 新型电液伺服控制机构关键元件的选型刘伟甘肃科技纵横2006/01188 非化工专业的化工类电子课程开发张远欣西北成人教育学报2005/04189 蒙耐尔合金在氟化工生产中的应用及腐蚀行为研究徐晓刚化工机械2005/06190 甘肃省发展农产品电子商务的思路兰炜发展2005/12191 对扩大公民有序政治参与的探讨呼小州发展2005/12192 一个基于语义相关性知识发现的模型与算法宋贤钧沈阳农业大学学报2005/05193 数控机床通过对刀建立工件坐标系的原理及过程蒙斌机械工程与自动化2005/06 194 浅析物流与市场营销关系的协调李涤非内江科技2005/06195 论无形资产的管理付彬内江科技2005/06196 现代企业制度下的成本控制变化探析袁中文社科纵横2005/05197 锅炉燃烧调节系统的模糊自寻优控制设计刘伟甘肃科技纵横2005/06198 苯线伴热方案比较刘伟甘肃科技2005/11199 应用光纤高温传感器测量温度于秀丽甘肃科技2005/11200 自控温电伴热的安装和维护刘伟甘肃科技2005/10201 高职院校VB课程教学模式探索张远欣甘肃高师学报2005/05202 开放教育的导学新途径——博客周任慧发展2005/10203 保护气流态分析及提高气体保护效果的措施魏延宏电焊机2005/10204 保护环境与人体健康呼小洲卫生职业教育2005/18205 牵连运动为平移时点的加速度的求解李芸内蒙古石油化工2005/09206 正交试验研究生产促进剂M的主反应工艺条件李薇内蒙古石油化工2005/09207 企业机会威胁分析郭亚玲甘肃科技纵横2005/05208 21世纪的汽车清洁燃料李薇甘肃科技纵横2005/05209 纯幂律全塑性裂纹有限元方法计算中影响因素分析黄义仿兰州石化职业技术学院学报2005/03210 利用“CAXA制造工程师”自动编制数控加工程序倪春杰化工自动化及仪表2005/05 211 协调物流与市场营销的关系——提高企业竞争力李涤非中国科技信息2005/17212 企业应收账款问题的形成与解决对策郭亚玲兰州商学院学报2005/04213 提高材料力学实验教学质量的探索李芸内蒙古石油化工2005/08214 防范审计风险——注册会计师的生存之道钟维丽财会研究2005/09215 传递矩阵建模法在轴横向振动分析中的应用李芸机械研究与应用2005/04216 数控机床参数故障原因分析与处理蒙斌机械工程师2005/08217 联轴器圆环式膜片的疲劳寿命计算周新光化工机械2005/04218 企业优势劣势分析郭亚玲甘肃科技2005/09219 如何使搜索引擎在网络营销中充分发挥作用周任慧发展2005/09220 HS610U-M高强钢大型压力管道的焊接王建勋电焊机2005/08221 浅谈知识经济的理论内涵及其意义郭亚玲甘肃科技纵横2005/04222 高山冰缘植物游离氨基酸的含量分析刘艳红冰川冻土2005/04223 高校图书馆与大学生信息素质教育的关系许小丽西北成人教育学报2005/02224 关于图的m[k]-全染色姚明兰州交通大学学报2005/03225 加速西部少数民族地区经济发展的思考呼小洲甘肃科技纵横2005/03226 西部欠发达地区县域经济的工业化道路——以甘肃省安西县为例南平甘肃农业大学学报2005/03227 UV-B诱导的玉米幼苗系统信号网对根系生长的影响张满效甘肃农业大学学报2005/03228 石油替代产品—新型车用燃料的研究与发展侯侠甘肃科技2005/06229 粉煤灰处理炼油污水的实验研究侯侠甘肃科技2005/05230 高等教育成本管理的四个角度王自荣发展2005/07231 办公自动化及实施过程中常见问题的对策宋贤钧福建电脑2005/07232 高职院校图书馆学科馆员制度的价值取向许小丽图书与情报2005/03233 不同盐碱环境中宁夏枸杞叶生理特征和RAPD分析张满效中国沙漠2005/03234 基于模糊控制的水温调节器设计赵睿石油化工自动化2005/03235 双螺杆挤出丁苯透明抗冲树脂溶液脱挥工艺杨绮波合成橡胶工业2005/03236 真空断路器截流过电压的产生与抑制方法殷培峰电气开关2005/02237 糠醛精制法生产变压器油的工艺研究杨成德应用化工2005/04238 芒硝矿区卤水直接生产无水硫酸钠工艺研究杨成德内蒙古石油化工2005/03239 浅述聚合硫酸铝生产技术及应用杨成德内蒙古石油化工2005/02240 多媒体教学在高校中应用之探讨周任慧甘肃科技纵横2005/02241 从美国的战略石油储备看我国的石油储备战略呼小洲甘肃科技纵横2005/02242 金属膜片联轴器圆环式膜片的疲劳寿命计算汝宇林兰州石化职业技术学院学报2005/01243 燃料乙醇的发展状况张远欣甘肃科技2005/04244 基于投入产出模型的成本控制刘登辉会计之友2005/04245 企业经理人机制创新的思考刘登辉甘肃科技2005/03246 高性能聚丙烯腈原液的合成麻国荣宁夏石油化工2004/03247 亚磷酸二烷基酯合成方法的改进杨兴锴精细石油化工进展2004/08248 中国近代社会的公平思想管窥周兴中兰州大学学报(社会科学版) 2004/05249 水平法与加和法在经济统计中的应用比较李志飞甘肃科技2004/10250 电机各部分的温升吕正郃甘肃科技2004/09251 甘肃省职校生就学状况调查胡建琴中国职业技术教育2004/29252 高中学生数学应用与建模能力的培养与探索苏筱丽数学教学研究2004/08253 胶溶剂在增进润滑油清净剂功能中的作用和应用研究许敬文润滑油2004/05254 我国西部地区工业企业竞争与合作对策初探李志飞甘肃科技纵横2004/04255 色彩的传递与管理吕正郃甘肃科技2004/08256 在教学局域网上实现个人主页上传模拟系统周任慧西北民族大学学报(自然科学版) 2004/02257 卸荷带轮的结构特点与技术评价贾汝民机械研究与应用2004/04258 对思想品德课改革的思考赵菊芳中国职业技术教育2004/19259 含有导数项的四阶非线性边值问题解的存在性刘旭西北师范大学学报(自然科学版) 2004/03260 对高职院校思想品德课改革的研究白戈兰州石化职业技术学院学报2004/02261 弧焊电源的计算机仿真与CAD 蔡建刚机械研究与应用2004/02262 CAN的特点及应用杨瑞江甘肃科技2004/05263 谈加入WTO后高职教育改革及毕业生就业指导周兴中兰州石化职业技术学院学报2004/01264 析C理论的哲学基础周兴中科学.经济.社会2004/01265 增强UV-B对蛋白核小球藻中NO释放的影响陈坤西北植物学报2004/05266 图书馆学研究中之人文主义内涵孟晓青图书与情报2004/02267 可比产品成本指标降低情况分析方法的研究刘登辉会计之友2004/03268 入世给我国高等职业教育带来的机遇周兴中发展2003/12269 发展我国职业经理人的思考徐子杰社科纵横2003/03270 三种不同方案的砌体单层厂房静力计算比较胡建琴甘肃科技纵横2003/04271 时域反射仪及其在温度检测系统中的应用王银锁甘肃科技纵横2003/04272 关于高职教育发展的问题及对策研究赵菊芳兰州石化职业技术学院学报2003/02 273 社会责任会计曹晨科学决策2003/07274 小康社会促进人的全面发展张方明科学.经济.社会2003/03275 金属膜片挠性联轴器设计计算张浩民机械研究与应用2003/03276 计算机辅助设计中零件三维图形的造型方法许立太机械研究与应用2003/01277 La_2(SO_4)_3/C催化合成乙酸正丁酯杨兴锴精细石油化工进展2003/07278 烟气轮机运行中动平衡破坏的原因分析及维护措施卢世忠化工机械2003/06279 建筑CAD软件的增强功能开发胡建琴甘肃科技2003/07280 应用CST4001温度自动检定系统校验热电偶于秀丽甘肃科技2003/06281 财务管理中利益相关者的信息不对称探讨程洋甘肃科技2003/03282 工业气相色谱常见故障分析于秀丽甘肃科技2003/03283 П形悬挑楼梯的受力特性分析胡建琴甘肃科技2003/02284 尽快建立公平有效的助学体系胡建琴发展2003/05285 焊接电弧磁偏吹问题的理论解释及解决办法王建勋电焊机2003/06286 254SMo奥氏体不锈钢的焊接王建勋电焊机2003/05。
一种基于资源约束的工作流建模及分析方法庞善臣【摘要】Resource constraint is a choke point of workflow system, and the efficient resource modeling and Verification methods are more important for workflow management system( WFMS). A new formal method used to model and analyze workflow system with resource constraint,resource workflow net,is presented based on Petri net and workflow techniques in this paper. Based on the definition of resource space(RS) , resource subnet, resource workflow net(RWF-net) ,and soundness of the RWF-net,the resource scheduling views model formulated in WFMS are described and translated into Petri net, and a necessary and sufficient condition for the soundness of RWF-net is presented. The method integrate process model and resource model that can solve system analysis and verification problem for the process and resource modeled respectively and assure the consistency between process model and resource model. The usability of the research results in this paper is illustrated by an example.%资源约束是工作流正确实施的一个瓶颈问题,因此工作流系统的资源建模及模型正确性验证方法显得非常重要.为此,基于Petri网和工作流建模方法,提出了一种资源约束的工作流系统的形式化建模和分析技术,定义了资源空间(RS)、资源子网、资源工作流网和资源工作流网完整性(soundness)的概念,建立了资源调用视图以及Petri网影射模型,得到了资源工作流网保持完整性判定的一个充要条件.该方法将系统资源建模和过程建模合成到一个模型中,解决了工作流系统资源和过程分别建模给系统的正确性验证带来的困难,为工作流系统资源状态的可视化和进行有效的系统验证提供了模型依据.给出的实例验证了模型的有效性.【期刊名称】《电子学报》【年(卷),期】2012(040)008【总页数】6页(P1497-1502)【关键词】资源约束;工作流网;资源子网;资源工作流网;完整性【作者】庞善臣【作者单位】山东科技大学信息科学与工程学院,山东青岛266590;清华大学计算机科学系,北京100084【正文语种】中文【中图分类】TP3111 引言随着现代企业业务过程分布性、协同性和依赖性的快速发展,工作流技术在实际中的应用不断深入,已广泛应用在电子商务、通信、医疗、金融、办公自动化、项目管理、物流、制造等诸多领域,工作流模型作为工作流管理系统(Workflow Management System,简称WFMS)的核心部分[1],对企业业务过程逻辑及其业务活动依赖关系进行抽象表示,并用来实施过程的监控、自动协调和处理,以确保每个任务由相应的主体完成.因此工作流业务流程的建模和模型的分析技术是工作流系统研究和应用的重要内容,目前研究人员提出了多种不同的工作流建模和分析方法,如：EPCM模型、PERT图、活动树及Petri网,仅基于Petri网的建模方法就有多种[2～9],主要原因是Petri网具有严格的数学基础和规范语义[10～14].随着网格计算、服务计算等新的研究领域的出现,基于网格或服务的工作流系统研究也得到了较好发展[15,16].许多软件开发商也推出了他们支持服务的工作流产品开发平台,如：Business Process Execution Language for WebServices(BPEL4WS)[17],Business Process Modeling Language(BPML),Web Service Choreography Interface(WSCI).上述工作流的模型及设计平台虽然具有丰富语义表达功能、易表达性和可扩充性,并且能表达步骤、循环、分支、条件、路径选择、任务分配、时间、调度和约束条件,能够定义策略来处理控制流和数据流的异常中断,但是在对资源视图的管理和描述没有提供任何程度的直接支持[18],总的来说,资源的描述和利用在工作流系统中是一个重要部分,受资源的配置和分布等情况的约束,工作流系统很难达到理想状态下的性能指标,资源约束成为工作流正确实施是一个瓶颈问题.在工作流的活动间合理地配置资源是保证工作流正确实施的必要条件.合理地配置资源不但能提高工作流的工作效率,而且能提高相关资源的利用率.因而具有资源约束描述功能的工作流模型已成为当前工作流建模深入研究的重点内容之一.在工作流系统的资源模型的研究上已取得了许多成果：文献[18]通过建立多种独立于工作流技术和建模语言的形式化模式,来获得资源在工作流系统中不同表现和利用途径,为资源视图的全面处理提供基础;文献[19]给出了基于并发约束处理逻辑(Concurrent Constraint Transaction Logic,CCTR)的资源分配约束的工作流资源调度模型,较好地解决了资源静态的分配问题;文献[7]将工作流定义为四维结构,将资源作为其中一维,并建立了工作流的资源分配模型：Resource Assignment Petri Net for WorkFlow Management(WF-RAPN),该模型是一个13元组;其他研究人员对工作流的资源建模也提供了许多方法[20～22,25,26].在以往的资源模型中,一般是将过程和资源分别建模,独立分析和验证,为整个系统的分析和验证带来困难,甚至会导致过程和资源调度的不一致,因此资源约束的工作流系统正确性的形式验证技术研究就变的非常重要和必要.本文基于Petri网的工作流建模方法,提出了一种资源约束的工作流系统的形式化建模和分析技术,定义了资源空间(RS)、资源子网、资源工作流网和资源工作流网完整性(soundness)的概念,建立了资源调用视图以及Petri网影射模型,得到了资源工作流网保持完整性判定的一个充要条件.通过子网合成的方法,将系统资源建模和过程建模合成到一个模型中,解决了工作流系统资源和过程分别建模给系统的正确性验证带来的困难,给出的实例验证了模型的有效性.2 基本概念有关工作流网和Petri网的基本概念,请读者参阅文献[2,13,23],仅就本文中用到的主要概念、性质介绍如下.定义1 三元组N=(P,T;F)是一个网,当且仅当P,T分别是库所和变迁的有限集,P∩T=φ;F⊆(P×T)∪(T×P)是有向弧集.PN=(N,M)是Petri网当且仅当 N=(P,T;F)是一个网,且 M：P→{0,1,2,…}是PN 的标识函数.∀t∈T,p∈P,用◦t(t◦)表示变迁 t 的所有输入(出)库所集,而◦p(p◦)表示库所p的所有输入(出)变迁集.设 M0是 PN的一个初始标识,则 R(M0)表示由M 0可达到的所有标识的集合.(1)t∈T在M(P)下是使能的,当且仅当∀p∈◦t,M(P)＞0,记 M[t＞;(2)对∀M1和M2,M1≤M2,当且仅当对所有的p∈P：M1(p)≤M 2(p);(3)(PN,M 0)是活的,当且仅当∀t∈T,∀M ∈R(M0),∃M′∈R(M),M′[t＞;(4)(PN,M0)是安全的,当且仅当对∀M∈R(M0),M(p)≤1;(5)一个标志 Mh称为家态,当且仅当对∀M∈R(M0),Mh∈R(M);(PN,M0)是可逆的,当且仅当M 0是家态;(6)若对∀t∈ T ：|◦t|=|t◦|≤1,则称 PN 为一个标识状态图.定义2 设PN是一个Petri网,一个从节点 n1到nk的路径C是一个节点的序列〈n1,n2,…,nk〉 ,其中〈ni,ni+1〉∈F,1≤i≤k-1;一个Petri网是强连通的,当且仅当对于每一对节点x,y∈P∪T,都存在一个从x到y的路径.定义3 Petri网PN′=(P′,T′,F′)是 PN=(P,T,F)的子网,当且仅当P′⊆P,T′⊆T,F′=F∩((P′×T′)∪(T′×P′)),记作PN′⊆PN;Petri网PN′=(P′,T′,F′)是PN的自治子网,当且仅当(1)PN′⊆PN;(2)∀p ∈ P′：(◦p ∩(T\T′)=φ∧ p◦∩(T\T′)=φ).自治子网中P′只与T′有关系,与T\T′的其它变迁没有关系,这样通过T′中的变迁进入P′的托肯,只能通过T′的变迁离开P′,这个性质对得到系统的活性和有界性是非常必要的.定义4[25] 一个Petri网模型PN=(P,T,F,i)称为工作流网(WorkFlow net,简称WF-net)当且仅当它满足下面的两个条件：(1)PN中存在两个特殊的库所i和o,库所 i是一个起始库所,即◦i=φ;库所o是一个终止库所,即o◦=φ;(2)如果在PN中加入一个新的变迁t,使t连接库所o和i,即◦t={o},t◦={i},这时所得到的扩展网PN是强连通的.在工作流网中,库所对应着过程中的条件,变迁对应着过程中的可执行活动,库所中的托肯代表着一个过程实例的状态.上述定义表明：(1)工作流网必须具有唯一起始点和唯一终止点,进入起始库所的托肯代表一个过程实例的开始,而进入终止库所的托肯则意味着一个过程实例的结束;(2)工作流网中不存在处于孤立状态的活动与条件(所谓孤立状态,是指不存在由 i到o的通路经过该变迁或库所),即所有的活动与条件都位于由起始点到终止点的通路上.3 资源工作流网及其性质分析为了描述工作流系统资源模型,我们建立资源空间的概念.定义5 资源空间资源空间是资源分布的集合,即RS=,其中 i为资源R的 ID,t为时刻,Ri=(ri1,ri2,…,rim)为资源的度量向量.资源在工作流系统中被活动或任务的调用形式可以归纳成四种,如图1所示.其中资源被活动异步共享经过调度策略可以转化为资源被活动串行共享的情况,而资源能够被多个活动同步共享时,可以认为被共享的资源粒度较大,按照粒度划分方法,可以将该资源分割成若干个原子粒度的资源,进而将该调度的情况转化为若干资源被活动或任务独占的情况.利用Petri网,可以实现图1资源调用视图到Petri网模型的映射,其中库所中的托肯和变迁分别表示资源和任务,如图2所示.根据模型映射,我们假设所有的资源具有原子粒度,进一步给出资源子网的概念.定义6 资源子网 Petri网PN r=(Pr,Tr,Fr,Mr 0)是资源r的一个资源子网,满足如下条件：(1)r∈RS;(2)存在唯一的pr 0∈Pr为资源库所,且Mr0(pr0)=1;(3)∀p∈(Pr\{pr0}),Mr 0(p)=0;(4)PN r为强连通的标识状态图;(5)PN r的圈都通过pr0.定义7 资源子网空间 PNR=(PR,TR,FR,MR0)定义8 资源工作流网(简称 RWF-net) PN=(P,T,F,M0)是一个资源工作流网,当且仅当满足下列条件：(1)PN=PNR∪PNw,其中 PNR⊆PNR为资源子网的集合,PNw为工作流网;(2)P=PR∪Pw;TR⊆Tw;F=FR∪Fw;p∈Pw：M0(p)=Mw0(p);p ∈PR：M0(p)=MR0(p);(3)对于任意的资源库所pr 0：i(pr0)=1;(4)o ∈Pw：◦◦o ∩{pr0}=φ;即库所 o 没有任何资源流入;为区别其它的状态标识,我们在使用中i,o将既表示库所,也可以用来表示初始状态和终止状态标识(用 i来表示M0).根据工作流网的定义很容易得到资源工作流网PN的扩展网PN.定义9 PN=(P,T¯,F¯)为资源工作流网PN=(P,T,F)的扩展网,当且仅当：P¯=P,¯T=T∪{t*},F¯=F ∪{〈o,t*〉,〈t*,i〉}是 PN 的扩展网.定义10 资源工作流网的完整性一个RWF-net是完整的,当且仅当：(1)对每一个由状态 i可达的状态M,存在一个从状态M到状态o发生序列,即：∀M：i[σ＞M⇒M[τ＞o,其中σ,τ为变迁序列.(2)在任何情况下,终止状态最终可以到达,当状态由M变化到状态o时,库所o中含有一个托肯外,对任意的资源库所pr 0：o(pr 0)=i(pr0),其它位置托肯均为空,即∃M：i[σ＞M∧ M(o)=1∧(∀pr 0∈ PR：M(pr 0)=i(pr 0)∧∀p∈P\{pr0,o}：M(p)=0)⇒M=o.(3)在 RWF-net中不存在死的变迁,即：∀t∈T,∃M,M′：i[σ＞M,M[t＞M′.引理[24] 可逆网PN=(P,T,F)是活的,当且仅当它的每一个变迁都是一级活的.定理一个RWF-net PN具有完整性的充分必要条件是PN的扩展网PN 具有活性和安全性.证明 (充分性)扩展网(PN,i)具有活性,则定义10中(3)显然成立,同时∀M∈R(i)：∃M′∈R(M),M′[t*＞.所以∀M ∈R(i)：∃M′∈R(M),M′(o)=1,由资源工作流网的定义(2)TR⊆Tw知,TR是PN自治子网的变迁集,由自治子网的定义和资源子网定义的(4)、=1(其中到M′的可达状态标识集),即对 pr 0：M′(pr0)=i(pr 0),由(4)o∈Pw：◦◦o∩{pr 0}=φ以及工作流网的定义可得◦t*={o},令M′=o+M″,M″(P\{o,pr 0})≠0,则M′[t*＞i+M″,这与扩展网是安全的相矛盾,即∀p∈P\{o,pr 0}：M″(p)=0,此时M′=o,所以(1)和(2)成立,由定义10知(PN,i)是完整的.(必要性)(PN,i)具有完整性,先证(PN,i)是安全的,假设(PN ,i)不是安全的,则∃M1∈R(i),p∈P\{pr0}：M1(p)＞1.则∃t∈p◦,t在M1可至少引发两次,即M 1[tt＞M2∧ M2(p′)＞1,依次类推,由定义 10 中的(1)得∃σ∈T*：M 1[σ＞o.则 o(o)＞1.这与定义10中的(2)矛盾,即(PN ,i)是安全的得证;再证(PN,i)是活的,由定义10中的(1)∀M∈R(i),o∈R(M);由定义10中的(2)及(PN,i)的安全性可得 o[t*＞i,即：∀M∈R(i)：i∈R(M),即 i是一个家态,即(PN ,i)是可逆的,根据定义10中的(3)得任意的变迁t∈T都是一次活的,由引理1得(PN,i)是活的.在建立工作流系统资源的资源子网模型的基础上,利用自治子网将工作流网和资源子网合成为资源工作流网,模型不仅可以反映过程的定义情况,同时实现了资源的动态调度模型与过程的有机结合,所得模型为资源的分析和调度提供了一种形式化的方法,更有利于进行系统的性能、时间以及约束语义等方面的分析.4 资源工作流网合成算法合成算法：Step1：根据资源子网定义分别建立所用资源的控制过程模型;Step2：根据工作流网定义建立工作流的控制过程模型;Step3：根据资源工作流的合成限制条件将所建立的资源子网与工作流网合成为资源工作流网;Step4：利用系统安全性分析算法检查合成的资源工作流网的安全性;如果满足安全性,则继续系统活检查,否则,返回安全性检查错误报告;Step5：利用系统活性分析算法检查合成网络的活性,如果满足活性条件,则返回系统完整性的报告,否则,返回活性检查错误报告.当网络的错误结构返回时,建模人员就可以改变模型结构来消除错误.5 实例分析图3给出了一个企业生产经营过程的简化流程,流程具有7个工序步骤,使用包括3种雇员和2类机器在内的5种资源,相应的WF-net如图4所示,其中 tA、tB是增加的两个辅助性活动,分别表示活动3和活动4的会聚、流程的结束.活动资源调度关系如表1所示,由表1和过程建模方法,可以建立5种资源的资源子网模型如图5所示.表1 活动资源调度关系活动活动1活动2活动3活动4活动5活动6活动7调用资源资源1资源2资源3资源1资源2资源3资源4资源3资源5资源3根据资源工作流网的定义,在图4和图5的基础上,将资源子网和工作流网合成为资源工作流网如图6所示.容易证明图4的工作流网是完整的,图5的资源子网都是强连通的标识状态图,图7给出了图6的RWF-net扩展网的可达图,其中各标识由表2给出.根据可达图分析方法,可以判定RWF-net的扩展网是活的、安全的,因此RWF-net 是完整的.表2 各标识情况分布表i P 10 P20 P30 P40 P 50 P1 P2 P3 P 4 P 5 P6 P7 P8 P 9 o i 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 M 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 M 2 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 M 3 0 1 1 1 1 10 0 1 1 0 0 0 0 0 0 M 4 0 1 1 1 1 1 0 1 0 0 1 0 0 0 0 0 M 5 01 1 1 1 1 0 0 0 1 1 0 0 0 0 0 M 6 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 M 7 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 M 8 0 1 1 0 1 1 0 0 00 0 1 0 0 0 0 M 9 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 o 0 1 1 1 11 0 0 0 0 0 0 0 0 0 16 结论及进一步的研究工作在建立工作流系统资源的资源子网模型的基础上,利用子网合成将工作流网和资源子网合成为资源工作流网,实现了资源和过程的统一建模,既保证了经营过程的结构,同时还为资源的调度提供图形的视图模型.模型不仅可以反映过程的定义情况,同时实现了资源的动态调度模型与过程的有机结合,所得模型为资源的分析和资源约束下的工作流正确性验证提供了一种形式化的方法,更有利于进行系统的性能、时间以及约束语义等方面的分析.建立资源工作流网的活性保障策略,建立基于资源工作流的系统协同模型以及性能分析方法是我们今后需要进一步研究的内容.参考文献【相关文献】[1]罗海滨,范玉顺,吴澄.工作流技术综述[J].软件学报,2000,11(7)：899-907.LUO Hai-Bin,FAN Yu-Shun,WU Cheng.Overview of workflow technology[J].Journal of Software,2000,11(7)：899-907.(in Chinese)[2]李建强,范玉顺.一种工作流模型的性能分析方法[J].计算机学报,2003,26(5)：513-523.LI Jian-Qiang FAN Yu-Shun.A Method of workflow model performance analysis[J].Chinese Journal of Computers,2003,26(5)：513-523.(in Chinese)[3]W M P van der Aalst.The application of Petri nets to workflow management[J].The Journal of Circuit System and Computers 1998,8(1)：21-66.[4]李炜,曾广周,王晓琳.一种基于时间Petri网的工作流模型[J].软件学报,2002,13(8)：1666-1671.LI Wei,ZENG Guang-Zhou,WANG Xiao-Lin.A workflow model based on timed Petri net[J].Journal of Software,2002,13(8)：1666-1671.(in Chinese)[5]刘婷,林闯,刘卫东.基于时间Petri网的工作流系统模型的线性推理[J].电子学报,2002,30(2)：245-248.LIU Ting,LIN Chuang,LIU Wei-Dong.Linear temporal inference of workflow management system based on timed Petri net models[J].Acta Electronica Sinica,2002,30(2)：245-248.(in Chinese)[6]JianQiang Li,YuShun Fan,MengChu Zhou.Timing constrain workflow nets for workflow analysis[J].IEEE Transaction on System,Man,and Cybernetics-Part A：System and Humans,2003,33(2)：179-193.[7]Papazoglou M,Delis A,Bouguettaya A,et al.Class library support for workflow environments and application[J].IEEE Transactions on Computers,1997,46(6)：673-686. [8]陈翔,夏国平.基于着色Petri网的工作流建模和合理性分析[J].计算机集成制造技术—CIMS,2004,10(4)：381-387.CHEN Xiang,XIA Guo-Ping.Workflow modeling based on colored Petrinets and its soundness analysis[J].Computer Integrated Manufacturing Systems,2004,10(4)：381-387.(in Chinese)[9]林闯,田立勤,魏丫丫.工作流系统模型的性能等价分析[J].软件学报,2002,13(8)：1472-1480.LIN Chuang,TIAN Li-Qin,WEI Ya-Ya.Performance equivalent analysis of workflowsystems[J].Journal of Software,2002,13(8)：1472-1480.(in Chinese)[10]唐达,徐超,杨晓丽.工作流建模中时态逻辑的研究与应用[J].计算机集成制造技术—CIMS,2004,10,(4)：388-393.TANG Da,XU Chao,YANG Xiao-Li.Temporal logic applied in workflow modeling[J].Computer Integrated Manufacturing Systems,2004,10,(4)：388-393.(in Chinese)[11]杜玉越,蒋昌俊.基于工作流网的实时协同系统模拟技术[J].计算机学报,2004,27(4)：471-481.DU Yu-Yue,JIANG Chang-Jun.Modeling real-time cooperativesystems with workflow nets[J].Chinese Journal of Computers,2004,27(4)：471-481.(in Chinese)[12]李建强,范玉顺.工作流模型时间有界性验证与分析研究[J].计算机集成制造系统—CIMS,2002,8(10)：770-775.LI Jian-Qiang,FAN Yu-Shun.Timing boundedness verification and analysis of workflow model[J].Computer Integrated ManufacturingSystems,2002,8(10)：770-775.(in Chinese)[13]Mrata T.Petri nets：Properties,analysis and applications[J].Proceedings of the IEEE,1989,77(4)：541-580.[14]庞善臣,蒋昌俊,孙萍,周长红.共享合成Petri网的性质分析[J].自动化学报,2004,30(6)：944-948.PANG Shan-Chen,JIANG Chang-Jun,SUN Ping,ZHOU Chang-Hong.Property analysis of shared composition Petri nets[J].Acta Automatica Sinica,2004,30(6)：944-948.(in Chinese)[15]Kamel Barkaoui,Laure Petrucci.Structral analysis of workflow nets with shared resources[A].Computing Science Reports,Proc WFM'98[C].Lisbon,Portugal：Eindhoven University of Technology,1998.82-95.[16]袁崇义.Petri网原理与应用[M].北京：电子工业出版社,2005.225-258.[17]Alireza Khoshkbarforoushha,Pooyan Jamshidi,Ali Nikravesh,Fereidoon Shams.Metrics for BPEL process context-independency analysis[J].Service Oriented Computing and Applications,2011,5(3)：139-157.[18]Narges Bahi-Jaber,Dominique Pontier.Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets[J].Mathematical Biosciences 2003,185(1)：1-13.[19]Li Hui-Fang,Fan Yu-Shun.Workflow model analysis based on time constraint petri nets[J].Journal of Software,2004,15(1)：17-26.[20]Jin Hyun Son,Myoung Ho Kim.Improving the performance of time-constrained workflow processing[J].The Journal of Systems and Software,2001,58(3)：211-219. [21]Ling S,Schmidt H.Time Petri nets for workflow modeling and analysis[A].Proceedingsof the IEEE international Conference on Advanced Information System,Man and Cybernetics[C].Nashville,TN,USA：IEEE Press,2000.3039-3044.[22]Dongsheng Liu,Jianmin wang,Stephen C F Chan.Modeling workflow processes with colored Petri nets[J].Computer in Industry,2002,49(3)：267-281.[23]Injun Choi,Chlsoon Park Changwoo Lee.Task net：Transactional workflow model based on colored Petri net[J].European Journal of Operational Research,2002,136(2)：383-402.[24]Lichih Wang,Shaoying Wu.Modeling with colored timed object-oriented Petri nets for automated manufacturing systems[J].Computers Ind Eng.1998,34(2)：463-480.[25]Andreas Geppert,Dimitrios Tombros,Klaus R Dittrich.Defining the semantics of reactive components in event-driven workflow execution with event histories[J].Information System,1998,23(4)：235-252.[26]胡乃静,顾宁,施伯乐.基于语义约束资源工作流并发正确性保证[J].计算机研究与发展,2003,40(5)：712-719.HU Nai-Jing,GU Ning,and SHI Bai-Le.Correctness of concurrency based on semantic constraint resource workflow[J].Journal of Computer Research and Development,2003,40(5)：712-719.(in Chinese)。
过程视图是工作流模型的核心视图。
它描述企业的业务流程，定义业务过程中包含的活动以及这些活动之间的逻辑关系。
活动和活动间以连接弧表示控制关系。
通过描述活动的基本属性，如活动由谁执行，有哪些人员、组织或盟员企业负责执行，活动执行需要的软件(如应用程序)和硬件(如机床设备)资源，以及活动的触发条件、执行状态等，可以建立过程视图、资源视图和组织视图的关系。
过程视图是本文研究的主要内容，本文通过ECA规则来表达过程视图。
基于ECA规则和元操作的工作流建模原理3.1 工作流模型的结构图：工作流模型的结构1.1.1过程视图过程视图是工作流模型的核心视图。
它描述企业的业务流程，定义业务过程中包含的活动以及这些活动之间的逻辑关系。
活动和活动间以连接弧表示控制关系。
通过描述活动的基本属性，如活动由谁执行，有哪些人员、组织或盟员企业负责执行，活动执行需要的软件(如应用程序)和硬件(如机床设备)资源，以及活动的触发条件、执行状态等，可以建立过程视图、资源视图和组织视图的关系。
过程视图是本文研究的主要内容，本文通过ECA规则来表达过程视图。
1.1.2组织视图组织视图描述企业中的组织单元和组织单元间的关系。
组织单元是具有一定功能和责任的组织实体，一般会承担过程模型产生的各种任务。
组织单元之间往往存在从属或协作关系，形成一定的对应关系。
本文对组织视图描述中，采用一种面向对象的关系模型，不同于传统的层次结构。
是在组织模型中引入类的概念(如角色类、组织类、人员类、职位类等)，建立类之间的关系模型，支持层次化的查找和匹配规则，便于工作流的任务分配和执行者绑定。
1.1.3资源视图资源视图描述企业中资源的类型以及资源实体的属性。
资源是工作流模型中非常重要的一个概念，是活动可以执行的必备条件。
资源类型可以是执行活动所需的软件和硬件设施等，或者是活动执行后产生的新的物理实体。
组织视图和资源视图之间存在着映射关系，即每一个资源实体都有与其对应的责任组织单元，该组织单元负责对此资源实体的使用和维护。
Microcomputer Applications V ol.27,No.8,2011开发应用微型电脑应用2011年第27卷第8期文章编号：1007-757X(2011)08-0047-03基于Petri 网的工作流模型时间性能分析潘海兰摘要：利用高效的建模技术来构建复杂的业务流程，一方面可以提高模型形式化表示的可读性，另一方面便于进行模型性能分析，确保模型在投入使用后的正确性。
阐述了利用Petri 网技术的严格语义，来构建流程模型并进行性能分析的过程。
首先指出时间性能对工作流性能分析的重要性，然后介绍了Petri 网和工作流网的定义、工作流基本路由结构的Petri 网表示，及其对应的性能等价公式，最后在这些基本定理的基础上，通过一个购车流程的实例来构建模型，并对其时间性能进行分析，证明了利用Petri 网技术建模的合理性和优越性。
关键词：工作流网；Petri 网；路由结构；建模；时间性能分析中图分类号：TP302文献标志码：A0引言目前，工作流管理技术已经应用于许多领域，它给企业的流程管理带来巨大的变革。
但是目前在工作流技术中还存在着许多需要解决和改进的问题，如异常处理、流程监控、流程重构等，而这些都与工作流模型的建立相关。
工作流建模是将企业业务流程进行抽象表示，并实现使用计算机进行处理，那么一个优秀的模型定义方式十分重要。
Petri 网是严格定义的数学模型，它具有规范的模型语义，同时Petri网还拥有许多成熟的分析技术和手段，有利于模型性能的分析和评价。
工作流的响应时间是衡量工作流过程优劣的重要指标，也是工作流系统中最重要的性能参数之一。
传统的时间性能分析大多是基于马尔可夫链的，其时间复杂度是指数级别的，很不实用，分析过程过于复杂[1]。
而利用Petri 网建立工作流网模型可以充分利用Petri 网技术进行形式化定义，结合概率论知识实现时间性能分析，降低时间复杂度。
1工作流的建模、分析和执行基于Petri 网的工作流网模型的性能分析大大提高了时间性能分析的复杂度，因此下面首先介绍它们的相关概念。
一种WF-net合理性验证方法何萍，李凡成都信息工程学院，四川成都 (610225)E-mail：Heping2008@摘要：工作流过程定义的合理性对于工作流管理系统具有重用意义，在设计的工作流过程投入实际运行前必须证明其合理性。
WF-net是一种对工作流的控制流维度建模的Petri网，具有牢固的理论基础，是对工作流过程定义进行描述的有效工具。
本文基于WF-net工作流建模理论，在工作流过程定义的合理性及与WF-net的合理性相关的基本原理和分析方法的基础上，提出了一种验证WF-net合理性的方法。
关键词：工作流；WF-net；验证中图分类号：TP301.6文献标识码：A1. 引言工作流管理系统（WfMS）关注业务流程的自动支持和相互协作，减少运行成本，提高工作效率，提高服务的质量和产量。
高效反映业务流程中的变化是工作流管理系统必须具备的能力。
变化涉及对现有工作流过程定义的修改或新的工作流过程定义（workflow process definition）的创建。
目前国内的工作流管理系统普遍不能胜任工作流过程定义的频繁变化，因为它们大多缺乏对于工作流过程定义合理性的检查。
然而创建或修改一个包含了并行或条件路由的复杂过程是很容易发生错误的，即使是简单地在过程中添加了一个任务也可能导致“死锁”或“活锁”（死锁是指在工作流过程实例在执行过程中到达某种状态，使流程无法执行下去，导致实例被挂起。
活锁是指工作流过程实例在执行过程中在某些状态间呈无限循环，无法正确结束流程。
）。
更严重的是，错误的工作流过程可能导致人力物力的浪费，使顾客的需要无法满足，打击员工积极性，给企业造成巨大的甚至是无法挽回的损失。
因此，在工作流过程定义的设计阶段，应对其合理性进行分析，并反馈分析结果，帮助设计者发现并改正其过程定义中可能存在的漏洞。
WF-net是对工作流的控制流维度建模的Petri网。
WF-net是Petri网的子系统，与其他工作流建模技术相比，WF-net具有以下优点：首先，它是完全形式化的，有坚实的理论基础。
