计算机时代
計算機時代
계산궤시대
COMPUTER ERA
2008年
12期
23-25
,共3页
SPIN%第三方支付%形式化%模型检查
SPIN%第三方支付%形式化%模型檢查
SPIN%제삼방지부%형식화%모형검사
第三方支付业务在电子商务平台中的广泛使用,极大促进了电子商务活动的发展.利用模型检查工具SPIN、建模语言PROMELA,对第三方支付业务进行形式化建模,然后利用时态逻辑公式LTL描述系统待验证属性,最后验证表明,网上交易在第三方支付的支持下可以顺利进行.
第三方支付業務在電子商務平檯中的廣汎使用,極大促進瞭電子商務活動的髮展.利用模型檢查工具SPIN、建模語言PROMELA,對第三方支付業務進行形式化建模,然後利用時態邏輯公式LTL描述繫統待驗證屬性,最後驗證錶明,網上交易在第三方支付的支持下可以順利進行.
제삼방지부업무재전자상무평태중적엄범사용,겁대촉진료전자상무활동적발전.이용모형검사공구SPIN、건모어언PROMELA,대제삼방지부업무진행형식화건모,연후이용시태라집공식LTL묘술계통대험증속성,최후험증표명,망상교역재제삼방지부적지지하가이순리진행.
