基于扩展π演算的长事务处理形式化描述.pdfVIP

维普资讯 第29卷第4期 江西理工大学学报 v。1．29，N0．4 2008年 8月 JOURNALOFJIANGXIUNIVERSITYOFSCIENCEANDTECHNOLOGY Aug．2008 文章编号：1007—1229(2008)04—0001—04 基于扩展 演算的长事务处理形式化描述 李淑芝， 吴问春， 王继升 (江西理工大学信息工程学院，江西赣州34moo) 摘 要：为了形式化描述复杂的长事务处理过程，在简要介绍Web服务长事务基本概念和 演 算语法及语义的基础上，提出了一种扩展的 演算模型，该模型不仅刻画出长事务的处理机制， 而且解析了长事务的出错及补偿机制，使长事务处理过程更加清晰和直接． 关键词：Web服务；长事务处理； 演算；补偿机制 中图分类号：TP311 文献标识码 ：A FormalizingDescriptionofLongRunningTransaction BasedonExtendedxr-calculus LIShu-zhi，W1JW en-chun，WANG Ji-sheng (FacultyofInformationEngineering,JiangxiUniversityofScienceandTechnology，Gnazhou341000，China) Abstract：Withhtefundamentalconceptsoflong-runningtransactioninw‘ebservicesnadthesyntaxnadsemnatic 0f -calculustointroduceconcisely．amodelofextended -calculusisproposedtoformalizehtecomplexprocess of long—runningtrnasaction，Thismodelnotonlypartraysthecharacteristicsoflong—urnningtrnasaction，butalso resolvefaultnadcompensationmechnaism，whichmakehteprocessoflong-urnningtrnasactionmoreclearlynad directly． Keywords：webservices；long-urnningtrna saction； -calculus；compensationmechna ism O 引 言 ． web服务(webServices)@的事务处理特别是长事务处~(Long-urnningTrnasaction)一直是业界关注的 热点问题．长事务是指一个Web服务事务处理过程往往会持续较长的时间，使得锁定资源的策略不再适 用．由于长事务运行的时间长而复杂，传统的事务处理技术在处理长事务时显得力不从心，研究人员提出 了一些web服务的事务规范 s—T、WS—CAr)和模型(ATM)，也包括Web服务组合的事务支持，但仍然存 在很多缺陷，最重要的是缺少这方面的形式化描述和形式化建模方法t【 本文提出一种扩展 演算的形式化方法，选择 演算作为Web服务形式化工具，主要因为其具有 完备性、组合性、并行性及其描述资源的表达能力．由于 演算本身并不支持事务处理机制，所以扩展 演算使之适合事务处理机制，并将所提出的模型应用于旅游订票的Web经典例子中． 1 订演算简介 演算 】起源于 1991年，是由图灵奖得主RobinMilner以进程间的移动通信为研究重点的并发理论 ， 收稿 日期：2008~2—29 基金项 目：江西省教育厅科技资助项 目(赣教技字[2007]208号) 作者简介：李淑芝(1964一 )，女，教授． 维普资讯 2