完善Jackson的设计方法

Improving on Jackson design methodology

Jackson方法所得到的程序模块结构差 ,形式化描述能力弱 .因此 ,结构性不理想 ,使得Jackson方法在使用中受到限制 .本文提出一种方法 .将数据结构按其性质划分成若干个数据结构 ,对每一个数据结构设计出相应的CSP ,它们之间接口是CSP通讯 .在设计每个CSP时给出所处理数据的属性文法的形式说明 ,其描述能力比Jackson的数据结构树更严格 .由此形成说明导出相应的进程 .所设计的方法实质上是融合了当前属性文法 ,模块程序设计以及Jackson方法 ,而获得一个更好、更为有力的程序设计方法 .

By using of Jackson, a poor descriptive program module structre can be attained. Therefore, due to this imperfect structure, Jackson method is used in a limited way. This paper deals with a new method that is to group data structure into several structures according to its characters. Each structure has a CSP and words together through CSP communication. The method to design a CSP is to give a format explanation of each group of data's attribution. This explanation is more strictly than the Jackson's data tree. The format explanation leads to its procedure. This design combines with attributes grammar, module programming and Jackson method. Hence it is a better improving program design method.