It suppli- es a Requirements Specification Language RSL.

• 它提供了一个需求说明语言 RSL,用户可以用它描述数据及应用需求。