2、约束 约束是用文字表达式表示的语义限制。每个表达式有一种 隐含的解释语言,这种语言可以是正式的数学符号,如set- heoretic表示符号;或是一种基于计算机的约束语言,如OCL ;或是一种编程语言,如C++;或是伪代码或非正式的自然语 言。当然,如果这种语言是非正式的,那么它的解释也是非正 式的,并且要由人来解释。即使约束由一种正式语言来表示, 也不意味着它自动为有效约束。Page 5 约束是用文字表达式表示的语义限制。每个表达式有一种 隐含的解释语言,这种语言可以是正式的数学符号,如settheoretic表示符号;或是一种基于计算机的约束语言,如OCL ;或是一种编程语言,如C++;或是伪代码或非正式的自然语 言。当然,如果这种语言是非正式的,那么它的解释也是非正 式的,并且要由人来解释。即使约束由一种正式语言来表示, 也不意味着它自动为有效约束。 2、约束