南昌大学学报（工科版）
南昌大學學報（工科版）
남창대학학보（공과판）
JOURNAL OF NANCHANG UNIVERSITY ENGINEERING & TECHNOLOGY EDITION
2007年
2期
181-185
,共5页
王兵%肖美华%刘晓清%朱宜炳
王兵%肖美華%劉曉清%硃宜炳
왕병%초미화%류효청%주의병
电子商务协议%SPIN%原子性
電子商務協議%SPIN%原子性
전자상무협의%SPIN%원자성
电子商务协议的研究有利于促进电子商务的发展,电子商务协议的原子性是电子商务协议研究的重点.对NetBill协议及其原子性在开放性的环境中进行形式化描述的基础上,给出基于SPIN平台的NetBill协议模型,用LTL刻画协议需要满足的性质,用模型检测器SPIN对NetBill协议分析结果表明NetBill协议满足原子性.该方法对类似电子商务协议的其它性质分析具有一定的通用性.
電子商務協議的研究有利于促進電子商務的髮展,電子商務協議的原子性是電子商務協議研究的重點.對NetBill協議及其原子性在開放性的環境中進行形式化描述的基礎上,給齣基于SPIN平檯的NetBill協議模型,用LTL刻畫協議需要滿足的性質,用模型檢測器SPIN對NetBill協議分析結果錶明NetBill協議滿足原子性.該方法對類似電子商務協議的其它性質分析具有一定的通用性.
전자상무협의적연구유리우촉진전자상무적발전,전자상무협의적원자성시전자상무협의연구적중점.대NetBill협의급기원자성재개방성적배경중진행형식화묘술적기출상,급출기우SPIN평태적NetBill협의모형,용LTL각화협의수요만족적성질,용모형검측기SPIN대NetBill협의분석결과표명NetBill협의만족원자성.해방법대유사전자상무협의적기타성질분석구유일정적통용성.
