JT-JSE/EXECUTER:JSD需求说明的直接执行器

JT-JSE/EXECUTER.THE DIRECT EXECUTION OF JSD SPECIFICATION

为克服传统瀑布型开发方法的缺陷,出现了一些新的开发方法,如快速成型法等。Jackson System Development(简称JSD)是一种新型的系统开发方法,由于其需求说明理论上是可以执行的,故适用于快速成型法。本文以作者在上海交通大学计算机科学系开发的JT-JSE系统为背景,介绍支持JSD的快速成型工具系统。JT-JSE包括三个子系统:1.JSD图形和文本编缉器JT-JSE/EDITOR;2.转换器JT-JSE/TRANS;3.需求说明执行器JT-JSE/EXECUTER。本文主要介绍作者已实现的JT-JSE/EXECUTER子系统。

This paper presents the direct execution of Jackson System Development(JSD)Specification in a Jackson System Development Environment——“JT-JSE”,which can be used as a rapid prototyping tool for system developments.In this paper,first a JSD Specification Language named JT-JSL is introduced;then the direct execution of JT-JSL,using the process scheduler's principle ofdataflow driven and the technique of program transformations,is briefly discussed.