Web服务事务的动态补偿模型
点击次数：
第一作者：钟发荣
发表时间：2010-01-01
发表刊物：浙江师范大学学报·自然科学版
所属单位：数理与信息工程学院
文献类型：期刊
期号：第3期
页面范围：248-255
ISSN号：1001-5051
关键字：Web服务；服务组合；事务；补偿；表达能力
摘要：对π-演算进行扩展,提出了作为Web服务事务动态补偿模型的Exπ-演算.该演算的补偿可随着Web服务的交互动态地建立起来,同时给出了结构同余关系和操作语义.为了保证事务的唯一性,定义了一个简单的类型系统.最后,将该简化的Exπ模型与静态补偿模型和并行动态补偿模型进行比较,结果表明:本演算比其他演算更灵活,表达能力更强.
是否译文：否
上一条：非对称~(χ≠)-演算的基同余
下一条：非对称X-演算的符号互模拟验证算法