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