电子商务系统形式化分析与验证技术综述(Ⅱ)
杜玉越1
于淑霞2
王文宏3
1.聊城大学,计算机学院,山东,聊城,252059;中国科学院,软件研究所计算机科学重点实验室,北京,1000802.聊城大学,物理科学与信息工程学院,山东,聊城,2520593.聊城大学,计算机学院,山东,聊城,252059
摘要：应用形式化分析技术对电子商务系统模拟与验证,可以查找系统设计中的错误和不足,确保系统的正确性和健壮性.本文将目前用于电子商务系统的形式化方法划分为四大类,综合分析并比较了各类方法的应用特点,并指出了进一步地研究工作.
关键词：电子商务系统形式化技术分类综述
分类号：TP393(计算技术、计算机技术)
资助基金：国家重点基础研究发展计划（973计划）(2003CB316902,2004CB318001-03)山东省自然科学基金(2004ZX17,2004ZX14)中国科学院重点实验室开放基金(SYSKF0309)
论文发表日期：2005-01-01
在线出版日期：2026-08-28（本平台首次上网日期，不代表文献的发表时间）
页数：6( 11-15,19 )
英文信息