主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
丁志军,蒋昌俊.基于网语言的Ada程序局部性质的分析和验证.软件学报,2002,13(12):2305-2316
基于网语言的Ada程序局部性质的分析和验证
Analysis and Verification of Local Properties of Ada Tasking Based on Net Language
投稿时间:2001-01-15  修订日期:2001-03-19
DOI:
中文关键词:  Ada网  同步合成  同步分解  网语言  分析  验证
英文关键词:Ada net  synchronous composition  synchronous decomposition  net language  analysis  verification
基金项目:国家自然科学基金资助项目(69973029;69933020);国家高技术研究发展计划资助项目(2001AA413020);国家重点基础研究发展规划973资助项目(G1998030604);国家杰出青年科学基金资助项目(60125205);教育部优秀青年教师教学科研奖励计划资助项目;全国优秀博士论文作者专项基金资助项目(199934);上海市科技发展计划重点基础研究基金资助项目(02DJ14064)
作者单位
丁志军 山东科技大学信息科学与工程学院,山东,泰安,271019 
蒋昌俊 山东科技大学信息科学与工程学院,山东,泰安,271019 
摘要点击次数: 3104
全文下载次数: 3193
中文摘要:
      旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂的Ada程序的分析与验证提供了一个新的有效途经.
英文摘要:
      In this paper, the properties of Ada tasking and the correlative state explosion problem are discussed by using the net language. The synchronous composition and decomposition of Ada net is studied, as a result, net language properties are obtained, and the safeness and liveness properties of Ada tasking by using the Ada net language are analyzed and verified, which provide a new and useful way for analyzing and verifying the complex Ada tasking.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利