基于扩展π演算的长事务处理形式化描述
来源期刊：江西理工大学学报2008年第4期
论文作者：王继升 吴问春 李淑芝
关键词：Web服务; 长事务处理; π演算; 补偿机制;
摘 要：为了形式化描述复杂的长事务处理过程,在简要介绍Web服务长事务基本概念和π演算语法及语义的基础上,提出了一种扩展的π演算模型,该模型不仅刻画出长事务的处理机制,而且解析了长事务的出错及补偿机制,使长事务处理过程更加清晰和直接.
王继升1，吴问春1，李淑芝1
(1.江西理工大学信息工程学院,江西,赣州,341000)
摘要:为了形式化描述复杂的长事务处理过程,在简要介绍Web服务长事务基本概念和π演算语法及语义的基础上,提出了一种扩展的π演算模型,该模型不仅刻画出长事务的处理机制,而且解析了长事务的出错及补偿机制,使长事务处理过程更加清晰和直接.
关键词:Web服务; 长事务处理; π演算; 补偿机制;
【全文内容正在添加中】
