module specification

模块包括模块类(module class)、模块规范(module specification)、模块实现(module implementation)。

...SL 用来对CDFD 里的构件进行形式化描述，称为模块规约（Module Specification）。

...模块中的对象为单位来控制权限 -15- 模块 - 规格说明(Module Specification) 模块可以发布type, SP, UDF以供外部使用。