| 摘要: |
| 速成原型示范作为一种新型的软件开发方法正受到人们广泛的重视．XYZ系统是一种以时序逻辑为基础的适应多种程序设计方式的CASE环境．它所支持的软件开发方法是“以逐步求精方式，进行形式描述、验证或速成原型示范．直到得出可有效执行的程序”的方法．这种方法不仅能使从抽象描述到可有效执行的程序的逐步演化过程中的每步求精自然简明．而且能对每步求精的结果进行正确性评估、尽早发现问题、解决问题．本文着重介绍并讨论运用XYZ系
统进行软件开发时所采用的速成原型示范，以及XYZ系统中支持速成原型示范的软件工具XYX/PROT，该工具可以从目标系统的时序逻辑语言抽象描述自动地构造出PROLOG语言表示的可运行原型．并演示原型． |
| 关键词: 抽象描述，规范，原型，执行，逻辑，工具。 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| RAPID PROTOTYPING AND ITS SUPPORTING TOOLS IN THE XYZ SYSTEM |
|
Tang Zhisong,Wang Shan
|
| Abstract: |
| Rapid prototyping as a new method for software development is actracting great attention．The XYZ system is a CASE environment based on temporal logic and con forming to various ways of programming．The method for software development supported by the XYZ system is that of“formally specifying the target system，and then verifying or rapid prototyping the specification in a way of stepwise refinement till the effectiveiy exe cutable programs are obtained”．This method not only can make every steps in the evolu-tion procedures froom abstract specification to effectiveiy executable programs natural and eiear，but also can evaluate the correctness of the results of refinement in order to discover the problems and resolve them eariler．In this paper，the authors present and discuss the rapid prototyping which will be applled to the software development with the support of
the XYZ system and the software tools——XYZ/PROT with which they support the rapid prototyping by construction the PROLOG prototypes from the specifications in temporal logic and executing the prototypes． |
| Key words: Abstract description,rules,prototyping,execution,logic,tools． |
