Web服务组合事务处理及基于细胞膜演算的正确性分析

• 作者: 危兵 唐明靖 姚绍文
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: web服务 事务处理 细胞膜演算 Maude系统
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 计算机网络与信息技术
• 页码范围: 109-112,122
• 页数: 5页
• 分类号: TP3
• 字数: 3887字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2008.03.032

摘要

事务处理是Web服务及其组合服务能否得到广泛应用的关键技术之一.本文分析总结了现有的事务处理模型,针对Web服务组合环境下的异构性、自治性和动态性,提出了一个基于组合Web服务的事务处理模型wS-CTM,并基于细胞膜演算对模型的正确性进行了验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姚绍文	云南大学网络智能计算研究室	44	299	10.0	15.0
2	唐明靖	云南大学网络智能计算研究室	1	1	1.0	1.0
3	危兵		1	1	1.0	1.0