补偿通信顺序进程的扩展及失败发散语义

• 作者: 王戟 陈振邦 齐治昌
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 补偿通信顺序进程 指称语义 失败发散语义 代数规则
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 软件工程
• 页码范围: 89-95,110
• 页数: 8页
• 分类号: TP311
• 字数: 9232字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2010.03.026

摘要

补偿通信顺序进程(cCSP)是通信顺序进程用于长事务建模的扩展,可用来描述服务计算中的编制程序,比如WS-BPEL程序.目前,cCSP只有操作语义和基于迹的指称语义,对死锁和发散行为的推理支持不够.本文扩展了cCSP,引入新的组合操作子,给出扩展cCSP的失败发散语义;并根据该语义,给出新引入组合操作子的重要代数规则,用于语义的理解和佐证.最后,给出一个案例描述用于展示扩展cCSP.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王戟	国防科学技术大学计算机学院	44	1257	17.0	35.0
2	齐治昌	国防科学技术大学计算机学院	38	881	15.0	29.0
3	陈振邦	国防科学技术大学计算机学院	6	91	3.0	6.0