Web服务事务的动态补偿模型

• 作者: 吴佳杰 钟发荣
• 来源期刊: 浙江师范大学学报（自然科学版）
• 学科: 工学
• 关键词: Web服务 服务组合 事务 补偿 表达能力
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 重点学科研究
• 页码范围: 248-255
• 分类号: TP301
• 字数: 7725字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-5051.2010.03.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钟发荣	浙江师范大学数理与信息工程学院	25	46	4.0	5.0
2	吴佳杰	浙江师范大学数理与信息工程学院	1	2	1.0	1.0