Statements in natural language plus diagrams of the services the system provides and its operational constraints. Written for customers.

• 用自然语言加图表的形式给出的关于系统需要提供哪些服务以及系统操作受到哪些约束声明。