A Petri-net-based correctness analysis of Internet stock trading systems | |
Du, YuYue1,2; Jiang, ChangJun3; Zhou, MengChu4,5 | |
刊名 | IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS |
2008 | |
卷号 | 38期号:1页码:93-99 |
关键词 | correctness formal verification Petri nets (PNs) stock trading systems temporal logic |
英文摘要 | 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. |
WOS标题词 | Science & Technology ; Technology |
类目[WOS] | Computer Science, Artificial Intelligence ; Computer Science, Cybernetics ; Computer Science, Interdisciplinary Applications |
研究领域[WOS] | Computer Science |
关键词[WOS] | DESIGN ; MODEL |
收录类别 | SCI |
语种 | 英语 |
WOS记录号 | WOS:000251840500010 |
公开日期 | 2015-12-24 |
内容类型 | 期刊论文 |
源URL | [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. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论