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