|
|||||
|
|
A Formal Approach for Obligation Analysis of E-Commerce |
|
| Authors: | DU Yuyue ;JIANG Changjun |
| Affiliation: | [1]College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266510, China; [2]Department of Computer Science and Engineering, Tongji University, Shanghai 200092, China; [3]The State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China |
| Abstract: | Frcommerce system, Labeled Petri net, Formal modeling, Verification, Obligation analysis. |
| Keywords: | Frcommerce system Labeled Petri net Formal modeling Verification Obligation analysis |
| 本文献已被 维普 等数据库收录！ | |