（计算机科学与技术专业论文）基于agent的分布式工作流技术研究与实现.pdf

重黪辩学搜零夫学娇懿生院学豫论文 撼要 现今工伟流管理系统运待解决的阚题包括企渡应翔集成能力、动态业务过程遥残性簿。 ；i c 饿a g e n t 愚想构建分雍式的系统结构，配合e 激髋月q 摇述弛务过程是避年来眈较流行的 研究恩路。 针对上述漪瑟，本文藩先提出一静慧予消惑秘规粥的工作流模型，潋诧模型为饕镶， 设计了一种蒺予a g e n t 瀚工傣流系统，系统通过黼a 蕊剐撼遘锓务之间翦避辑关系，戳消 息形式传送任务之间的控制流和数攒流。然后，根错提出的缀织模型，设计了襄任务分 澈方寨。攘下泉，为系统串番释a g e n t 之闻豹交踅设计了一套通讯语蔷。豢嚣在j 2 e e 平 台鞠笑系数据瘠酾基础上，擒建了一种蕊于a g e 贰的分布式王律流系统藏黧。 程上述系统串，各稀a g e n t 封装了工作流 攀或任务执行模块，肖利于分布式环境下 瓣娅癸涟程熊艘，采用麓剿搬导任务拽行在一定辍发主提篱了蒸统静灵滔经，娃k q 戳为 簦磷瓣消患结梅辘够考效减少遥信囊糖。 关键稍：a g e n t ，澧意，e c a 煺则，搜投。通谖 鬣耢辩学技术文学研究生院学位论文 a b s t r a c t 0 h tw o 壤缘) 、vm a n a 黼燃o n ts y s 托m 8n c e d 屯os o l 懈t h ep b i e 蘸捧i n c l u d n g 啦ei n 纯g r a 王o n o f e n t e r p 打s ea p p l i c a t i o n s ，d y n a m i cb u s i n e s sp r o c e s sa d 8 p t a t i o na n ds oo n r o c e n u y ，t h 。p o p u l a r s o i u t j o i 抟i “v o l v eb u i l d i n gd i s 捅b t 砖e 射媳i t e c t w eh s i 蜷a 繇e 毗勰dd e 辩斑建壤酗s 协e s s 群o c e 转龋 b $ i n ge e a m l e s 轴娃娃s 辨静e 嚣w o 呔髓0 wm 硝e lb 8 辩畦。薮抽e s s 8 9 e 粥dn l l e 弧p p o s e d ，e 0 撼i n g 协w h i c h 躺矗神n 她鹳e d 、呔蛀o w 姆8 辩li sd c s 主 辨e d 1 氇e 硝s 继mu s e s 毯e ar u k s 协d e s c r 谗e 墩ot a s k 瓣 a t i o n s h 酗黼du 8 e s 瑚弗s 繇g 姆t od e l i v e r n t r o l dd 采af l o w t 辑髓nt 8 s k s ，f u n h e 黝。慨墩o s c h e m a 毛8 s k 勰s 量g o 撼诲d e s 影砖鼬砖黼矩。御i 粉蛙。臻礅。越翔eo o 碱c 矗t i 黼 l 积g u 韪g 。i s 如s i 姆。畦融t 黔e o o p 。僦i o 辩b e 批e e 鞋扛g e 珏姆，鼬搬eb 鞋s i so f 旺嚣嚣p l a t 溉辩硅 端1 3 i o 纛雒d a 渤a s e ，腧p 羚i o 娜蟑0 f 掰s 糖b 妇dw 。蛙o w 黏嚣c da g e n ti s 确i h i v 越o t j sa g e n 招i n 礅es y 蝴e n 嘲s 试a 艟t h e 麟。嫩疆o w 锚蜘搴掰t 韪s 耘e x e e 棚溅麟啦d u l o ， w h i c h 缸a v 8 i 】a b l et oi 嫩e 砒eb u s i n e s s o g r e 8 8i nd i s 龋b u 始de n v i n 蛙辩“u s i n g 抛l e s 协 撞d u 啦掘s k 毒x o e 驻癌o n 赵a s 馥k i 避o f 蠖糕馥娃l i 霉，砖“端s s 裙e sb a 瓣do nk q 涮l 弹d 珏群 如 b n 渤o f c o 葺m m m i e m i o n ， k 科w o 嘲s ：a 襄e 毂黼e s 钳g e ，e e af 娃l e 趣畦攮。拽黼蛀o 霉母啦搬馥矬i 髓鲑o 爨防科学技术大学研究生院学 7 = 论文 黧目录 辫 ， a e 嫩增强熬：撵瀛管溪系统2 瘸 2 鏊予a g e n t 翁工作流管理系绕2 图21 豕例过程模型。，8 图2 2 转换的示倒过程模型。9 翔2 3 顺廖搂式+ 。9 图23 并行模式 o 潮2 4 选择镤式憾 嘲2 5 循环禳式一1 1 图2 8 过程定义元模型1 2 阐3 辫于a g e n t 的工作流系统缭鞫x 5 阁32 证书申请流穰模型。1 6 鞭3 3 示捌溅务细e 峨靠息 8 潮3 4 蠢询、回麓消息，、。- 2 强3 5 请求、嚷盛漕惑t2 1 鞠3 ，6 分澈、事件消息2 1 图3 7 服务a g e n l 执行集合2 2 阕4 缀织模型元素燕祭图+ ，2 4 嚣4 ，2 缎织棱壅实霉拳关鬟蜜；2 5 燃4 ，3 汞铡缀织妻任圈2 s 溺4 4 分激策路关系髓2 8 图45 懿略解析过程一2 8 图4 ，8 授投模块涿意图 阁5 a g e n t 通禳会锾援型 图6 1 诚书认证系统逻辑结构 髑6 。2 溅努焱g e r 琏绻稳， 瀚a 3 流耩a g e n t 结构， 强6 4 笈现a g e m 缩构 ，2 9 。3 5 3 9 4 0 4 4 2 一一一 i i i 燕臃戳学技术太学霹究童院学位论文 辫6 爨蘩系统中备辩a 9 e 难之溺酌关系， 瀚6 6 主流程顺净图 凝6 7 子流稚顺序葭 阁6 8 印请诞书 图6 9 审批诞书申请， 爨6 。 0 下载证书， 4 2 4 3 碡4 建4 4 5 4 5 。一一一 i v 塑篓爨釜鎏查查鐾堑蜜皇鎏篓藿篓= ! 耋：。：= ! = = = ! ：= = ：= = = ： 轰髫繁 袋3 。 麟势注辫示懑袭 衰3 2 镬势暇务映嚣衰。、 衮5 1 使用魄k q m l 镗为愿禳裘 7 2 2 ，3 3 独创性声明 本人声明所呈交的学位论文是我本人在导师指导下进行的研究工作及取得的研 究成果。尽畿所知，滁，文中特别如淡括注和致谢憋地方辩，论文中不电台其毡人已 经发表和撰写过的研究成果，也不包含为获得图防科学技术大学或其它教宙机构的学 位或证书褥使用过的j 檐斟。与我一鼹= 信的慝志对毒研究辨馥鼬任何贾娥均巴在论文 中作了明确的说明并表示谢意。 学位论定题目：篮筮墼i 蛰趑盍墨攘遗攘盎璧褰萋塞蕉 学位论文作者签名： 缓熟日期：步鲫厂年月，多日 学位论文版权使用授权书 本人完全了解匿防辩举技术大学奔关傈窝、镁嫣学位论文蜂规定，本人授彀霹 防科学技术犬学可以保留并向国家有荚部门或机构送交论文的复印件和电子文档，允 许论文被套麟和借阈；可以将学位论交的全部戒部分蠹容缡八农关数据库避嚣捡零 可以采用影印、缩印或扫描等复制手段保存、溉编学位论文。 ( 保密学位论文在解壤后适用本授权书，) 学位论文题目：基置挺! 生鲍佥盔盎羔经速攮盎型窥复塞趣 学位论文信者签痿：左勉 作者指捌十签名_ 一运肄 鞋强：硝4 确f 扣 日期：舻譬年f 月f 牛日 凰辚科学技术大学磷生院学经论文 第一鼙绪论 避年来，绉食工 乍流缓术每枢e n t 技术是个热门鳇鞭懿方辩。搴露誉先分缀了渫遴 翡激及磷究意义，然后辩篱内矫的磷究现状散了鬻要分析，接麓颡举了率变躺主嚣王诈， 臻厝橘避了本文的结构。 1 1 谦越鬻景凝龋瓷意义 鲢前应用巾的工作渔鬻理耀统主要蠢在蘸个婀题：( 1 ) 毫予锻鼓集中控划；( 2 ) 缺 乏囊主粕反巍链力。我们开发毙毕懿骥褚对金融系筑鲍工佟流繁理系统( 1 t e l i f l w ) 属予黎中式黎梅，在实施鄹瘦溺避糕串黎瓣了秘恣遗癍往瞧不强，任务执行模块藕台 0 竣 紧端弱点。因此嚣要寻找种髓谚提麓工作漉执行灵活性井宵效集成魍终环境下业务滤程 黔解凌方案。 海了透痰壤钱企渡努臻蕊瓣繇境秘灵活多变瓣攮务逻瓣，一鉴灏靛钒露被s i 入戮传统 工俸流管理系统中“3 ，其中一种方案鼹姆a g e n t 拽术相结合，遮种方案的懿处包括： ( 1 ) 蠹鸯性，缝够攥据瑗定辫繁略自主控铡工作澈稷翡撬行； ，起e n t 之阏辎拦 独就并基麓够独立攒导滚獠技行。熬个王绺渡攫幽转裙子各个予鲻串黪a # 翎舍捧宠成， 滚释逻辑嵌入刘a g e n t 漆郝。蟪种方式爱歉了现实餐界中熬情最；业务漉糕跨越了众渡簸 嚣个韶f l 甚至楚 枣劐其憾惫鼗，这撵一个审心互稼瀛s 擎难予获得全部熟蓿息来控黼流程 的避行。一摊照霄效麴方式是每个组织单元捆帮个工作漉日l 罄，各个j 王搀瀛s l 擎裔侔宠 成整个业务滚槛。 工 # 流管琏蘼 统鞠a g e n t 资溅、搬梢程 序或耀产 潮。2 基予a g 鸯随的蔓侔瀛管蓬系统 在遮穗模式下，a g e “t 渊入副工镩流餐瀑系统中骢垒部功鳐镤姨，越。n 毫睇努疆、控 制、稔测工作流的遣行遵程。鼹外，瓣e n t 之简可戳糊甄通佰，在这种情况下a g e n t 成艇 越魄技离的智链，铡强协磷戆力、学习能力簿簿。 一_mh_*m_m_6_h_一一一h_pww_ 辩2 贾 匿蹬科学拔术大学摒究生貌攀往论文 一般认患，a g e n t 增强麴王痒流代裘n 短勰癜一秘探索蛰对滚程餐壤抟妇e n t 接术麴 可行方法，餐凳簸终静醋稀仍是实蕊个完全蒸予a g t 韵流稚管理幕统。本文的研究憋 路建将蒋统王佟淡系统翁g l 肇、镬务执行模块、任务分涯模块封装蓟a g e n t 巍中，由警种 a g e n t 协调竞藏跨部f 1 甚至跨企业鹩她努流程，通过艘粼箍述躲e n t 涮的逻辑关系，辨盛 富特定添义携a g e n t 遴僚灌富实现a 黔n t 之阊静交置，这种方案翁优点是t ( i ) 爱灞豹分灏概涮。矗g e n # 之溺嚣锣姆磷确定蠢谌受舞执杼菜个经务，在流稷运行避稷中， 麴聚发现某熬不能宪成强务的a g e n t ，将重新进行分褫确定替代的抵行a g e n t ， ( 2 ) 分毒式黪聚辘浆橡。多缒e n t 系统逶照予分凑忒繇境，箕审，娜终巾独立的a g e n t 封 装了传统二 乍溅管理系绫熬各秘功裁模块，执行持发到本缝的漉程片段，满足了现代 垒渣流程簿疆躐的需饕。 ( 3 ) 规蕊和籁巅二了强努之间鞠逻辑关系。业务热刘邋过据式他鹣e e a 撰剃”建义在王锋漉壤 板中，通过规则库集中餐理任务之闻的关羝。 ( 瑟活静遴络方式。瓣终澜黔复絷遁傣一般采耀远程 簿鲻方式，实黼盼愫输形式为跪耨 流或者转傀为潮l 格式的对象。a g e n t 交互谗富蘩嗣字符率形式疆述，戆够有效减少道 镶流量，弗能表达丰富的语义。 i ，2 阕内羚磷究溪竣 现今，避没鼹用躲宠念鏊予蛭e n t 豹工挎潍嚣瑷系缆，健趋，程菜爨磺究镊域鑫缀 出骥了若干鬃统鞭型。关子a g e n t 技术猩王作瀛管理系统的逡粥，一般囊考虑以下润鼹： ( 1 ) 建模。拣逡蒸鼍：a 瞢e n t 的王 乍藏攫型与传统王律流模型存在不同，摸型虑考虑到a g e n t 的囊主憾姆点，减少模抉之问的辐禽庭。曩髓嫩现了诲雾分据靼构造王传漉摸裂的方 法”，主要魍括基予活萌随络豹过程模墅、枣襻鞭动鹩过摆链模嫠、纂予语富行为壤 论浆工律瀛模裂、莲子p o 订i 嘲的忑幸蟹流骥型等等。遮魏建镬方法礴祷备真的特煮靼 应用领域，可以作为其它工作流模型的参考旗勰。 ( 2 ) 累统架翰。爨藏，钳对不瓣憝盛雳镢壤产生了螽辨系统架梅，通常设计为一个豫e n t 代表一个功憩部律，锏翔a d e 辨曩统8 。o e b e n h 删”提出一蒂卓赞对接收大学机构中学生 申请的工佧流繇统，系统将a 鲋n t 分为申请a g o n t 、监视a g e n t 、控制a g e n t 期镎理 a g e n t ，邀些a g e 髓突现了对照懿用户功缝。蜷辨一静系壤缝麴袋鼷? 移动a g e n t “。， 移动a g e n t 代袭了个工佟项并鑫妻浚定裔赛鹩移动线路。 ( 3 ) 数据约束。工作流之间存在资源约柬关系，纂予a g e nc 的工作流管理系统能够材效地 解决这个瓣逐。文默 醴主器讨捷纂鼍二a g e n e 躲工俘滤繁理系统孛豢缝配嚣、正弦滚撬 抒麴魂惑调度啦及多a g e n t 系统鹣缀缀帮遴傣翔簇。该文献捧者试为缀缳撬梅内镌每 个资源( 包括j 人员、设备和数措瘁等) 都有一个a g e n t 与之桶关联，援其实现的功能 不同，a g e n t 雨戳分为以下三类：锻秘堍e n t 、轻务a g e n t 、资源a g e n t 。当用户囊渤 簿3 舞 恩臃科攀技零犬警研究堡蠛学斑论文 一个工俸漉时，互捧流执行嚣务藏锚建一个任务a g e m ，过程定义镩斑参敲侮输缭佼 努a g t ，矮务a g e n t 解释执行过稷定义，在执杼谶程中，它与接口a g e n t 交蔓协商。 ( 4 ) 捻磷避接方巍。姆麓避雾a 嚣n t 藤缱熬震装圭艇，实现a g # 之嬲黪有效游豫跫一壕 蔓祭的工：黪，樊鼹这种缀谶褥簧鸯嫩三个方籍：a g e n t 之瓣进行交曩辑辫的消惫嵇浚、 勰e n t 之瓣滋舒交甄耦遽僚懿方式豁爱秘o n t 乏阕进行协 乍掰需韵交嚣协议。在邀个 领域中，k q g l 。幂但定义了套瀵憋格式飒笾，网辩憋提趣了a 9 8 n t 之阕期谖共攀鹣漕 蕊处理协谈“。协商娩方式可驻分为瓢下尼晕孛：攘理诲囊“ 契约式协翁“8 ：蕊予熟 谈横穗豹协巍”5 。 ( ) 韵誉流箍修馥。旗惑工馆流希囊簸掩筒工俸瀛繁溅蘩绕程遮藏鼢浚鞍掇行酚段鼹淌淼 憷。k a m “4 靖动态蠹邋巍的工傩流系缝所簧巍簸酌功麓避行了辍耩；( 1 ) 镌够秘态 魄髂改翮编制互作流过穗蹙义 ( 2 ) 工作瀛酌执行摸鹫谢以粼霞；避行都分孰符、捺 譬性执杼秘强制执行；( 3 ) 能够为添劫、资潞、天王活动分门爨粪绣建立模型，豫诞 褒运行辫霄帮选择魅，弗搽谣整个避樱翡一黢性；( 4 ) 墓育爨反性jz 依流道鬻镬撬 行辩麓镑墒润爨器，并对裔西的聪攘攒黧新黪敬 ( 5 ) 檄赭避耩实黼黼过稷横整避行 攘壤； ( 6 g 够逻瓣势孵巾过程模型；( ? ) 能够葶爆避糕片段褪缀件摩；( 8 ) 麓 够谤阅王裕掰史，并是专豢突篮 ( 9 ) 为参每鬻瓣供嚣秘遴楼静集斌变撩。为了究成 遐撬功巍，必须由建立输鹱靼运毒予狳毅籀茧醚含考辘竞或。秘蓊麴爨邋应王襻流撩术 辨究丈部从其审舶几个方蕊入孚。 奠京辍关鹪戳究成果还饿撼； 媳e n t 翰r 妒。蹙个赞辩蘸疗系统鳓工髂漉簇澎落统，宅支持爨动遗斑溅鞭改变，健愆 规则描述流襁中的逻辑异常和遁应策略。鞭统采取时序预测机制判断流穰遴衙中受黪常影 嘲抟漉键片灏，镄先选簿蘧鲞豹处遵筵嬉避行处理。逡辞方茂霹激疆大鞭蕊娩减少人王千 瓒，绦谣及辩媳懿理应稻释嚣，对予撼务浚程经嚣变动的斑薅熟帮糖当贽馕。 文献n 4 介缁了在怒样把a g e n t 写监麓存在的驻流程为中心瀚环境嫱合以解决分布斌 王棒谶模型的演变簿题。这个蒺子流檬抟球撬宽诲褥灞一个工 滤的流程辩繇分带焱遗趱 位黧不嗣熟王髂空满孛，各个流程冀耩麴警治政变g l 发了一致犍溺题，佟者健鞘移动瓣e n 按术键供惑翔s 务解决甏新流程片断的冲突。魏酥壤镑括三个酃分：支持分布式移动避禚 的互终浚系统；吏持动卷蜘络滚程静软a g 硼t ：瓣e n 鸟工辛；漆遘攘鼹努黪。 谯务郛人臻辩霹娃撬淹橛e n t 餐瑕瓣对象，文黻e l 鞠捷耀三类据e n e 寒掏架一个王裕 滚蛰理系统：蛰壤a 嚣武、强势艇e n t 、掰户a g e n t 。爆户浚辫嬲户名，黎统辩饿产燕个 蕊产锭理，考授艇的鼹户瑶姒遵过塌户健疆注麓令赣麴开发曦爨，程域甓淀瓣蹦，蒸绞 会菇德生成一个项鼹管琏谯联。项鞲鹫理健理产袋一鬟鳓弱链努戴璎寒管理嚣个子程势e 各个强务分溅缭参与的开发丸臻，凌耨燕懿彳王努戴遵褥弼户代理乏鞫建立联黎。递进臻爨 管骥代疆寤渤工作流，兰种代瑗扛辍懿合擦动工撵流麴抵行，囊剽竞或琰鞭开发诬务。 文献f 爨爨癌了一种踌叠照的照努淀猩建模爨想，并褥遮静建模方法藏掰于一转蒸予 嚣4 爱 西黼科学授瘩炎学勰突生藏譬斑论文 a n t 酌工佟流系统。该文献作者认为可强蒋备靴量鼍务裁装列a g e n t 当中，迸避靛烈拯述 经努之澜抟协佟。毽是文中并没有解凌嫡何封装任务和服势发现问题，没有严格定义任务 之间酌褥 乍方或。 缘上搿述，谨赛现a g o n t 技术尊工髂流技术臻台鞠方蘸蠹经敬褥了鞍多熬研究避避。 热述魑存在黻下不足： ( i ) 雾数方法浚蒋竞全实魏a g e n t 禁翰。些慧绕原蹙采蕊a g t 受黉接霞墓个漉糕片。簸 或者饯袭菜瓣燮源，毽燕在艇个系辘缡鞫中铸然袋焉传统瀚工作流 擎援制整个照努 流稳豹运行，焉法将系统麴器季孛块稚攘捷竞垒部崧劐分帮式环辘中。 q ) 没蒋蘸薪攒深任务撬行密靛浆为。每个任务在流糕穗动魏确建了负黉墓逡行熊堍e n t ， 滚鼷运行过键中凭法璃繁其豢麓关系，藩a g e n t 笼法撩辫宠残任务，最麓藿耨开始流 稚，其它的经务静使究艨谯双麓馥邂。 ( 3 ) 援务分源帆囊4 仍不竞游。一般燎挺下，在模型定涮之前瓣经势进哲静态分派，德疑许 多系统在运行辩剡鳓分暇壤酶爨不炎荣，没膏考虑镊务撬盼凑的到翁关系。 ( 大多数方法没商考惑a g e n 之间秘通髂。a g e n t 之阐静通信姥较复黎，篱攀的字蒋蹲不 能描述复杂的交强意图，复杂的黠象传递方式搜最绒变褥麟黔。 l 。3 零文黪奎要正炸 针对翦瑟介绍的研究现状中的不髭，绩仑我们鬟魂的王律流鬻壤系统，零文圭燮避杼 了弧下几个方瓣靛王终。 ( i ) 定义了一耪旗予溉剜瓤消息镌工撵流模型。遮秘模溅褥满稷襁为 薹势抟撼台，搜燃黼 盥哇撼逖任务之潮抟逻辑荚添，默消患形式实蕊镁势之闻鲍通髂。熊模燮蹙本文糕予 a g o n t 魏工髂滚管理系统的基础。 ( 设毒中了一种蒸予a g e n t 豹王俸流鹜壤祭统。系统串窬在三秘a g e n t ：溅穗躲e n t 、麓域 a g e n t 和月女务a g e n t ，其中溅程a g e n t 辩装了传统二作滚l 擎骁娩，发联堍e n t 梢乎罨 我程务执嚣嚣，黻努a g e n t 是具体的经务巍 畿，它g j 斓蕊台谗竞或憋令王佟流裰。 文串襻经瓣遴7 冀工傅避稷n ( 3 ) 掇出一种比较巍饕的镬务分派机制。任务需龚执行者，业势规则露簧定义零件触发卷、 条件梭查翥。王佟流g 攀的一个爨婺秘务就是程遴娄鹩对瓣姆辫要人工她避鲍髅芬交 慰鲶合适鹩魏抒者，工侔流参考模鍪”3 搬这黧经势零剜称为镁务表，执行工作流程站 引繁制定往务液，把证务分配给用户。文中介缎了嘏应的组织模型，攒逡丁分派攘噫 瓣专跨过程。 ( 4 ) 设计了工佟溅餐漠系统申a g 哿n t 之搁黝逶臻语誉。工稼滤穰瓣经务之溺眷程善六鬣麓 通信，我们撼传统的工作流部件封德成个个独立的a g e n t 安体，这样，任务之间的 揆露就是a g e n 之闽瓣埝 擘。协终瓣爨豹蔻突羧蔡攘蓿怠，蕊蕊需簧禚廉翁语意对遮 嚣5 页 耍鐾篓薹篓垒竺奎耋謦坠垒耋篓坠篓童窒坠圣：= = 一 黪壤慧避行裘示霸攒避。a g e n t 返僚潦誊嗣来交迭牧件a g e n t 鼯釜褥强糖黝认娜、髑鄹 珏 驹疆解耥裔身游意翻，它斑箍一种描述健谣毒，燕有严格的语法、语义和谱梢，并 靛独立于典体肫系统锪鞠霸运行平台。 ( 辩实现了纂予孵e 眦翁分巷式工作流祭统灏型。娃乏鞭型强j 2 髓平台帮关豢数撼瘁为攀确， 秘步鹿惩予麓撬子诞书讽涯系统。 l 。沦变缝撼 缝论描述了谋题背景和研究现状，列举了本文将臻解决的蒋干问题。 簿二章疑惑龄分褥一耪纂予规r 霸消惑熬工佟流横避t 挠模燮是零骥踺讨论浆工俸滚 蛰避祭缀鲍基础。 箫曼章描述了一种蒸予a g e n t 韵工俸流管理系统架构，讨论了其中的月务辩装、服务 靛娥帮数据滤秘闽避，谨缨瓣释了暴绫逛孬规剖。 楚醋章溺述了缀织模蘩鞠锤务分潦策貉。分辑了任务瓿行蠹之阗豹制约关系。 第五牵设计了锌对上述系统酾a g e n t 通信语畜，扩疆了黼l 襟语并分攒冀语义。 纂穴章攒述? 摹巾基予a g e n t 数分搬蕊二 蕈流黎统鞭型实骥方寰a 簸籍总终全文并捂波寒束王作静方囱。 一磊亍一一 鼠辨科拳接术大掌研究生院学位论文 繁二颦工佟流模鍪 _ i 俸漉模型搬聍工律滋酌热象袭示，爨藏燕对娩务浚程虢抽象袭汞。工襻裁警瓒建立 阶段淹糊的挝努流程定义( 浚稷模扳) 匏够通避这静摸型形式化袭暴，弼辩，它畦妻蟪对王 佟流运行阶段的控制流和数据滤进杼描述。 奉章蓠先惫义一种王馋流模型，然篮说明了将流程模檄转化为这耱模型的方法，接整 分播了这静模戮瓣褥点，鼗爱比较了箕匏工豫流摸鍪。 2 1 模型撼述 零节掇撼援块姥惑薅定义了熟鼙子蠛和灌惑的工捧流模型。戡模型中工俸流程幽 各种任务模块 剿 痿麓任势t j 。 ( 2 ) 芏务表示为嚣缀t ： = ( 致g 置，舅霆) ： 一一一一 第7 贾 国阶科学技术大学研究生院学侥论文 i ) n 是任务标识，一般可滚示为流程中唯一盼字符串。 2 ) 0 是任务对象，包貉： ( a ) p ：任务对象的属性集合，主要描述了对象啦状态靼耀关业务数挺。 ( b ) o p ：经努对象的操作集台，由服务提供耆定义。 3 ) 鞋是任务e c a 规则熊：蓐= q 、口。，岛 。用于描述任务之阃的同步和协作，其结构类 儆上垂定义抟流程e 激烧裂结掏。 一个示倒经务e c a 娥则撼述熟下： w h e nr e “ 如gj ftr o x 1 0t h e nt ? do p e r a f i o 摊， 褒示任务t 。中对象。的属性x 的值大于1 0 的对撰执行任务t ；中对象o 的操作 o p e r 8 t i o n o ( 3 ) s 是任务对象的状态集合。一个任务可能的状态有初始( s t a t i c ) 、完成( e 。m p l e t e d ) 鞠挂越( s u s p e n d e d ) 。 ( 4 ) r 是在务瓣魏行结袋。越耩s u e c e s s 、f a i l u r e ，分嶷表示执行藏功、必黢。 2 2 表示懿簧滚程 一圃湃 图2 1 示例过程模型 围2 、i 中表示了一个示例过程模型，模型绘锘j 完毕后生成褶斑的过程模扳。由翻可知， 第8 炙 国防科学技术大学研究生院学位论文 路l 砖节点描述了流程分支、聚合的裳型。路由边上的条件则是判断路出走融的傣摄。漉程 模擞中包括各种嶷型的路由节点，以及每个路由边韵附加条件和起始节点信息。 以第一节定义的工傩漉模型为搬导思想，可以熄图2 1 中的过程模型孥晕换为图2 。2 中 模魁。比较褥静模型可知，菇者表示鹃过程摸澄去除了逻辑节点，只保留了开始、缡柬节 点霸任务节点，并减少了部分路由边。建模人荣在建模工其中制作完毕这种过程模型厢， 需爰通过另外的规则定制工具定义流稳e c a 规则釉任务e c a 规则，在遮监媲则中体现流程 中节点闯的分支、聚合芙系。 圈2 。2 转换的示蜘过程模型 眭撬粼燕予表达选努浚程中攥务之闻鳇协 擘关系，这些关系透过分掭可班凳| 分必强 种模式：顺侉、并行、选择、循环，同样，任务内部韵动作关系也大致对应为这四种模式。 这些模式囱a 翘裂的转纯方法热下( 鞠示中方握拳接述毵a 襄剿，其中e 表示攀婷，e 表示条件，a 表示行为，8 = e 表示行为8 产生了攀转e ) ： ( 1 ) j 壤穿模式只霈依次连接相关联的规划，这赡勰娜一般没脊条件选择部分，后续行为由 前驱彳亍必产生的事馋触发： 匪目 謦2 ，3j 骥侉模式 在圈2 。3 中，事 牛氓魅发了行必讯，譬i 失魂产生了事l 粤如，事箨e z 又触发了行为锄， 依次类推。 ( 2 ) 多# 行模式分为并行分支和并行聚合两种。并稽分支，箭驱 予为产生了若干事件分剃触 发若干展续行为，幽2 3 ( a ) 表示事件e ；产生的行为a 。触发了两个事件虹和e n ，遮两 个事件分别触发意续行为a 。和a 。并行聚合，后续行为的触发事件蹙前驱攀件的台 敷，固2 3 ( b ) 表示嚣个娆剐静行为a ，轻a 。辘够分爨产，董事件e 。鞫e * ，只有当这两个 潦件全部艘生时才能触发相应的行为a 。 第9 嚣 霪醛科学技零大学龋究生巯攀像论文 ( 。) 圈2 ；3 并行模式 ( 3 ) 遮择楼式势为选耩分支秘选撵聚会。选择分支，嚣续瓣瓣覆据不黼的条髂选撵融羧不 翔熬抒斑。选择聚合，麓续括必鹣熬蓑条 串楚黼驱事髂熬橱酝。翔黼2 4 ，靛驱蔑翔 的行为a 。产生事 牛e 。这个事体发生愿，摄攒4 2 努条传。靼e * 礁定唯一的羼续援剥， 触发行为续聚为戴鲰。行必8 缸或产生静事转分舅i 炎和，蒸中嚣疑惑一个 霉 孛发垒嚣霹魅发行必a ” 鞠2 毒选撂模式 ( 4 ) 循环模式歪少需要两条e a 规划描述转移过程，遮两条规则的事件米自于同一个j 7 酋环 瓣，势鼠秘露产生鲍攀 牛分爱舷笈瓣方。鞠2 s 中，攀彳串e t 魅发行为孙经过糟手稿 缝援雯簦，又产生了事件热，于是融笈行为氇 ，形成了徭环罄。如栗勰爱逻辑定义蒸确， 那么在循环濒中，盛将存在莱条勰弼产生韵攀释触发捌循环蕊戳并的蕊嬲行为，于是 棼龚环结寨。 _#_m“m”_一hmh_h”*一一h一一十w- 第1 0 嚣 甍麟辩学技术大学磷巍燕虢警徒论文 溪2 。5 键环横凌 避过上蕊黝播述，辩 2 主褥翻潮2 2 黪示转换的王作瀛耧铀规鬟l | 描述： w 疆n 开始溅程t h 测捡套订攀； w h 硪检蠢订单绪柬i f 检查有靛豁计葵价格并囊撬簿箨； 醐醛梭登订荜结蒙 f 捻尝无效矧矾漉程结藤； w h e n 计算价格并霆找库存完毕t h e n 主管审批 列麟毒管窜搬绻隶i f 枣拙绻皋= t r # et 蔓酬坐产势发送 鞴弧主管窜懿鳝柬l f 率批缡爨= 魏l s e h 甜竣查订罄； 稍基n 生产并发送绪柬州矾流程缩柬。 2 。3 模毅矜衔 工作流模粼是对工作流的抽象波示，理想的工作流模型除了应该燮持觉整的工作流概 念定义，为建模用户提供定义工撵流所灏要抟露絮静，还瘫该适应髑j 牟程缓嫫过稷中鼹提 龄静番秘褰求，工箨漉豹攒述缝力蘩强，耐珏滋逐清楚遗搦魏韭务流穗模整，筑秘翁斑 用中的模型柯造方法采着，躐离诧理想情况尚穰遴远。上一节g f a 的基于消息和娥划的工 作流模型其商以下特点： ( 1 ) 馕恶揽则撩逡 壬务豁撵。模型审醛势了流程c a 援烈鞠强势e c a 栽鲻。瀛程c a 蠖烈 翔于辆述经务之褥鹩拚 笮，稍翔何辩分支，如何选择等等。经势转c a 黼黼用予指导任 务内部扮抵行过程，镶如何辩触发个相关鹃动作。般来说，瀛穰帮侄势躺扁罐翱 箨止，敬蔹影碗漉稳流转豹分吏、袋台、镶环蔑系出流聪鼹a 嫂剡搬透，薅谯务鞲a 线蒌l | 耀予攒逡祷莛雩及翔籍转送艋务之闯静数攥漉。麸籀搿设计豹j = 俸流系统巾胃鞋发 溉，遮掰种麓猎程定义时存教在道释模投警中，运籍时势掰发布劐流程控籍模块秘往 务控制模块中执行。 ( 2 攘块纯= 佟滚程。王佟流程蠡备个程务拇成，每个程势凳戏特意瓣功麓，遴邋辩j | 薹务 对象震撼档锤务执抒期雯g 豹没宠，锓务摸块簸够装配剿不越船工作溅稷当中。这撵， 可敬将辫发工作分为两部分弼时进行；流毂设计者专注予镬务协佟关系，镁务设计脊 关注予程务功能实瑷。实现乏托嫒密易帮瓣剿分蠢式邵境下，嫂予健翅现今流露魑 a e n t 、j 姆“、w e b s e r v i e e ”技术。 ( 3 ) 戳字符牢稳式韵满惑羚步传送信惑。这晕孛方式韵好缝宥：( 1 ) 消恳发送者发i 懿漓息磊 _hh_m_一mhw_wwh十_ 第i l 甄 萤瓣零幸学技术大学辑寂生院学髓论文 不毖等待帮埘返回，在牧捌反馈消息之前，发送者能够避行其德的工作。相对于镶罔 远程方法调用。在网络环境下弊步方式更有利于撮高系统运行效率。( 2 ) 魑无法立 邸筵新的遗爨辩 牛翅巢翥纂扩蕊功镕弼可能遴爨舞褐系统兼容往阏爨，采用字符率清 患魅发方式避一种簿潞豹集成方黎，闷对解橱字符串籀对于解析遗襁对象丽言瓣痿较 小。消怠内容格式酉戮采弼x 乩o 栽蒲鞠m l p l 。 = 王= 悖滚喾避联鼗( 鹈r k l m a g e m e n te o a l i t i o n ，# f 粥) 为攒述工俘漉模型蠹猩联系 定义了一个元模型( 禹2 。s ) ，髑予攒述王俸漉模黧海部餐含麓备个对蒙、对象之澜的关 系投瓣象酌藩性。通过讫较魏元模型定义的各种元索，可瞄裣鸯舀定义豹工作流模氍燕否 达到了遁用模型的要求。 豳2 6 过程定义元模型 谖元模型镪禽敬下且个耩枣实体： ( 1 ) 工终流定义( 过程模燮) ：反映了垒热业务趱程； ( 2 ) 活动：相应予企业业务过程中的任务，主要发艘完成企业业务过穰需要执行哪必劝胀 搽作。 ( 3 ) 转接条捧：差要负责强迫程实例鹩推避提供导靛饺据，对成予企业业务过程中麴媲势 规则和操作的顺序。 ( 4 ) 工作流褶荚数握：一般业务流糕篙饕预定义磐数据，在送行过程中也需要特定鞠业 务数据。 ( 5 ) 角色：主甍描述企业经营过程中参与操作的人员朔组织单位。 需要激活的虑掰程垮：主蘩描述埔予究成企l k 经簿过程联采掰翁工其璇手段。 本文提出工作流模趋可以形式纯媳描述具髂麴j ：傩流程，它与上述元模激的对趣关系 直廿下： ( ) 工律流三嚣缢w 定义7 建务流稷。 第1 2 页 营防拳车学接术犬学磷究生靛孥霞论文 ( 2 ) 程务五元鬣t 定义了游动。 ( 3 ) 流程e c a 蕊篓 | 和任务e c a 蕊粥表逸了转换蘩俘。 ( 磅王捧流褶荚数糍存放在王律流糕垒妫数据霹或每个任势对黎中。 ( s ) 任务由艘务援供者亮成，蕊露章节将讨论如僻努滠任务到勰关麴八秘鳃织。 ( s ) 辫瑟激活瓣怼瘸程窿幽特定渡务入萎定涮。 2 。霹等黎窀工作浚禳鬻的荚系 下甜介绍几种翼有代袭饿的工作流模型，分析它们与我们的工作流模型的关系。 ( i ) 蒸予活动网络的过程穰激。一个宽憋的业务过糨由一个笼赣邵的青向图秘成。宥向缝 中懿节点元黉淡示霹执褥酶步骣或经努，节点澜躺连接弧伐裘了过程审拣控象4 浚鸟羧 榴流。缀糯模醚韵元索包括过程、活动、模块、控制连接黼、数据涟接弧帮象件e 逡 一袭模爱拼蒸蠢魏特点蹙简单、蠢瓣，便予壤解，适台予流程较为戮定、异常清撬较 少麴生产型工 謇流豹建竞，有翻予农业规蓬巍身戆内部滤程；但这类攒裂 差缝缺惹黎 性，显褥琵较豫援。我们之兹实褥秘 n t e l i f l 蒯王于擘滚罄迸系统聚粥的耩是这种邋 糕模型，在接遴企蹙救务趱程方嚣越裂了笑键熬伶蔫，娄然，也窭现了土蟊援期的菜 嫠润寇。 ) 拳转驱动辨过程链横蹬。麓黪e 粒搂裁，差磐鞠予企数翁数努过程譬缀、工菸潞戆定 义碜篷剁、较 串的既爨与器发等等。e 粥弱拳黉霜索是功能秘零件：功携鑫事 牛触发， 功熊也能产生桶瘟的霉律。e k 搂戮酌一个檄犬韵优点裁在于它兼獭了穰墅捕逑能力 强与模型爨滚矬这群个穷蕊，嗣时经过改避、提炼羼，露以搏为一个叠照信息襄筑戆 镶求定义。 ( 3 ) 萋予语富翁为( s p e e 曲a c t ) 理论鹣芏俸流模懿。旗于对活凝态霭建立褥箨过程模蹙， 协律过穆豹整奉组成霞豢燕一个瞵窘鹪环，它涟凌了客户方秘鼹务方蹲豢角色，蘸者 向餍者提出要求，癍赣m 4 尽力使前嚣满意+ 遮衬道模方法的不足之处在乎支持艨次化 建模豹力幂怒，不适食蹴较簸定盼焱鳖经蕾避鹱，建搂入燕馁难究蹙嬲磕避剃盛磺 方衔有可能瀚诺言杼两等。 ( 4 ) 耩于p e t r i 网的工作流模型。近年来，利用p e t r i 网1 为工作流建模怒比较流行的做 法，它主要露骇下熬谯点：p e # n 燃藏藤了严格谬义与授予撼形纯嚣个鸯囊；鹣娃i 黼是一种纂予、谯态豹建模方法；鹣”i 弼獒肖磷省力的分析技术鞠手段。在t n 戆 的基础上，又提出了工作流网( w f n e t ) “4 的概念，文献。”使用工作流网讨论了如何 实琏对动态逛义鄹动惫修改的支持。媳是馒掰p e t r i 嬲的缺患包括：缎成模型鲢诧素 数爨过多；茏法钵筏数摆流等e 近年来，对予工作流模型韵讨论奎簧集中在如何掇高工诈流劫态适暾性、如何简化模 型元囊等方蕊。铷如文献2 哇3 提出了一个动态变纯瓣兰维空婀元模型( 过程模型、缀织模 第1 3 蕊 窭辚科学技术火学磺巍生院学键论文 璧霸信息模鍪) ，认为动态工作流静元骥型可形式他成一个3 元组 。其中o 袭示 组织模型在不问时间的元索，i 表示信息模型在不问时间的元豢，p 装示过程模型在不同 时阍黝元素。捧赣希篓遂遴露模型对工佟流系统中涉及到鲍元豢豹潜在炎纯，交纯的依据 秘戳剿戳形式纯豹方式辩缡慧结出柬，籀导建模进糕中的元索定义。 上丽列举的典有代袭健王作流模型能够帮璐我们构造业务流程班及验证模型正确憾。 ( 1 ) 建造业努浚援仍然嚣簧篓于滋动燃终酶过程模篓；我们搜瘸整a 攥翻描述任务的瓣步 秘柞关系，戮消惑形式程 王务之闯传递铸惑，餐对予需求庭蒜t 氏爨来说，最为盥翳的 燕壶各静活瀚窑主及遥接活动静撩翻、数据弧缀藏游流程搿。过程模魏譬我稍定义的模 溅魄大致黠废关畚是：过程、溪淤鞠模块对疲经务，控制连接弧、数攒连接弧和基搏 澍应瓣a 撬则。 ( 2 ) 我锏懿搂鍪使用e 泓瓣箍遽经务之闻懿关系，事 学毅海任务熬搽佟产生，触发滟 动作又可能产生毅的攀传，依次掰成了事 牛动佟链。使用搴l 牛驱动的过程链模拟& 够 分橱e c a 规则，比较清楚地表达规l 触发源瓤触发结袋之惩的关系。 瀑言行为理论寿鼬予帮助分援殛务之闽痿惑交嚣熬器义，廖匿翳囊繁我嚣j 将谬粼 乎论 如何使用具霄语义的消息表达a g e n t 之间的交耍。 2 5 曩、缝 我们采用的王 乍滚模型耄备秘任务模块缀戏，寄剃于势撑设计溅糕靼馊藤分毒式黪俸 豢结擒，毽弼嚣e a 援噩l 撼述数务流程援剡，能够为瀵程熬执行提镤一建翡灵活性，叛字祷 枣淡惑转送绩患，毒劈子集成异毒每髓遗整系统。我稍珂以错勘于进程模赘、潦律鞭韵模篷 和谗害行为理论分别对业务过程椽建、e c a 规女4 梭验和通信谬骞语义理勰进行分梃。嚣甄 几寒将分别对这些内客避符详缨介缓。 第i 4 贾 爨辨辩学技术犬学研究生院学位论文 簿三肇系统缡构 在，t 一辩介缨麴工荦# 溅实观模型蘩戳上，本攀褥如一荦孛攀予a g e n t 麴王俸滚曩绞终鞠 然嚣蠖爆实测搂瀣描述一个瘫耀实测，对系统运行邋程进行解释，最嚣魄鞍穰关工作。 3 i 络稳 本节先概饕介绍系统嫱构，然嚣对其中的备静模块进行详细分板。 3 。i 1 缀鬟 我们设计了瓣基予a g e n t 韵分布式工作流系统，其基零撼拘如鞫3 ，i 掰示，盎；凝包 括以下三个郝分； ( i ) 溅程定义王熟。毽懋辫形忧鸹建镤王爨对池努流壤进行接述，谴婀黝l 文棒攥存每个 流程模投。模蔽攒逑了流程穰惑、节点倍惑、b c a 麓羯簿簿。 ( 2 ) a g e n t 服务器。负资管理嚣个工作流实例，包括流程a g e n t 、发现a g e n t 以及服务黄 礞。a g e n t 臌务爨鳃疆流程摸投，势姆每个滤獠突绘一个潼l 稷船e 嫩爱责实铡纯，壤 嫣发现酶e n t 得魏黻务提袋者躺髂惠。务器遵受责解捷备个流糨a g e 眦豹受羧均衡 及资源制约问题。 ( 3 ) 照务节点。提供了能够毙成工律流程中某个镬务藏若干锤努的功熊模块、资游、缎缨 关系等等。这整爨务功鲢链装程服务a g e n t 墨率，戆够粼瓣在穗络中形袋分露式豹抗 行环境。翳蘅的章节将详细介绍菔务艟e n t 韵健罔方法。 辫3 。蒸予a g e 雠的王佟流系统络将 为了方便嚣绥捺述，镬髑一个诞书试避流糕棒为示攒 ，运行第二：二蹬段，擞北任务t 粪蕞野始娥褥时，滚稷a g e n t 舞动分滠麓酶聪毒蓐模块，鳃橇模块在数摆鹰孛蠢拽蝴瘫的人爨分派方寨，势遥过上述黝算 法得到的任努t 的责任人熊台，最厢将其返回绘a 。 燕2 8 舞 墓防科学技术大学麟究生皖学位论文 兰坚固一 羲 嚏霪 装 魏 拣 席 【、分派策略 = 2 2 2 围4 6 授权模块示意图 在任务劳瓣美露孛，餐矬曼酋先选撵数据蓐申曝毒鲍麓个流摆模授，链务兮澈横块解 蜒爨b 摸板中的人工型柽努酬表：篱耀爨扶到衰中选择眉探谯势，在姥任务下霹熬竣爨分 源菠略a s s i g n p 0 1 i c y ；选择分派蘸略靥，w 咀根擐不网的业务条件设嚣多祭分派组 a s s i g n g r o u p ；在每个分派组中，可以根据不岗羽人煲约柬竣鼹麓千分派描述a s s i g n d e s 。 上述过程甓用的墨要a p i 翔下： l is tg e t n o d e 8 ( s t r i n gt e m p l a t e i d ) 返回人工任务结点的列袭 v o i di n s e r t a s s i g n p 0 1 i c y ( a s s i g n p o l i c yp o l i e y ) 插入分派繁路 v 瞰di n s e r t a s s i g n g r o u p ( a s 8 i g n g r pg r o u p ) 插入分澈组 v o i di n s e n a s 8 i g n d e s ( a s s i g n d e 8d e s c r i p t i o n ) 插入分派描述 队贰鬈e t v a r i 曲i e s ( s t r i n gt e 讯p i 8 t e i d ) 返溺模授中的参数列褒 l i s tg e t o r g s ( ) 返回机构剜表 l i s g e t t e 8 m s ( 1 0 n go 聪i d ) 返鞠慕机构中组列表 l i s tg e t s t 8 f s ( 1 0 n go r 簸返圈装栋构中人受到褒 l i s tg e & e e e d e n t n o d e s 鹅扭i n g 如i d 遨燕簿蕤节蕊鲻袭，援予设篷r e l a t i v e 嚣囊 在流程遥舒徐段，流程辫辑出一个人工型柽势之嚣，痿韵努漾蓑臻瓣褥模块。势滚策 嚷解蝣模块从数据库中取出此任务关联的分派策略，根据上一节描述的算法得到此镁务的 黉任a 集台，这个过程中傻愆鲍主簧a p 如下： a s s i 辨p 0 1 i 。yg e t a s s i g n p o l i o y ( s t 砖n gn o d e l d ) 褥到慕个人王型任务的分派繁赂 l i s tg e t s s i g n g r o u p s ( s t r i n gp o i d ) 得到分派策略中的分派纽列表 l i s t 辨t a s s i g n 踟s ( s t r i