论文部分内容阅读
Web服务是一种使用标准的工业技术来描述(WSDL)、发布/发现(UDDI)和通讯(SOAP)的基于Internet的新型分布式计算技术,它为企业级应用程序能更好更容易的无缝集成提供了一种极具吸引力的解决方案,它具有自包含、松散耦合、自描述、可替代等特点。然而Web服务的发展却并非一帆风顺,一直以来困扰着它发展的一个关键问题是怎样才能保证Web服务事务执行结果的正确性和一致性。目前,基于Web服务的特点,工业界和学术界在传统事务机制的基础上已经提出了许多针对Web服务事务的处理协议和标准,现有的Web服务事务处理协议有:WS-C协议、WS-AT协议、WS-BA协议、BTP协议和THP协议,这几种协议各有千秋但又都无法满足任何类型的Web服务事务的要求,例如WS-AT适用于短事务,WS-BA用于长事务,BTP协议不是专为Web服务事务定义的标准,THP协议不能单独用于事务处理还必须结合其他的事务协议(2PC、WS-C/T)来进行事务处理。而且它们也都忽略了Web服务事务的可替代性这一特点。因此,本文把WS-C协议、WS-AT协议、WS-BA协议、BTP协议、THP协议的优点结合起来并结合Web服务事务的可替代性提出了“基于替代的Web服务事务处理协议(WS-AL)”。本文工作主要包括以下几个方面: 1.根据Web服务事务的特点,在原有传统事务和原有Web服务事务模型的基础上提出了基于替代的Web服务事务模型,定义了Web服务替代和Web服务替代集的概念。 2.把现有的Web服务事务处理协议结合起来,并根据Web服务的可替代性,提出了“基于替代的Web服务事务处理协议(WS-AL)",设计协议的主体内容替代的调度和替代的提交等。 3.利用有色随机Petri网对“基于替代的Web服务事务处理协议(WS-AL)”进行建模,分析其在事务成功率和事务平均响应时间方面的性能,证明其与现有协议比较时的性能先进性。 4.建立提出的“基于替代的Web服务事务处理协议(WS-AL)”所对应的分布式原型系统,以Web服务领域的典型案例“商务旅行”为例模拟其在此原型系统上分布式事务的执行过程,验证协议的可行性。