Web服务事务模型的形式化建模

摘要：

为了解决分布式环境中Web服务的可靠性和一致性问题,给出了可靠的Web服务事务模型及其形式化描述.提出了Web服务事务模型的一种基于一阶逻辑的满足事务可靠性和一致性要求的建模方法,并且以用户可接受状态作为准确性判断标准,对建模方法的有效性给予了证明.

关键词：Web服务、用户可接受状态、事务、良构性

所属期刊栏目：26

分类号：TP311(计算技术、计算机技术)

在线出版日期：2007-02-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：239-241