补充资料：XYZ/E语言族

XYZ/E语言族
XYZ/E language family

　　XYZ/任yuyanzuxYZ/E语言族(xYZ/Elanguage价”nily)一种系列化的时序逻辑语言族，其中各子语言分别表示不同的程序设计方式或程序范型的语言。X、，Z/E由中国科学院计算技术研究所唐稚松于70年代设计，它的最基本的特征是以一统一的框架既能表示适应诺依曼体系的状态转换机制的命令式语言，又能表示适应逻辑推理特征的直言式公式语言。 XYZ/E有三种控制结构:一种是直接表示状态转换的命令形式，具有这种控制结构的子语言称xYZ/BE(即卫进51。XYZ/E);另一种则是结构化高级语言的语句形式，具有这种控制结构的子语言称为XYZ/SE(即Structur司rulef〔)ml XYZ/E);第三种控制结构则是产生式规则的形式，具有这种控制结构的子语言称为XYZ/PE(即Preductlon rule爪〕nllX、艺/E)。 XYZ/E中也包括了表示各种并发性或不确定性、不同通信方式、不同类型的可重用模块的机制。故在一统一的程序中可包含所有这些机制及相应的各种程序设计方式。它同时还能包含表示多种可视图形程序的语义，而且这些图形与相应的XYZ/E程序可相互自动生成。由可重用模块(过程、进程、包块)与并发通信机制结合而成的程序，由于其结合方式不同，可以构成差异很大的总体结构，其中有些情况是互不相容的。可以区分为三种类型:①非分布式环境下基于对象的程序;②非分布式环境下面向对象的程序;③分布式程序。 XYZ系统是将时序逻辑与软件工程有机结合、基于XYZ/E语言的计算机辅助软件工程(C纪弧)环境。故它构成一正交的二维体系。一维是基于Manna一Pnudi线性时间时序逻辑语言族XYZ/E，另一维是CASE工具集，包括五组工具(交互式验证工具与自动生成工具、记录历史的逐步求精与原型速成工具、结构化设计的可视图形工具、语言转换工具、软件管理工具)，均以XYZ/E表示其语义界面，它们既可独立使用又可根据其输人输出界面语义一致性相互连结组成更复杂的工具。 (柳军飞赵深)
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。