On the Design and Temporal Petri Net Verification of Grid Commerce Architecture  

作　　者：DU Yuyue JIANG Changjun 

机构地区：[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

出　　处：《Chinese Journal of Electronics》2008年第2期247-251,共5页电子学报（英文版）

基　　金：This work is supported in part by the National Natural Science Foundation of China （No.60773034, No.60573018, No.60534060, and No.60473094）, the ＂Taishan Scholar＂ Construction Project of Shandong Province, China; the National Basic Research Program of China （973 Program） （No.2003CB316902, No.2007CB316502 and No.2004CB318001- 03）, and the Open Project of the State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences （No.SYSKF0604）.

摘　　要：The emergence of Grid Computing settings lays a solid foundation for designing and constructing a next generation E-commerce environment. This work presents a new E-commerce architecture based on a Grid Computing environment, and models and analyzes the architecture using Temporal Petri nets （TPNs）. It can make sufficiently use of the Grid resources to implement various electronic bargains between the geographically dispersed users. By means of its TPN model, some main temporal properties are represented and verified formally.

关 键 词：E-COMMERCE Grid computing Petri net Modeling DESIGN Verification. 

分 类 号：F713.36[经济管理—产业经济]