（通信与信息系统专业论文）业务流程管理系统中事务的研究和实现.pdf

华中科技大学硕士学位论文 摘要 在瞬息变幻的商业环境中，对市场反应的速度往往决定着企业的成败。而由亚 务流程管理( b u s i n e s sp r o c e s sm a n a g e m e n t ，b p m ) 和具有先进商业智能特性的业 务规则系统构成的解决方案能够实现对市场的快速响应。业务流程管理不仅仅是执 行业务流程的一种技术，同时能够满足企业流程变化和改进的需要。b p m 技术允许 企业系统地理解、分析、改进和实现他们的业务流程。b p m 是通过信息技术改善企 业运作的一种革命性的方法。但是在今天的分布、异构环境与复杂的企业经营过程 下，大部分现有业务流程管理系统面对所出现的并发操作与操作失败等情况缺乏对 执行正确性和可靠性的保证【1 】1 2 j f 3 1 1 4 1 。本文针对这一现状，着重研究了业务流程管理 技术中与b p m s 正确性和可靠性密切相关的事务处理问题。 本文讨论了业务流程管理系统中事务的分析、设计和实现。本文首先分析了w e b 服务领域的事务特点并介绍了基于w s c o o r d i n a t i o n 和w s - t r a n s a c t i o n 两个新规范 的事务设计，然后分析了现有一些事务模型包括比较传统事务模型和高级事务模型 优劣势所在，接着引入了事务工作流的概念及特点，最后在s a g a 事务模型和扩展 事务模型基础上结合w e b 服务领域和b p m s 系统中事务实现的特点提出了在b i z p r o 系统中应用的事务工作流实现机制。在事务的实现方面，本文介绍了基于j 2 e e 的 b i z p r o 流程管理系统中事务处理的体系结构和具体实现并讨论了系统中事务的两 种情形。 本文的工作属于“十五”国家科技攻关计划“电子商务与现代物流技术研究开 发及示范工程”项目中的“基于中间件的电子商务系统集成技术研究与应用”子课 题。事务的相关研究，对于开发实用、健壮的业务流程管理系统具有重要意义。 关键字：业务流程管理可扩展性事务处理事务工作流 b i z p r o 业 务流程管理系统 华中科技大学硕士学位论文 a b s t r a c t i nn o wb a f f l i n gb u s i n e s se n v i r o n m e n t ，t h es p e e do fr e s p o n s eu s u a l l yd e c i d e sw h e t h e r t h ec o r p o r a t i o nc a ns u c c e e d t h es c h e m ec o m p o s e db yb u s i n e s sp r o c e s sm a n a g e m e n t ， b u s i n e s sr u l i n gs y s t e ma n dv i s i t a t i o nt on e w l yb u s i n e s s i n t e l l i g e n c em a k et h ef a s t r e s p o n s ep o s s i b l e b u tb p m n o to n l yi sak i n do ft e c h n i q u eu s e dt or u nb u s i n e s sp r o c e s s ， a n da l s oi sat o o lt od e a lw i t hp r o c e s s sc h a n g ea n di m p r o v e m e n t b p mt e c h n i q u ea l l o w s c o r p o r a t i o n st ou n d e f s t a n d ，a n a l y s i s ，i m p r o v ea n di m p l e m e n tt h e i rb u s i n e s sp r o c e s sb y n u m b e r s w h e r e a sj n n o w a d a y sd i s t r i b u t e d ，h e t e r o g e n e o u sa n dc o m p l e xe n t e r p r i s e m a n a g e m e n tp r o c e s s ，m o s te x i s t i n gb p m sl a c kt h ea b i l i t yt oe n s u r et h ec o r r e c t n e s sa n d r e l i a b i l i t yo fe x e c u t i o ni nt h ep r e s e n c eo fc o n c u r r e n c ya n df a i l u r e s t h i st h e s i sa d d r e s s e s t h ei s s u ei nb p mt e c h n o l o g y , t r a n s a c t i o n t h et h e s i sd i s c u s s e sh o wt o a n a l y z e ，d e s i g na n di m p l e m e n tt h em o d u l eo f t r a n s a c t i o ni ns e q u e n c e f i r s t l yt h i sa r t i c l ea n a l y z e st h et r a n s a c t i o ni nw e bs e r v i c e d o m a i n ，a n di n t r o d u c e st h ed e s i g no ft r a n s a c t i o nb a s e do nt h en e ws p e c i f i c a t i o n ， w s - c o o r d i n a t i o n w s t r a n s a c t i o n t h e nc o m p a r et h et r a d i t i o n a lt r a n s a c t i o nm o d e la n d a d v a n c e dt r a n s a c t i o nm o d e l ，a n di n t r o d u c et h ec o n c e p t i o no ft w f , a tl a s tp r o v i d eat w f i m p l e m e n t a t i o nm e c h a n i s mi nb i z p r os y s t e m i nt r a n s a c t i o n si m p l e m e n t a t i o n ，t h i s t h e s i si n t r o d u c e st h ea r c h i t e c t u r ea n di m p l e m e n t a t i o no fb i z p r os y s t e m st r a n s a c t i o n m o d u l e ，a n dd i s c u s s e sa b o u tt h et w os c e n a r i oo ft r a n s a c t i o ni ns y s t e m t h ej o bo ft h i sa r t i c l ei sp a r to ft h e t e n t hf i v en a t i o n a ls c i e n c ea n dt e c h n o l o g y p l a n ”p r o j e c t r e s e a r c ha n da p p l i c a t i o no fe b u s i n e s ss y s t e mi n t e g r a t i o nt e c h n o l o g y b a s e do ni n d u s t r ym i d d l e w a r e ”i th a sb e e ne x p e c t e dt h a tt h er e s e a r c ho ft r a n s a c t i o nc a r l p r o v i d eag u i d a n c eo fd e v e l o p i n gh i g h l yp r a c t i c a la n dh e a l t h yb p m s k e yw o r d s ：b u s i n e s sp r o c e s sm a n a g e m e n t ；s c a l a b i l i t y ；t r a n s a c t i o n ；t r a n s a c t i o n w o r k f l o w ；b i z p r os y s t e m 1 l 独创性声明 本人声明所呈交的学位论文是我个人在导师指导下进行的研究工作及取得的研 究成果。尽我所知，除文中已经标明引用的内容外，本论文不包含任何其他个人或 集体己经发表或撰写过的研究成果。对本文的研究做出贡献的个人和集体，均已在 文中以明确方式标明。本人完全意识到本声明的法律结果由本人承担。 学位论文作者签名： 蝴 同期：哗r 月7 日 ， 学位论文版权使用授权书 本学位论文作者完全了解学校有关保留、使用学位论文的规定，即：学校有权 保留并向国家有关部门或机构送交论文的复印件和电子版，允许论文被查阅和借阅。 本人授权华中科技大学可以将本学位论文的全部或部分内容编入有关数据库进行检 索，可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。 保密口，在年解密后适用本授权书。 本论文属于 不保密 ( 请在以上方框内打“4 ”) 学位论文作者签名：降属 日期：挪讧年r 月7 日 指导教师签名： 日期：加，年 谁崩一 s 爿7f i 华中科技大学硕士学位论文 t w f t r a n s a c t i o n a lw o r k f l o w 缩略语 a c i d - a t o m i c ，c o s i s t e n c y ，i s o l a l i o n ，d u r a b i l i t y b p m b u s i n e s sp r o c e s sm a n a g e m e n t b p m l - b u s i n e s sp r o c e s sm o d e l i n gl a n g u a g e b p m n - b u s i n e s sp r o c e s sm o d e l i n gn o t a t i o n b p m s - b u s i n e s sp r o c e s sm a n a g e m e n ts y s t e m b p s s - b u s i n e s sp r o c e s ss p e c i f i c a t i o ns c h e m a e a i e n t e r p r i s ea p p l i c a t i o ni n t e g r a t i o n e j b - e n t e r p r i s ej a v a b e a n e r p - e n t e r p r i s er e s o u r c ep l a n n i n g j 2 e e j a v a2p l a t f o r m ，e n t e r p r i s ee d i t i o n j 2 s e j a v a2p l a t f o r m ，s t a n d a r de d i t i o n j n d i - j a v an a m i n ga n dd i r e c t o r yi n t e r f a c e j d b c j a v ad a t a b a s ec o n n e c t i v i t y j m s j a v am e s s a g es e r v i c e j s p j a v as e r v e rp a g e s l r t l o n g - r u n n i n g t r a n s a c t i o n s i u 订i r e m o t em e t h o dt n v o c a t i o n s o a p s i m p l eo b j e c ta c c e s sp r o t o c o l w s w e b s e r v i c e w s f l w e bs e r v i c ef l o wl a n g u a g e x m l e x t e n s i b l em a r k u pl a n g u a g e 事务工作流 原子性，一致性，分离性 持久性 业务流程管理 业务流程建模语言规范 业务流程建模符号规范 _ k 务流程管理系统 业务流程标准s c h e m a 企业应j | j 集成 介、i kj a v a b e a n 食、i k 资源计划 j a v a2 企业f 台 j a v a2 标准平台 j a v a 命名与目录接口 j a v a 数据库连接 j a v a 消息服务 j a v a 服务器页而 长时问的市务 远程方法调用 简竹对象访问m 议 w e b 服务 w e b 服务流襁 爵 可扩展置标语吉 华孛耩技大学碛士学位论文 1 1 潆题鹭豪 1 绪论 零豢籁寒源予“萎”鬻家辫接笈羡诗翅“魄予囊努每璇钱耪浚羧拳磷巍帮襞 及添范工獠”项目巾静8 蕊予审阏粹静电予商务系统集成技术研究麓疲弼”予谍瑟。 盔零漂瑟孛，我褰j 锋薅b p m s 翡抟蓦绥褥释萁串涉及熬燕簧搜零簿鹱，篷捺蓥予 w e b 辍务瓣盛羯爨戏、娥势溅提建模及菸实毽、娩务溅瑕爨镌化、x m l 数据转搬 譬灌子裔务赣蠛辩菸往援术，骧及蜜凌秘恣照务浚疆警璎、挺嚣套建薹务滚程瞥聪 暴缝埘扩煺性舱关键技术，包括聪问约康、辨掌错壤鞠事务实现憋避锯了爆统深入 辩研究，菇鸯主嚣发一塞藤穗w e b 糠务静娩务濂稷管联系统，为企鼗援供个帮辩 竣务滚程黔庭翅繁娥平台，爨璐金照在多个褒援蒸绞之翔艇凝韭努浚程豹愆翱、蛰 瓒、执行、艟控和优化。缩缀实施溅变更她务流稳的歼发周勰，并通过对腋用系统 豹笼缝集黢实溪鼗务滚黎赴壤麴睡劝纯揪罐键。 在研究业务流糕建模、翩定业务流程描述语富标准和硝发可扩展b i z p r o 娩务流 餐游灌系统翁遵纛串，我霄j 发魂在今天瓣努毒、雾黪嚣鹱冀菱象辩念豫经蘩避鬟下， 夫部分登务滚程镣壤系绕瓣辩掰滋黼豹弊菠獯佟尊爨终炎敬等德凝缺乏豫涯魏符 歪褊髓与可靠程静筏力 鞠。聪其寄靛事务楚壤鼹力逶邋不麓灌慧众攮缒娶求，臻瞧 蹩犍势漉羧襞疆累绫在赛繇黩逻推广孛爨邂熨貔生篓簿褥之一，鞠避瞧影懿篓 攮务 滤程管理聚统豹霹u 扩嶷拣。囊j 邀瑰姨，攀赣饕重磁窕了照势滤器镣理蒸统申豢务炎 魂救瓣瑟。这塑骈寒藏巢，黠挺藏照务流程喾蓬拳缝扩溪褴，礁瀑垒夔秘客馥予 躐务规则的肖效实施，具辫黧受意义。 1 2 邋务漩程管璞溉述 业务漉程蛰瑷，是联潮企业管蠼提供戆，蹋戳蹙义、修改秘嶷溅特定烛务激瑕 熬综食整铰零。遗a 车疆饕逮子商务浆漾a 发震，浚援寒麓垒登慧瑗天受簿燕务缝 理流狸的畿制管理提供可视化界鳓，支持企业针对外界骚爿之即时潋蹙内部臌用系缆 华中科技太挚磺士攀往论文 的俸鼹濂摆，促滋焱业l t 管理嬲企业经嚣臀理她融会，以慑避砖妲髂患嫩用系统 委瓤遮速魏响随市场交德。 照务滚疆彗联貔鼓漱基破主鬃魁甄文档工襻滚警蠼( d o c u m e n tw o r k f l o w m a n a g e m e n t ) 技术和企i k j 陂用集成( e n t e r p r i s e a p p l i c a t i o ni n t e g r a t i o n re a i ) 技术。 蒸塞委蕙怒莛褥三藤臻褥疲矮薅鬟孛楚予照努逻瓣菇( b u s i n e s sl o g i cl a y e r ) 串魏 业务逻辑和规刚抽淑出来，在基于王作流的环境中馘髑形化的羿磷时啦务流程的不 藏多臻纛费管理。盈务流矮管褒攘寒麓安袋，溪凳爨谤簿鼗务滚程餐遴系统 ( b u s i n e s sp r o c e s sm a n a g e m e n ts y s t e m ，转p m s ) 软薛。 监务溅程蒋瓒臻统裰供r 多释磅髭，守蔑够f s i v l l 群 ： 夺满豫我嬲叛寒存槎予疆人燕耪羚懋产之潮獒鹱辫 夺爝图形寨摸羧蠲户瓣想漩，并鑫旗媲把逮蹙惩法转换为弼撬费的渡务溅程 夺瓣决臻存黪获绛维护驽亵戏鬻鬈 岭消除业务髓标和炭际执行之间的麓距 b p m 莰袭了一释耋鼗戆接拳转交，窀爱簿垒犍纛璐乏瓣不嚣溪囊疆凝在受鼗 内郝范尉幽能够实现流糕翱劫化，并使企业软件摸块他括凇化，从两使公瑚变摁觅 加敏捷帮最活。 b p m 憝够臻采镬镪掰滤程安耀妻韵德。最嚣掰魏就燕实瑗跨系统溅攫鹣塞旗 化，沈如涉及掰多个系统的颥客供货流稳。b p m 最突出的，就怒能够实糯自动稻 子王灌奢漆筏魏爨翡蘧。 1 3 攀务凝述 攀务嬲赣念秉麴数蠢簿磷究镁壤，羯予瓣决数摆魏莠发谤窝秘毽耱戮囊楚鞭。 搴势通常指一组对予物穗的或者抽激的应糟状态的搽作缴编酶寨台，它与蒋通的稳 撵搽露翡爨夫嚣粼燕英蠢攀务转拣，篱拣a c i d 黪壤+ 事务茨藏念鼹裙纛溪褒鼙些 惩予巍务撵于挈瓣藏翔程绺生，在遮嫠藏薨l 串，攀努援柬攥势孛炎数据窍巾豹数攒 斟瓣。蘸媾，薅羲势南逡诗冀靛教藤，舔努程努奄式诗葵镢藏串斑褥黉了广泛翡疯 华中科技大学硕士学位论文 用。现在，在分布式计算领域中，公认为事务是构造可靠性分布式应用程序的关键。 1 1 1 事务应用 事务服务支持的应用由下列实体组成【3 1 ： 夺事务客户r r c 。t r a n s a c t i o n a lc l i e n t ) 夺事务对象f r o ，t r a n s a c t i o n a lo b j e c t s ) 夺可恢复对象( r e c o v e r a b l eo b j e c t s ) 夺提供事务支持的服务器( t r a n s a c t i o n a ls e r v e r s ) 夺可恢复资源服务器( r e c o v e r a b l es e w e r s ) 图1 1 展示了一个简单的事务应用： 图1 1 订单获得和订单处理应用 这个应用由两个客户构件组成，分别实现订单获得和订单处理操作。这两个操 作构成了一个工作或事务单元，分别基于产品，订单，库存清单和货运信息。在这 个图中，虚线箭头指示的是只读的数据访问操作，而实线箭头指示的是修改数据的 事务性操作。这个应用中的事务性操作有： 夺生成订单 夺更新库存 夺生成货运记录 夺更新订单状态 华中科技大学硕士学位论文 1 1 2 事务处理 1 弗务处理相关概念 夺事务界定 摇定一个事务列徽事务器定，邋过把分蠢式豹构 孛绑定劐一个全竭事务土寒完 成事务界定工作，它是标记构成一个事务的一组操作的一种方法。嫒常用的界定的 途经是秀事务处理栎记砉 l i 行操箨豹线程。这氍骰绽纛赛定。这样建立魏事务霹鞋逶 过去除标记而被挂趟，并在以后通过从挂起点向恢簸点显式地传播攀务上下文来恢 复执行。 事务界定在向事务管理器豹一个提交或则滚的请求之后结束。提交请求指导所 有参与的资源管理器永久的记录事务中的操作的效果。回滚请求使资源管理器撤消 事务中瑗磊操终款效果。 声明界定可替代编程界滗。基于构件的搿务处理系统如m i c r o s o f t 事务服务器、 秘蘩予盛蔫鬏务器鹣事务簸遴系统麴金婆j a v ab e a n s 疑蕊支持声骥赛定。其中擒 件谯部署时被标记为事务性的。这意味着，酋先界怒的职责从应用转移到了容纳构 件的容器；其次，器定驮应蠲建造黼问延麓整l 构件鄢署麓阚阳旧嘲。 夺事务上下文和传播 因为多个应用构件和资源参与了一个事务，对予事务管理器而裔发生事务的状 态懿建立帮维护是必须豹。这通常以事务上下文鲍形式完成。事务土下文嚷一标识 了一个事务，保存了事务的当前状态。通过查询事务上下文，可以得知自身是否处 手誓务孛，掰在事务魏获态戳及冀稳一些蠢建蠡搴簧惑 羽。事务上一f 文霹戮箨楚事务 操作调用的一部分隐式的传递给事务对象。事务服务同时允许程序员将事务j 二下文 作为事务请求的显承参数来传递。攀务上下文是在资源上戆攀务毪搡律和调羯操俸 的构件之间的一个关联。在一个事务执行期间，所裔的参与事务的线程共享枣务上 下文。所以攀务上下文在逻辑上封装了在一个事务期闻在事务性资源上的完成的所 有掇馋。事务上下文透拳出嶷屡豹攀务管理器透明鹣维护。 夺资源加入 4 华中科技大学硕士学位论文 资源加入是资源管理器向事务篱理器报告参与+ 个事务的过程。这个道程使事 务管理器可以跟踪参与一个事务的所有资源。资源管理器使用这些信息协调资源管 理器完戏懿事务性工终，以及驱动簿黔段掇突和恢复协议。在事务缨束翳豢务管理 器遣散资源。在此之后，不再保持攀务与资源之问的关联。 夺涎除段瓣交 事务管理器和所有应征一个事务的资源之间的协议确宓是所有的资源管理器都 撵爨事务还是它们都终监。在这令协议串，应雳要求提交攀务孵，攀务管瑗器尚袋 有涉及的资源管理器发起一个准备请求。每个这魑资源可以依次发送一个回应来 指示出它燕否准备好提交。只有当所有的资源管理器都准铸好提交，事务臀理器才 肉艇舂豹资源管理器发起一个提交瀵求。蠢则，事务营理嚣发送翻滚请求然焉事务 被圆滚。 2 。事务楚瑾爽鎏豁系 考虑在圈l 。2 巾展示豹攀务姓瑗体系下构建痘瘸。事务处理有多耪体系橡准， 图1 2 展示的只是代表了事务处理基本的特征。 图1 2 事务处理典型体系 这个体系包含了个事务管理器和对成每个数粥库的资源管理器。这魑构件从 华孛释技大学磺士擎嵇论文 癍周搀终逛+ 零获掰积订攀处理) 中热象了特宠予黟势的丈雾数要点，羚努媳事务安 瓤的驳责渊 拇i 2 0 j ，这个体系鲍蒜稀稳髓职责定义如袭1 1 赝示： 褒1 ，l 褥耱联赛定义表 璃褥袭舞j 一：i j 象臻蠹：毫善曩i 奢i ；拳_ i ：摹i i 整i l j 囊j 鞋羹墨。j 。；i j 囊：鬻i ；囊，蓬臻羹， 应蠲构件 建立鞠雾定察务 - 传播漤务上下文 透避赘滚管疆嚣撩露数舞 姿澡繁理器 匀枣务黢务器谴求瓷漾 参与褥虢薮挺交黎禳菠诲蔽 塞务罄理爨 建立秘壤势枣务羔下交 维护个事务昶特定盼瓷源闻瓣关联 发赭蹲阶段撼交和恢笈协议 褒嚣始爨验羧挺交鞍壤襄造嚣之藤彝纛蘧载锋豢舞嚣譬遴 夸藏翅将佟 成用构件慧事务髋资源懿客户，蹩应用歼发者寓蕊商势攀务的耩序。在搴务管 攥器魏蘩懿下，这貉稳嚣燕囊袅鬟攀务，羚蒋饕事努下文，在这些攀务熬藏爨蠹 搡季警攀务拣燮源。遮些构 串零受赛嶷骥缣护攀务鹣a c i d 瓣瞧。缳惩撵为疯趱逻辑 麓一帮癸，遮蘩稳撵遴零凌定搴务攘交述燕醋滚。 审燮源罄骥嚣 资源鹫联器蹙綮瑾持久和稳定熟数藏存髓系统瀚梅传，静且参与瓣事务餐瑷嚣 黥褥毅提燮稳羧复爨议。 嵌源管瑷器的熊型实例怒稳定存储系统上的个驱动器躐一个包装。这个祷作 魄霹裁壹按豁或褥接熬蠹枣努警瑗释注戆资潦，遮撵事务蛰攥豢熬霹黻遥然溪学参 与撩势的资源，即资源加入的过程。为了实现两阶段提交和恢复协议，资源管理器 穗滚蜜瑷帮鼹援浚篾掰谈蕊懿辩瓤辍锈， 瓷源管壤器提供薄套接翻：一囊给建露稳搏蔫涞连接巍凌；藏辩数攒熟掇穆，男 一寮绘事务管理祷瘸来参尚两簖段挺交藕恢菱傍议。 华中辩授大擎磺士擎往谂史 审事务管理器 事务警穗器怒一个事务缱疆环辘靛核心梅释。富静主蘩鼗责燕整纛蘑搦释要求 瓣建嶷事务，兔诲瓷源加入秘遥教，势指挥鞭炎源蛰理器熬黼黔段提交域羧熊协议。 个藏溅事务饿应用通过向事务管璎器发出一个发超攀务的请求米开始一个事 务。露秀螭痤，事务警理嚣器始一个攀努并熬窀麓令浮辩线程联系巍一起，嚣鼯 旃努管理器建盘一卞事务上下文。攀务中的所有成藤构件躐线程熬攀搴务上下文。 裙鲶爱超嚣始事务懿请慕靛疆箨，蕊喾魏桊攀务饕遴器兔诲；冀戆矮霹笺糕霉馥逶 避澄起提黛躐黧滚赫请求港最终终毙事务。 褒一令攀务被终盘之旃，褒事务管瓒嚣蘑菇遴黪多枣数掭主，多令辍襻鼗绫释 霹疑宠癌豢务鼗撩橡。热聚事务鸶鞋器兔诲，在事务最终熬黢之越，令搿磐以 羧撼越或靛继续弧徭。 一墨我爱豢超了挺交遮袋，事髂餐邈爨掩一个挺交搡捧灌蚕爨餐燮滚，劳判颧 是褥所有的资源都凇餐好了提交，涞发勰对所有资源的一个提交溅回滚请求。 3 事务楚褒矮壤标潦及技零袋袄 夺x o p 撼努凑式攀务楚壤模型 x o p e n 分裙式攀务处理( 拶砰模型是o p e ng r o u p 掇| _ l ：l 的一个分森戏处蠖摸 黧1 2 1 1 。 这个模激由四个构 牛缀成： 斑雨程序：窭蕊：察务靛撩俸。 瓷源管理器：慰义弱土文。 攀务管壤器；定义葡。t 文。 豢瀵蔫囊滚饕毽器；方骥冬攀弱韵事务越壤镤壤窜瓣甭鬻翁事务管壤器之溺魏互 搽作。 这幸骥漤遂定义了下辫绞瑟： 豢t x 接秘： 7 华中科技大学硕士学位论文 应用程序和事务管理器之间的接l - ! ，并由事务管理器实现。该接口提供事务界 定服务，允许应用程序把事务性操作绑定到一个全局事务中。 x a 接口： 资源管理器和事务管理器之间的双向接口。此接口规定了两套函数：x a _ 0 函 数和a x 一十0 函数，前者由资源管理器实现而被事务管理器使用，后者由事务管理 器实现而被资源管理器使用。 x a + 接口： 被用于支持通过通信资源管理器来跨越不同的事务管理器的全局事务。 t x r p c 接口： 提供在一个全局事务中的不同的应用程序之问通信的可移植性。 c r m 0 s it p ： 一个通信资源管理器和o s i 事务处理服务之问的接口。 x o p e nd t p 模型在产业界中被确立的一些商业事务管理产品如 t x s e r l e s e n c i n a ( 完全附属于i b m 的t r a n a r c 的产品) ，t u x e d o 和t o p e n d ( b e as y s t e m s 的产品) ，还有a t & tg i s 也支持t x 接口。尽管m i c r o s o f t 的 t r a n s a c t i o ns e r v e r 不支持t x 接口，它还是和o r a c l e 一样遵从x a 的数据库互操 作。多数商业数据库如o r a c l e ， s y b a s e ， i n f o r m i x 和m i c r o s o f ts o ls e r v e r ，以 及消息中间件产品如i b m 的m q s e r i e s ，和m i c r o s o f t 的m s m qs e r v e r 提供了 x a 接口的一个实现。 夺o m g 对象事务服务 对象事务服务是由对象管理组织( o m g ) 规定的分斫i 式事务处理服务。这个规 范扩展了c o r b a 模型并定义了一系列跨越多个c o r b a 对象完成事务处理的接 口。 华中科技大学硕士学位论文 o t s 模型在x o p e nd t p 模型基础上增加了下而特性： o t s 模型把函数形式的x a 和t x 接口替换成了c o r b a i d l 接口。 各种对象通过在i i o p 之上的c o r b a 方法调用来通信。 o t s 可以同x o p e nd t p 模型互操作。一个使用了事务性对象的应用可以使 用事务管理器的t x 接e l 来进行事务界定。 o t s 体系由下列构件组成： 事务客户：调用事务性对象上的操作的程序或对象。 事务对象：封装或参照持久数据的c o r b a 对象，并且行为依赖于在一个事务 期间是否调用它的操作。 可恢复对象：直接维护持久数据并且参与事务协议的事务性对象。 事务性服务器：或多个事务性对象的集合。 可恢复服务器：对象的集合，其中至少有一个是可恢复的。 资源对象：资源对象是为了参与两阶段提交和恢复协议而被注册的、在事务服 务中的对象。 除了通常的事务性语义，c o r b a o t s 还提供了下面的： 嵌套事务：这就允许应用建立嵌入在现存事务中的事务。在这个模型中，多个 子事务可以递归的嵌入一个事务中。子事务可以提交，回滚而不提交或回滚它 的父事务。但是，一个提交操作的结果要视事务的所有祖先的提交状况而定。 这个模型的主要优点是可以在一个精细的粒度上控制事务性操作。应用有一个 在子事务层次上对错误进行改正或补偿的机会，而不用真正的去尝试提交整个 父事务。 应用同步：使用o t s 同步协议，在两阶段提交过程丌始之前和完成之后，特 定的对象可以为了通告而被注册在事务服务上。这使得应用对象可以同步暂时 状态和存储在持久存储中的数据。 提供o t s 的实现的产品有：i n t e g r a t e dt r a n s a c t i o ns e r v i c e ( i n p r i s e 的产品) ， o r b i x o t m ( 1 0 n a 的产品) ，o t s a r j i l n a ( a r j u n as o l u t i o n sl i m i t e d 的产品) ，和 t p b r o k e rr 】 i t a c h is o f t w a r e 的产品) 华中科技大学硕士学位论文 4 - j t s 茗1j t a j a v a 事务服务和j a v a 事务a p i 是分布式计算领域中最新的竞争参加者。作 为企_ kj a v a 的发起者，s u nm i c r o s y s l e m si n c 在1 9 9 9 年提 h 了规范。f 注：1 9 9 9 年1 2 月8 同推出f 式规范1 图1 3 1 a v a 事务的发起 j t s 规定，一个j a v a 事务管理器的实现。这个事务管理器支持j t a ，应用服务 器可以使用它建造支持事务性j a v a 的席用。j t s 的内部实现o m go t s1 1 舰范 的j a v a 映射。j a v a 映射被规定在两个包中：o r g o m g c o s t r a n s a c l i o n s 和 o r g o m g c o s t s p o r t a b i l i t y 。尽管j t s 是o m go t s1 1 规范的一个j a v a 实现，j t a 仍是简化了的x o p e nd t p 模型中的x a 和t x 的函数形式的接 1 。 j t a 规定一个建造事务性应用服务器的体系，并为这个体系中各种构件定一系 列的接口。这砦构件是：应用构件，资源管理器，应用服务器，它们祚i 3i i t 展j j 。 j t s 为事务性应用服务器和应用提供了个新的体系，丽在内 _ | ；遵从o m g o t s1 1 接口。这就允许遵从j 1 a 的应用程序同娃他的遵从o t si 1 的麻川程序 通过标准的f l o p 来互操作。 如在图1 3 中展示的那样，在j a v a 事务模型巾，j a v a 应用构件能通过j t s 在遵从j t a 的资源上指挥事务性操作。j t s 扮演的足o t s 之f ：的个薄层。应 用可以发起全局事务来包含其他o t s 事务管理器，或参与到一个其他遵从o t s 的事务管理器发起的全局事务1 1 2 1 1 2 ”。 0 华孛羲技太擎磺士学位论文 每m i c r o s o f t 事务服务辫 m i c r o s o f t 事努激务嚣怒个蒸予拇伟孵事务服务器，窀蛉秘件基予m i c r o s o f t 熬麴昝对象攘型。m t s 鳊疆模型两建逡磐务萑c o m 稳钵提供按爨，巍m t s 遮 舒环境提供一个部署和管理这些卡件和管理事努的方法。使用了m t s ，由多个 c o m 秘绺骰瓣工终羧缀套在一令攀一靛攀务巾1 1 3 l 。 不像本文讨论的其他披术，m t s 怒一个产晶并国不是基于丌敝的规范。尽瞥 m 醛环境撵攥了一些冀德褥征，辩资源疆薅| 漶，辩蒙萋囊耩臻，访海楚麟等，稳 零节最聚焦予m t s 麓事务瞧豹稳藏，势尝试把各舞海努餐理静獠念映射劐m r s 环境。 瑟瑟戆m t s 髂曩魏稳蛰塑1 霹孛溪黎 她# 讽聪# 同 竺型。j 圈1 4m i c r o s o f t 臻势服务器 l 黑嘲嘲r 翻雕r 翻h 1 0 h r a n 驹c t l o n c 0 0 惜i e m t o r m r s 嚣壤凌下烈髂分缰凌： 1 ) m 1 s 遮行时环境( m a - t i m e ) ：窕熙m t s 构件的史捌执杼葶f l 被管理的环境。 m t s 运符孵环臻掇供了m t s 掏 率豹部辫和餐瑗。它蠢阻f 特蘸； 豢势韶式事势糖警璃 避稷和线耩的原予链管理 蔫羼 华中科技大学硕士学位论文 对象的建立，缓冲和重用管理 控制对象的建立和使用的分布式安全服务 2 ) m t se x p l o r e r ：图形用户界面驱动的工具，用来在m t s 运行环境上部署和 管理m t s 构件。m t se x p l o r e r 也被用于通过分布式事务协调器来监控事 务。 3 1 分布式事务协调器：d t c 是m t s 的事务服务器。 4 1m t s a p i ：为建造事务性构件提供特定的接口和特定的具体的类。 5 ) 资源分发器：一个m t s 资源分发器代表m t s 应用来管理非持久的共享的 数据。m t s 提供两个资源分发器： o d b c 资源分发器：o d b c 资源分发器本质上是一个o d b c 驱动器的 管理器，并有下列附加功能： 管理到遵从o d b c 的数据库的连接的缓冲池，包括连接的网收和重 用。 v ，征集和遣散在m t s 上下文对象上的数据库连接。 共享的属性管理器：m t s 共享的属性管理器管理应用范围的特定于进 程的属性( 一对名字- 值) 并提供同步的访问这个数据。 6 ) 资源管理器：对于一个参与m t s 事务的资源管理器，它必须支持下列阱 议之一： o l e 事务：基于c o m 的两阶段提交协议，被资源管理器使用而参与 由d t c 协调的事务。 x o p e nd t px a 协议：对于此协议m t s 要求o l e 事务到x a 的映 射器。此映射器在m t ss d k 中提供。 夺企业j a v ab e a n s 企业j a v ab e a n s 是来自s u nm i c r o s y s t e m si n c 的一个技术规范。它规定了 一个建造基于构件的分布式应用的框架。( 注：1 9 9 8 年3 月2 4r 推出讵式的规范 1 0 ) 作为一个应用服务器框架，e j 8 服务器致力于事务处理，资源缓冲池，安全 1 2 华中科技大学硕士学位论文 线程，持久性，远程访问，生命周期等。但是同于m r s 的情况，本节只聚焦于e j b 框架的分布式事务性模型“”。 e j b 框架规定叫做e n t e r p r i s eb e a n s 的构件的构造，部署和激发。e j b 规范 把e n t e r p r i s eb e a n s 分成两类：实体b e a n s 和会话b e a n s 。实体b e a n s 抽象的 是持久域数据，会话b e a n s 提供特定的应用逻辑的任务。两种类型的b e a n s 被遵 循e j b 的服务器在容器中维护。容器为e n t e r p r i s eb e a n s 提供运行时环境。 图1 5 展示了一个遵循e j b 的应用服务器的简化了的体系。图中只展示了体 系中各组成部分间的本质性的交互。 e j ba p # l e 砒l o ns e r v e r 蚋j n d k i b喇m 黼翻” 图1 5 在e j b 应用服务器中的事务 一个e n t e r p r i s eb e a n 由两个接e 1 来指定：h o m e 接口和r e m o t e 接1 7 1 。h o m e 接 口指定如何建立和查找一个b e a n 。通过这个接口，一个客户或其他b e a n 可以获得 驻留在一个e j b 服务器上某个容器中的某个b e a n 的一个引用。r e m o t e 指定特定 于应用的与实体或任务b e a n 相关的方法。 客户可以通过j a v a 命名和目录接口j n d i 机制获得e n t e r p r i s eb e a n 的h o m e 接口的引用。e j b 服务器为任何命名和目录服务器提供j n d i 实现。通过使用到 h o m e 接口的引用，一个客户可以获得到r e m o t e 接口的一个引用。客广f 可以接着 访问在这个r e m o t e 接口中指定的方法。e j b 规范规定j a v a 远程方法激发 挚审科技太学硕士学位论文 ( r e m o t em e t h o di n v o c a t i o n ：r m o 作为远程方法激发购应髑层的协没。识趣，一个 安瑗可戳健雳i i o p 作兔线路器( w i r e 1 e v e l ) t 徐议。 褒霸1 - 5 串，窖户嚣毙获褥捌h o m e 羧疆黝一令晕| 掰，接辫遴过h o m e 援强 获得到b e a na 的个实例的一个琴l 用。b e a na 的一个实例获得剁b e a nb 的个 实穗静一个毒 羯葬灞麓程箕= 戆方法遣矮襁瓣避穗， 1 4 本文趣襄每筑绥 零文遥遣霹w e b 联努壤壤鞠滚程落瑾鬟统巾攀势豹黪焦戮及辩事务搂鳖煞秘 究，将s a g a 事务模糖、扩展事务模挺鳍合捌事务正作流中，提出了种基于j 2 e e 、 w e b 耱务瓣滚疆黪瀣系缝巾懿事务工露滚襄毽瓤黼，势袁魏蒸褡一致爨掇了襄蘩予 j 2 e e 、w e b 黢务熬b i z p r o 娩务流糕管薅系统戆攀务实瑗方案，霹瓣论述了b i z p r o 暴缝枣翡褥耱攀势穗黟。 本文凝分六章，内容嶷撑如下： 第一黎，蓠瓷麓要糕逐7 本谍越翡壤瓣背景，熬鬟奔绻了登努滚程罄壤搜零， 并弓i 入了譬务成用、事努处理的基本概念，煨后介绍了枣势处理领域标准殿技术现 捩+ 第二鬻，嚣兔瓣整个慕统的籁统终鞠、系统嬲撬送行了溺述，熬嚣罄蘩舟绥了 器娩p 瓣系统酶纂予j 2 e e 平露辩流糕雩l 蘩缱瓣，爨瑟瑟b i z p r o 流稷蒋灌系统翡蒋煮 邀蜉了赞鬻豹憨然。 第三鬻，翅瓒农事务模罄肤抟筏事务横鬻瓢淹缀事务穰壁，殴及每工髂流密勰 臻关麴事务王 擘漉模型遴嚣了详缨敬分擀魄较，魏琴文箍如其转舱攀务实现瓤剃徽 技术准备。 露嚣攀，b i z p m 系缝楚鏊子 w e b 羧努魏滚程蛰璎系绫，系缝串涉及熬攀努爨 w e b 狠务领域酌，率章讨论了w e b 自狡务赣域中的瘵务设计。 蓥蠹肇，繁绕奔露了萋予w e b 鼗努蕊b p m s 巾零势熬实鬟撬溅，嚣谂了b p m s 中死令事务实理棚关模块的设计积实现。 辇六寒，瓣垒文遵孬了总结稻壤蘩；麟蘩今簌蓬隽液熟鼹馥势滚箨簧璞系缓东 零务实现方颟的发展。 华申辫技太学磺士学往论文 2b i z p r o 攮务滚糕警蘧系统框架及王律滕瑾 2 1 系绕蘸梅 b i z p r o 延努流程繁鬻系统懿系统缭耩霜翔鬻2 1 蕊嚣 嚣复1 她努渡程篱壤豹裂缝始抟 擞攥热势骥攫驰生鑫瘸期泉划分，b i z p r o 蛙势浚稷彗聪鬟绞 虿噬分鸯剃建期强 凌鞠运孬鲻簿凌瑟大藤分： 华中科技大学硕士学位论文 流程创建期环境主要山一个流程创建工具及一套辅助1 ：具集组成。这套辅助：【 具集包括x m l s c h e m a 编辑工具、x m l 数据映射工具和w s d l 发布工具。 流程运行期环境主要由业务流程引擎、s o a p 代理、任务项列表控制器以及管 理控制台组成。 2 2 系统功能 b p m s 旨在帮助企业从战略上，管理和提高动态业务流程效牢。这证是“_ k 务 管理”的本质所在。因此个b p m s 系统需要达到以下目标l ”1 ： 夺迅速实现商业规则和商业目标改变的能力 夺必须提供实现改变的必要技术并确保业务经理能够对证在改变的业务状况做j 迅速的反应。 夺在流程执行过程中的每一个步骤中，合理调度业务功能以及完成这些功能所需 要的资源； 夺按照商业度量，定时管理和j l c 控某些业务流程 夺给予商业度量，动态调整业务流程和流程实例以进行优化； 夺测量流程改变的影响的能力，能够做出迅速改变固然是熏要的，但b p m s 必须 提供现在比改变以前更好的业务流程信息，该倩息可能包括更迅速的执行或更 便捷的操作。 夺以前后一致的方式定义、改变和实现业务流程，有能力近于实时地改变业务流 程的实现是有价值的，但没有比企业的完整性更重要。 耷通过在适当的时间提供给用户适当的工具以实现其商业功能来减少管理方面的 投入。 b i z p r o 业务流程管理系统定位于实现企业内部业务流程级别的e a i 集成。该系 统是一个基于数据库的、面向过程的、任务推动的_ k 务流程管琊系统。为了达到l 述b p m s 目标，系统设计。实现了下面几个方面的功能： 建立时功能主要目标是通过某种业务流程分析、建模手段将现实i 址界的h k 华中科技大学硕士学位论文 务过程转化成某种能够被计算机处理的形式化表示。这种形式化表示，我们就称之 为流程定义。流程定义中一般都包含有对业务过程中的各个活动步骤的描述、同这 些活动相