电子商务协议原子性的SPIN分析

作者：王兵; 肖美华; 刘晓清; 朱宜炳

来源：南昌大学学报(工科版), 2007, (02): 181-185.

• 电子商务协议
• SPIN
• 原子性

电子商务协议的研究有利于促进电子商务的发展,电子商务协议的原子性是电子商务协议研究的重点.对NetBill协议及其原子性在开放性的环境中进行形式化描述的基础上,给出基于SPIN平台的NetBill协议模型,用LTL刻画协议需要满足的性质,用模型检测器SPIN对NetBill协议分析结果表明NetBill协议满足原子性.该方法对类似电子商务协议的其它性质分析具有一定的通用性.

• 出版日期2007
• 单位南昌大学; 中国科学院软件研究所