网上证券交易系统的性能验证  

作　　者：Yu-YueDu Chang-JunJiang 

机构地区：[1]DepartmentofComputerScience,LiaochengUniversity,Liaocheng252059,P.R.China [2]DepartmentofComputerScienceandEngineering,TongjiUniversity,Shanghai200092,P.R.China

出　　处：《Journal of Computer Science & Technology》2004年第C00期86-86,共1页计算机科学技术学报（英文版）

摘　　要：网上证券交易系统的成功实施是电子商务领域的重要应用之一。由于网上证券交易系统具有更好的实时性和安全性，当前绝大多数证券交易所，如纽约证券交易所、美国证券交易所、上海证券交易所等，均采用了电子证券交易。然而，网上证券交易系统的设计是一项相当复杂而繁重的任务，为确保系统在运行中的正确性和一致性，系统的活性、安全性、公平性等重要性质必须得到形式上的分析与验证。因此，形式化方法在软件系统设计、开发和运行中都起着十分重要的作用。

关 键 词：网上证券交易 纽约证券交易所 软件系统 上海证券交易所 电子商务 美国 任务 形式化方法 实时性 正确性 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论] F832[自动化与计算机技术—计算机科学与技术]