The system requirement specification is given by UML diagrams, and the target is a system specification described in SDL.

• 售票机系统的需求规范用UML描述,系统的设计规范用SDL语言表示。