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