论文部分内容阅读
提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法.同其他模型相比,该模型能较好地分析具有多个实例并发运行时电子商务协议的原子性.最后基于该模型,用符号模型检验工具(SMV)分析了Digicash协议和Netbill协议.
一种电子商务协议原子性的模型检验分析方法
【摘 要】
：
提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法.同其他模型相比,该模型能较好地分析具有多个实例并发运行时电子商务协议的原子
【机 构】
：
桂林电子工业学院计算机系
【出 处】
：
计算机科学
【发表日期】
：
2005年4期
其他文献
在新时代大学生人文素质培育中,树立文化自信有助于大学生形成正确的价值观,坚定理想信念;有助于传承优秀传统文化,阐释好中国特色;有助于涵养大学生优秀精神品格,弘扬时代精
摘 要:本文论述了英语教学中学生主体地位的认识,重视发挥学生的主体作用,激励学生创新思维发展,是教师在课堂教学中主导作用的体现。关键词:主体作用; 主导; 创新思维中图分类号:G623.31 文献标识码:A 文章编号:1006-3315(2010)6-037-001英语是一门实践性很强的工具课,要使学生掌握语音、词汇和语法的基础知识,具有初步运用英语的能力,必须指导学生的语言实践,培养他们实际运用