【正确答案】形式化规约语言通常由三个主要的成分构成：
   (1)语法：定义用于表示规约的特定符号。
   (2)语义：帮助定义用于描述系统的“对象的全域”。
   (3)一组关系：定义确定出哪个对象真正满足规约的规则。