ScopeWork系统工作流定义语言SWDL的设计.pdfVIP

Vol35 第35卷专辑 兰州大学学报(自然科学学版) Supp !!!!±!旦 生!竺兰!!!塑!!!!!望!!!!!型型!型苎!!型坠!!!!!壁垒!堡：!!!! 05 文章编号：0455—2059(1999)0576 李颖，曾春，宋宝燕，田文虎，王国仁，于戈 (东北人学计算机系．辽宁沈阳110006) r 摘 要：奉史提…r一个支持复杂心用的T忭流管删系统ScopeWok的工作流定义语言一 sWD【J(ScopeWoikDefinitionLarlguage)的设计方案ScopeWork系统建立市CORBA信息集成平 台之hJ知用在分札式异构环境，in】5WDL正足以CORBAIDL为规范井在此基础上进行适当扩充而 成的，它可以拙述复杂fMf,J的A-作流流程，_Ji．且能够清晰地描进任务之间的控制流依赖关系和任 务的补偿信息，表达…事务性丁作流的语义 关键词：CORBA；IDL；『‘作流；工作流定义语二 0引言 近年来．【．作流系统已由以前简单、集中的办公臼动化等领域发展剑了现在的复杂的、· 分布异构环境r的一种协同操作技术．日前已经有许多种描述工作流的语言，比较典型的 有： 1)士耳其中东J．业人学设计的I．作流定义诰言——MFD∥，…，这种语言的特点有：MFDL 是一种块结构化的语言，这种结构化的语言兜服了使用非结构化语言和基丁规则的语i彳所带 来的弊端，使测试和调试复杂A,332作流变得简单){：且可以高效地描述复杂的大型的1：作流过 程． 另外这种块结构语言清晰地描述了各任务之阿的依赖关系(控制流和数据流)，对系统 的分布式调度很青帮助．该语言不仅清晰地定义了任务之间的数据雨l控制依赖关系而且还提 ’。 供了火败的恢复机制 流管理联盟(WFMC)提出的J：作流过程定义语高(WPDL)规范 ， 而成的 具有以i几个特点：它是CORBA IDL的扩充，是一种面向对象的结构化语言；它 使川enabledby语句，消晰地描述任务之问的控制流依赖关系，类似丁ECA规则；它提供 了任务的补偿信息和参与者信息，表达山事务型r作流的语义 收稿日期：199904()2 5119846 资助项目：田家863|十划CIMS土题(863002)资助项H 作者简介：李翱(197})，女，顺1．研究生 主堡 圭塑量!!竺!!坚：!墨塾±竺至兰兰堡兰!!!!竺垄竺 !!!一 ．： l ScopeWork工作流模型 ScopeWork的工作流模型中任务之间的跃迁结构可分为6种：顺序结构、应急结构、分 支结构、汇聚结构、循环结构和补偿／反做结构． 下面各种结构中提到的任务，除特殊说明 的以外，都是事务型任务．假设T．(i一1且i一n)，’f，7r，表示L—J任务名． 表示简单任务， { ；表示复合任务．今，j表示分支，U，@表示汇聚．=净，—+，…，表 示3种跃迁．{表示省略． 1)顺序结构． 如果T，中有一个废弃， 表示T，提交后，R开始启动，～直类推到Tn． 整个顺序结构废弃(见图1)． 2)应急结构．表示T，废弃后，’r，开始启动，一直类推到T。如果Ti中有一个提交， 整个应急结构提交(见图2)． 3)分支结构． 可分为无条件分支结构，有条件分支结构和部分分支(见图3)．无条 件结构表示选定所有的分支． 彪 Cond一砭．