规约语言 规约语言英語Specification language或称規範語言是在计算机科学领域的使用的一种形式语言编程语言是用于系统实现的可以直接运行的形式语言与之不同规约语言主要用于系统分析和设计的过程中 规约语言通常是不能直接运行的虽然有人在进行这方面的研究规约语言在比编程语言更抽象層次上描述系统因此在规约语言被实际实现之前必须经过一个精簡化不断添加实现细节的过程 规约语言的一个重要应用是允许创建程序正确性的证明参见自动定理证明