文献类型：期刊文献

英文题名：Analysis and verification of dynamic stock trading systems

作者：Du, Yuyue[1,3]; Zheng, Hong[2]; Yu, Shuxia[1]

机构：[1] College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266510, China; [2] Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, China; [3] State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China

年份：2008

卷号：7

期号：3

起止页码：466

外文期刊名：Information Technology Journal

收录：EI(收录号：20085011775512)

语种：英文

外文关键词：Financial markets - Commerce - Memory architecture

摘要：A dynamic stock trading system with a distributed shared memory is analyzed formally based on its temporal Petri net model. The functional correctness of the system is formally verified and some important properties of the system are investigated, such as liveness, fairness, safeness and temporal properties. Finally, conclusions are found. ? 2008 Asian Network for Scientific Information.