论文部分内容阅读
提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法.同其他模型相比,该模型能较好地分析具有多个实例并发运行时电子商务协议的原子性.最后基于该模型,用符号模型检验工具(SMV)分析了Digicash协议和Netbill协议.
一种电子商务协议原子性的模型检验分析方法
【摘 要】
：
提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法.同其他模型相比,该模型能较好地分析具有多个实例并发运行时电子商务协议的原子
【机 构】
：
桂林电子工业学院计算机系
【出 处】
：
计算机科学
【发表日期】
：
2005年4期
其他文献
采用溶胶-凝胶法合成了S_2O_8~（2-）/Al-Zn-Ce-O固体酸催化剂,借助IR、XRD、TG/DSC和SEM对其结构和性能等进行了表征与分析,研究了Ce的加入对催化合成乙酸正丁酯的催化活性和重
在新时代大学生人文素质培育中,树立文化自信有助于大学生形成正确的价值观,坚定理想信念;有助于传承优秀传统文化,阐释好中国特色;有助于涵养大学生优秀精神品格,弘扬时代精
ENC’98国际核能会议于1998年10月25日至28日在法国尼斯召开。议题包括核能与环境,核电站的运行,核燃料循环,新的与未来的堆型、核电站等。我参加了高温气冷堆研讨会。研讨会
素质教育的本质是创新教育，信息技术课的自身特点有利于培养学生的创新能力和探索能力。本文从认知领域出发阐述了在信息技术课中如何利用设计合理的教学策略来逐步培养学生“
摘 要:本文论述了英语教学中学生主体地位的认识,重视发挥学生的主体作用,激励学生创新思维发展,是教师在课堂教学中主导作用的体现。关键词:主体作用; 主导; 创新思维中图分类号:G623.31 文献标识码:A 文章编号:1006-3315(2010)6-037-001英语是一门实践性很强的工具课,要使学生掌握语音、词汇和语法的基础知识,具有初步运用英语的能力,必须指导学生的语言实践,培养他们实际运用
处在当前我国的经济发展背景下,各领域的生产发展对能源资源的需求量大,化工生产作为满足市场发展需要的重要领域,保障化工生产安全以及做好环境保护工作显得比较重要,这是保