• EN
教师基本信息
钟发荣
性别:男
学位:博士学位 在职信息:在岗

个人信息 Personal information

学历:博士研究生毕业 毕业院校:上海交通大学 在职信息:在岗 所在单位:数学与计算机科学学院 入职时间:1986-07-01 职务:未聘任

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

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