|
|||||
|
|
| 电子商务系统形式化分析与验证技术综述(Ⅱ) | |
| 引用本文： | 杜玉越,于淑霞,王文宏.电子商务系统形式化分析与验证技术综述(Ⅱ)[J].聊城大学学报(自然科学版),2005,18(3):11-15,19. |
| 作者姓名： | 杜玉越 于淑霞 王文宏 |
| 作者单位： | 1. 聊城大学,计算机学院,山东,聊城,252059;中国科学院,软件研究所计算机科学重点实验室,北京,100080 2. 聊城大学,物理科学与信息工程学院,山东,聊城,252059 3. 聊城大学,计算机学院,山东,聊城,252059 |
| 基金项目： | 国家973基础研究计划项目基金（2003CB316902,2004CB318001-03）,山东省自然科学基金（2004ZX17,2004ZX14）和中国科学院计算机科学重点实验室开放课题基金（SYSKF0309）联合资助项目 |
| 摘 要： | 应用形式化分析技术对电子商务系统模拟与验证，可以查找系统设计中的错误和不足，确保系统的正确性和健壮性．本文将目前用于电子商务系统的形式化方法划分为四大类，综合分析并比较了各类方法的应用特点，并指出了进一步地研究工作． |
| 关 键 词： | 电子商务系统 形式化技术 分类 综述 |
| 文章编号： | 1672-6634（2005）03-0011-05 |
| 收稿时间： | 2005-02-07 |
| 修稿时间： | 2005-02-07 |
Review of the Formal Analyzing and Verifying Technologies in Electronic Commerce Systems (Ⅱ) |
|
| Du Yu-yue,YU Shu-xia,WANG Wen-hong.Review of the Formal Analyzing and Verifying Technologies in Electronic Commerce Systems (Ⅱ)[J].Journal of Liaocheng University:Natural Science Edition,2005,18(3):11-15,19. | |
| Authors: | Du Yu-yue YU Shu-xia WANG Wen-hong |
| Abstract: | The application of formal methods to the modeling and analysis of electronic commerce systems can test the errors in the design of the systems, and verify the correctness and soundness properties of the systems. The existing formal approaches in the systems may be divided into four categories, and the advantages and disadvantages of one category are analyzed in this paper. Also, the characteristics of the four categories are compared in detail. Finally,future work is proposed. |
| Keywords: | electronic commerce system formal technology category review |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |