Web事务的建模及其语义分析

《Web事务的建模及其语义分析》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、华东师范大学博士学位论文Web事务的建模及其语义分析姓名：李晶申请学位级别：博士专业：系统分析与集成指导教师：何积丰20080501似的，再从操作语义推导出指称语义．接下来，我们证明了代数语义中的代数定律在操作语义和指称语义中也都是成立的．这样，不同语义模型间的一致性就得到了保证，而且也为语义模型自身的正确性提供了进一步的保障．最后，我们对事务语言进行了扩展，加入了数据操作和服务交互的信息．在实现Web事务的基础上，为服务的设计开发提供了进一步的支持．对于扩展后的语言，我们采用面向观察的语义对服务行为进行刻画，建立了多个行为侧面(包括

2、数据状态、交互序列以及事务行为)在执行前后的演化关系．此外，我们还对可补偿事务的精化关系给出了形式化的定义，为服务的规范与实现搭建了桥梁．总之，采用形式化的方法对Web事务进行研究，一方面可以帮助设计者更好的理解Web事务的工作机制，消除可能存在的二义性；另一方面用来支持测试、验证工具的开发，为软件系统的质量提供有力的保障．关键词：事务演算、形式语义、UTP理论，Web事务，补偿机制IIAbstractWbbservicesarethecurrentmostpromisingparadigmtoachieveuniversalinte

3、r-operabilitybetweenapplicationsacrossorganizationalboundaries．TheXMLrelatedstandardsdriveservicestobepublished，describedandaccessed。Amongthesestan-dards，webservicescompositionhasreceivedmuchinteresttosupportenterprizeap-plicationintegration．Apartfrominteractionsandflow

4、coordination，thetaskofwebservicecompositionrequireswebtransactionstotrulyincreasetheconsistencyandre-liabihtyofcompositeservices．Currenttechnologieshavebeenfoundlackingefficientsupportforwebtransactions．Becausewebtransactionshavedistinctfeatures，suchaslong-lived，autonom

5、ousandinteractive，thetraditionalautomaticmechanisinsofresourcelockingandrollbackareprovedtobeinappropriate．Inthisthesis，weformallyaddresstheissueofwebtransactions．Atfirst，anoveltransactionallanguagecalledt-calculusisproposedtoconstructwebtransac-tionsthroughaseriesofcom

6、pensabletransactions，usingtheconceptofcompensationtorecoverfromfailure80astoensurearelativelyrelaxedatomicity．Thislanguagepermitscomposingcompensabletransactionsinavarietyofways．Notonlytraditionaloperatorshavebeenextendedtosupportcompensation，butseveralnewconstructshave

7、beenfurtherstudiedtoenhancereliabilityandflexibility．Thislanguageconsidersthecombinationofbackwardandforwardrecoverytechniques．Besides，compensationsaretreatedascompensabletransactionstooinWhichauniformmanneriSprovidedtomanagebothforwardandcompensatingflow．Thenwesupplyth

8、islanguagewithsemanticmodels，inwhichthetransactionalflowandcompensationmechanismarewellformalized．Threekindsof