时序逻辑程序语言XYZ/E的创新性

Creativeness of XYZ/E,a program language based on temporal logic

唐稚松院士及其团队开发的大型软件工具系统XYZ是我国软件工程领域发展的一个里程碑,其核心部分XYZ/E是基于时序逻辑的程序语言。从创新的视角评价:XYZ/E是逻辑思想方法和计算机科学特征的融合产物;采用形式语义的方式描述程序的状态转换机制,在传统时态逻辑基础上,增添了更多实用的表达工具; XYZ/E比通常的动态逻辑,对程序语言动态思想的刻画显得简明直观。XYZ/E的创新给我们的启示是:往小处说,我们有必要吸取唐院士的成果,按照当今计算机程序语言的实际需求,探索揭示程序动态更新思想的更为直观简明的方式;往大处讲,我们要发扬唐院士的治学精神,强调交叉融合的跨学科思考。

XYZ,developed by Tang Zhisong,an academician from Chinese Academy of Social Sciences,and his team,stands out as a landmark in the progress of software engineering in China. The core of XYZ is XYZ/E which is a program language of temporal logic. This paper makes an logical assessment of XYZ/E,and points out its creativeness mainly lies in the facts that： due to the adaptation of formal semantics in describing the mechanism of state changes,there is an organic merger of logic and computer science; compared with the classic tense logic,many new tools of expressions have been introduced into temporal logic for XYZ/E;compared with the dynamic logic,XYZ/E is much simpler and easier in representing the dynamic concept of program language. At the end of the paper,some inspiration and thinking incurred by the creativeness of XYZ/E have been put forwards. To put it in a nutshell,it is necessary for us to absorb the achievements of academician Tang and explore more intuitive and concise ways to reveal the dynamic updating ideas of programs according to the actual requirements of current computer program languages; and we should carry forward the spirit of academician Tang,and emphasize the cross-integration of interdisciplinary thinking.