UML use case diagram, data conversion diagram (DFD), Z language.

• UML用例图，数据转换图(DFD)，Z语言。