CASIA OpenIR  > 09年以前成果
A Petri-net-based correctness analysis of Internet stock trading systems
Du, YuYue1,2; Jiang, ChangJun3; Zhou, MengChu4,5
2008
发表期刊IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS
卷号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
引用统计
文献类型期刊论文
条目标识符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.
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[Du, YuYue]的文章
[Jiang, ChangJun]的文章
[Zhou, MengChu]的文章
百度学术
百度学术中相似的文章
[Du, YuYue]的文章
[Jiang, ChangJun]的文章
[Zhou, MengChu]的文章
必应学术
必应学术中相似的文章
[Du, YuYue]的文章
[Jiang, ChangJun]的文章
[Zhou, MengChu]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。