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

来源 :南昌大学学报(工科版) | 被引量 : 0次 | 上传用户：xuezhiyong2003

【摘要】

：

电子商务协议的研究有利于促进电子商务的发展,电子商务协议的原子性是电子商务协议研究的重点.对NetBill协议及其原子性在开放性的环境中进行形式化描述的基础上,给出基于SP

【作者】

：

王兵肖美华刘晓清朱宜炳

【机构】

：

南昌大学计算中心,中国科学院软件研究所

【出处】

：

南昌大学学报(工科版)

【发表日期】

：

2007年2期

【关键词】

：

电子商务协议 SPIN 原子性 electronic commerce protocols SPIN atomicity

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

县级电网调度运行管理中应注意问题探讨

电在日常生活中的各项方面都会用到,特别是在我国科技不断发展的情况下,电已经成为了人们日常生活中必备的条件,也因此我国政府对于电的供应问题特别重视,加大了电网建设的力

期刊

县级电网电网调度管理电力供应电力系统分级管理

大直径挖孔扩底桩承载特性试验研究

通过对三根人工挖孔扩底桩进行静载试验，从埋于桩中不同层面的钢筋应力传感器和桩端压力传感器所获得的实测数据，分析研究了人工挖孔扩底桩的承载特性和荷载传递机理，探讨了桩端

期刊

人工挖孔扩底桩静载试验承载特性manually excavated belled pilesstatic loading testcharacteri

220kV智能变电站检修二次安全检查措施分析

220kV智能变电站是当前国内常见的智能变电站类型之一,做好220kV智能变电站检修二次安全检测工作既是电力系统安全管理工作的重要内容,也是降低变电站事故发生率的必要举措,

期刊

220kV智能变电站变电站检修二次安全检查电力系统电力事故

错季南瓜间作朝天椒栽培技术

<正> 实施错季南瓜间作朝天椒栽培技术,平均每亩增收超过800元,增产增效明显,主要栽培技术为: 1 错季南瓜 1.1 整地。初春,土壤化冻后,及时整地造墒。结合耕翻,每亩施人腐熟

期刊

错季南瓜朝天椒栽培技术农作物

大跨度悬索桥模糊安全性评价模型

基于模糊理论,建立了用于大跨度悬索桥的模糊安全性评价模型。确定了大跨度悬索桥的模糊评价集,并确定了模糊评价因素集,通过专家调查确定了模糊评价因素权重值,经加权平均值

期刊

桥梁工程安全性评价模糊评价悬索桥加权平均值法bridge engineering safety evaluation method fuzzy

智能电网下的电网安全性与稳定性研究

随着世界经济的发展,当今电力发展对智能电网的需求与日俱增。智能电网是电力系统科技创新的产物,其以优越的性能影响着现有电网安全和稳定性控制,是当前世界电力发展的必然

期刊

智能电网安全性稳定性分布式电源装置电力系统

《干旱气象》2012年总目次第30卷第1期

期刊

应用IOEM处理EMP在孔面上的奇异特性

<正> 一、Fredholm积分算子展开定理 IOEM的关键是Fredholm积分算子展开定理。首先我们用Fredholm积分算子构成一个算子空间,待定义线性运算,内积和范数以后进一步证明空间为

期刊

IOEMEMP计算电磁散射奇异特性

入世，谁在外企最有发展潜力

<正> 加入世贸组织后,外资企业将大量涌入国内,大量人才也纷纷涌入外企。并不仅仅因为那儿薪水高,更多的人看重的是外企所提供的机会,这使得他们在发挥自己才能的同时得到发

期刊

WTO外资企业员工素质

建筑工程给排水管道的施工技术探析

给排水管道施工是建筑工程施工中的重要组成部分之一,其施工质量的高低直接决定着整个工程项目的质量。文章对建筑工程给排水管道的施工技术进行了分析,希望对相关人士提供一

期刊

建筑工程给排水管道施工技术工程施工施工质量

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

与本文相关的学术论文