作　　者： ; ; (宋狄）;

机构地区： 国防科学技术大学计算机学院

出　　处： 《计算机应用》 2006年第S2期239-241,共3页

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

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

领　　域： [自动化与计算机技术] [自动化与计算机技术]