位置：成果数据库 > 期刊 > 期刊详情页
网上证券交易系统的时序Petri网描述及验证
  • ISSN号：1000-9825
  • 期刊名称：《软件学报》
  • 时间：0
  • 分类：F830.91[经济管理—金融学]
  • 作者机构：同济大学计算机科学与工程系，上海200092
  • 相关基金：~~国家自然科学基金资助项目(69973029;69933020);国家重点基础研究规划973资助项目(G1998030604);中国科学院软件研究所计算机科学重点实验室资助项目(SYSKF0205)
作者： 杜玉越, 蒋昌俊
关键词： 网上证券交易系统, 时序PETRI网, 时序逻辑, 形式描述, 正确性验证, 电子商务, 股票市场
中文摘要：

基于时序Petri网对我国现行网上静态的动态证券交易系统进行了模拟，形式描述及功能正确性验证，应用时序逻辑推理规则，从形式上严格证明了证券交易系统需求规范及其时序Petri网模型动态行为的一致性，结果表明，时序Petri网能够清楚而简单地描述事件间的因果关系和时序关系以及并发系统中某些与时间有关的重要性质，如最终性和公平性，因此，时序Petri网可作为并发系统形式化描述和分析的有力工具。

同期刊论文项目
PN机的行为相关性研究
期刊论文 6
并行程序设计环境关键技术
期刊论文 7
同项目期刊论文
投入产出系统Petri网模型
全局指令调度综述
一种基于动态并行区的OpenMP程序开发模式
基于网语言的Ada程序局部性质的分析和验证
一种虚拟人运动生成和控制方法
同步合成网的完全顺序行为不变性
投入产出系统Petri网模型
基于网语言的Ada程序局部性质的分析和验证
扩展Petri网在实时数据库并发控制中的应用
同步合成网的完全顺序行为不变性
Petri网化简规则在系统中的实现
期刊信息
  • 《软件学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院软件研究所 中国计算机学会
  • 主编：赵琛
  • 地址：北京8718信箱中国科学院软件研究所
  • 邮编：100190
  • 邮箱：jos@iscas.ac.cn
  • 电话：010-62562563
  • 国际标准刊号：ISSN：1000-9825
  • 国内统一刊号：ISSN：11-2560/TP
  • 邮发代号:82-367
  • 获奖情况:
  • 2001年入选中国期刊方阵“双百期刊”,2000年荣获中国科学院优秀科技期刊一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:54609