表格语言的分析比较  

Comparison of Tabular Notations

作　　者：陈怡海[1] 缪淮扣[2] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072 [2]上海市计算机软件评测重点实验室,上海201114

出　　处：《计算机科学》2014年第3期23-26,共4页Computer Science

基　　金：国家自然科学基金项目(61073050;61170044)资助

摘　　要：表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向。Tabular notations are both readable and convenient.They allow representing the specifications of systems in a very compact and precise manner.They also make checking such important properties as consistency and completeness natural and relatively easy.In the past 30 years,tabular notations have been successfully applied in several safety-critical software systems.This paper presented a fairly comprehensive survey comprising three variants of tabular notations.The paper analyzed and compared all these three variants of tabular notation in details.Moreover,the paper discussed the challenges behind using tabular notations to derive an implementation of a working real-time system and presented some solutions.Finally it also attempted to help the reader navigate the vast literature in the field,to highlight differences and similarities between variants,and to reveal research trends and promising avenues for future exploration.

关 键 词：表格方法 形式方法 规格说明验证与确认 工具支持 

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