A Petri-net-based correctness analysis of Internet stock trading systems

CASIA OpenIR > 09年以前成果

	A Petri-net-based correctness analysis of Internet stock trading systems
	Du, YuYue 1,2; Jiang, ChangJun 3; Zhou, MengChu 4,5
发表期刊	IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS
	2008
卷号	38 期号:1 页码:93-99
文章类型	Article
摘要	This paper shows how temporal Petri nets (TPNs) can be used to specify and analyze an Internet stock trading system. The dynamical behavior of the system and causality between events can be explicitly described by temporal formulas. The functional correctness of the modeled system is formally verified by using the inferential rules in temporal logic. Important properties of the system are analyzed based on its TPN model such as liveness, eventuality, and fairness properties. This paper demonstrates that TPNs can provide significant advantages in the design and analysis of business processes.
关键词	Correctness Formal Verification Petri Nets (Pns) Stock Trading Systems Temporal Logic
WOS标题词	Science & Technology ; Technology
关键词[WOS]	DESIGN ; MODEL
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Artificial Intelligence ; Computer Science, Cybernetics ; Computer Science, Interdisciplinary Applications
WOS记录号	WOS:000251840500010
引用统计	被引频次：29[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://ir.ia.ac.cn/handle/173211/9686
专题	09年以前成果
作者单位	1.Shandong Univ Sci & Technol, Coll Informat Sci & Engn, Qingdao 266510, Peoples R China 2.Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China 3.Tongji Univ, Dept Comp Sci & Engn, Shanghai 200092, Peoples R China 4.New Jersey Inst Technol, Dept Elect Comp Engn, Newark, NJ 07102 USA 5.Chinese Acad Sci, Inst Automat, Lab Complex Syst & Intelligence Sci, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Du, YuYue,Jiang, ChangJun,Zhou, MengChu. A Petri-net-based correctness analysis of Internet stock trading systems[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS,2008,38(1):93-99.
APA	Du, YuYue,Jiang, ChangJun,&Zhou, MengChu.(2008).A Petri-net-based correctness analysis of Internet stock trading systems.IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS,38(1),93-99.
MLA	Du, YuYue,et al."A Petri-net-based correctness analysis of Internet stock trading systems".IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS 38.1(2008):93-99.