一种面向问题的语言。①综合了自然语言与人工语言，通常可由计算机处理；②用于表达某一系统或构件的需求、设计、行为或其他特性；③提供专用语言构造，有时还提供验证协议，供开发、分析所规定的实体并为其编制文档使用。