完善Jackson的设计方法 |
| |
引用本文: | 李毅.完善Jackson的设计方法[J].天津理工学院学报,2001,17(2):49-52. |
| |
作者姓名: | 李毅 |
| |
摘 要: | Jackson方法所得到的程序模块结构差,形式化描述能力弱。因此,结构性不理想,使得Jackson方法在使用中受到限制。本文提出一种方法,将数据结构按其性质划分成若干个数据结构,对每一个数据结构设计出相应的CSP,它们之间接口是CSP通讯。在设计每个CSP时给出所处理数据的属性文法在形式说明,其描述能力比Jackson的数据结构树更严格。由此形成说明导出相应的进程。所设计的方法实质上是融合了当前属性文法,模块程序设计以及Jackson方法,而获得一个更好、更为有力的程序设计方法。
|
关 键 词: | 数据结构 程序结构 Jackson方法 模块程序设计 属性文法 CSP |
本文献已被 维普 等数据库收录! |
|