xyz系统中的速成原型示范及其支持工具*

速成原型示范作为一种新型的软件开发方法正受到人们广泛的重视．xyz系统是一种以时序逻辑为基础的适应多种程序设计方式的case环境．它所支持的软件开发方法是“以逐步求精方式，进行形式描述、验证或速成原型示范．直到得出可有效执行的程序”的方法．这种方法不仅能使从抽象描述到可有效执行的程序的逐步演化过程中的每步求精自然简明．而且能对每步求精的结果进行正确性评估、尽早发现问题、解决问题．本文着重介绍并讨论运用xyz系统进行软件开发时所采用的速成原型示范，以及xyz系统中支持速成原型示范的软件工具xyx/prot，该工具可以从目标系统的时序逻辑语言抽象描述自动地构造出prolog语言表示的可运行原型．并演示原型．