完善Jackson的设计方法

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