一种基于JSD方法的规格说明语言及其支撑系统的设计与开发

DESIGN OF A JSD-BASED SPECIFICATOIN LANGUAGE ANDDEVELOPMENT OF ITS SUPPORTING SYSTEM

Jackson系统开发方法(JSD)是八十年代初提出的一种很有名的操作式软件开发方法。为了支持开发者将其应用到软件开发实践中,我们设计了一种基于JSD方法的图形化的操作式规格说明语言NUJSDL,并开发了其支撑系统NUJSDS,NUJSDL语言具有易理解、可分析和可维护等特性,它提供了多种机制分别刻划JSD开发过程中各阶段的结果,并且用它书写的规格说明还可以作为待开发系统的一个原型。NUJSDS是编辑工具分析工具规格说明生成工具和转换工具集成起来的交互式可扩充的系统,它支持规格说明在JSD思想指导下的开发,并能实现从规格说明到软件过程式描述的自动转换。

Jackson System Development method, JSD, is a famous operational software development approach in the 80's. We designed a JSD-based graphical operational specification language-NUJSDL and a supporting systemNUJSDS which supports the use of the method in the practice of software development. NDJSDL has the characteristics of understandable, analysable and maintainable etc. The results of the different phases in JSD development procedures are described by the various mechanisms in NUJSDL separately. A specification in NUJSDL may be regarded as a prototype of the system to be developed. NUJSDS is an interactive and extensible system, which includes the tools of editing, analysis, specification generation and transformation. It supports the incremental construction of the system specification and the transformation from specification to software procedural description.