Web服务事务的动态补偿模型 (2010年)

【文件属性】：

文件名称：Web服务事务的动态补偿模型 (2010年)

文件大小：737KB

文件格式：PDF

更新时间：2024-05-31 17:40:52

自然科学 论文

对π-演算进行扩展,提出了作为 Web服务事务动态补偿模型的 Exπ-演算。该演算的补偿可随着 Web 服务的交互动态地建立起来,同时给出了结构同余关系和操作语义。为了保证事务的唯一性,定义了一个简单 的类型系统。最后,将该简化的 Exπ模型与静态补偿模型和并行动态补偿模型进行比较,结果表明:本演算比 其他演算更灵活,表达能力更强。