| 电子商务系统形式化分析与验证技术综述(Ⅰ) |
| |
| 引用本文： | 杜玉越.电子商务系统形式化分析与验证技术综述(Ⅰ)[J].聊城大学学报(自然科学版),2004,17(2):15-20,27. |
| |
| 作者姓名： | 杜玉越 |
| |
| 作者单位： | 聊城大学,计算机学院,山东,聊城,252059 |
| |
| 摘 要： | 电子商务系统的设计与分析是一项相当繁重而复杂的任务，应用形式化分析技术对电子商务系统模拟与验证，可以查找系统设计中的错误和不足，确保系统的正确性和健壮性．将目前用于电子商务系统的形式化方法划分为四大类，分析了其中三类方法的应用特点．
|
| 关 键 词： | 电子商务系统 形式化分析 验证 逻辑 Petri网 工作流网 |
| 文章编号： | 1672-6634(2004)02-0015-06 |
Review of the Formal Analyzing and Verifying Technologies in Electronic Commerce Systems ( Ⅰ ) |
| |
| Du Yu-yue.Review of the Formal Analyzing and Verifying Technologies in Electronic Commerce Systems ( Ⅰ )[J].Journal of Liaocheng University:Natural Science Edition,2004,17(2):15-20,27. |
| |
| Authors: | Du Yu-yue |
| |
| Abstract: | Electronic commerce (E-commerce) is an important application over Internet. it is very much difficult for designing and analyzing E-commerce systems. In order to provide an explicit and understandable system structure for designers, and to check some flaws, E-commerce systems are generally modeled and verified formally. The existing formal approaches in E-commerce systems may be divided into four categories, and the advantages and disadvantages of three categories are analyzed respectively in this paper. |
| |
| Keywords: | electronic commerce system formal technology category property |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
