位置：成果数据库 > 期刊 > 期刊详情页
基于网语言的Ada程序局部性质的分析和验证
  • ISSN号：1000-9825
  • 期刊名称：《软件学报》
  • 时间：0
  • 分类：TP311.1[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]山东科技大学信息科学与工程学院，山东泰安271019, [2]同济大学计算机科学与工程系，上海200092
  • 相关基金：国家自然科学基金资助项目(69973029;69933020);国家高技术研究发展计划资助项目(2001AA413020);国家重点基础研究发展规划973资助项目(G1998030604);国家杰出青年科学基金资助项目(60125205);教育部优秀青年教师教学科研奖励计划资助项目;全国优秀博士论文作
作者： 丁志军[1], 蒋昌俊[2]
关键词： 网语言, ADA程序, 局部性质, 同步合成, 同步分解, 分析, 验证, ADA语言, 并发程序, 程序设计
中文摘要：

旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题。研究了Ada网的同步合成与分解，讨论了它们的语言性质，并利用这一结果分析和验证了Ada程序的安全性和活性，从而为复杂的Ada程序的分析与验证提供了一个新的有效途径。

同期刊论文项目
并行程序设计环境关键技术
期刊论文 7
PN机的行为相关性研究
期刊论文 6
计算机系统模拟与建模
期刊论文 11
同项目期刊论文
投入产出系统Petri网模型
全局指令调度综述
一种基于动态并行区的OpenMP程序开发模式
一种虚拟人运动生成和控制方法
网上证券交易系统的时序Petri网描述及验证
同步合成网的完全顺序行为不变性
主从任务调度的T-时间Petri网
网格体系的Petri网模拟与分析
投入产出系统Petri网模型
Web服务组合的有色网模型及运算性质
Petri网语言的Pumping引理
医疗信息系统工作流的Petri网建模与化简分析
基于稳定分支的变权网络最优路径算法
面向移动导航设备的数字地图分级组织与预取策略
基于UML实时状态图的定量分析
一种面向移动导航设备的电子地图空间索引结构
投入产出系统Petri网模型
网上证券交易系统的时序Petri网描述及验证
扩展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