【摘要】 表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向。更多还原

【Abstract】 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 30years,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.更多还原