约束是用某种文本语言中的陈述句表达的语义条件或限制。
通常，约束可以附加在任何一个或一列模型元素上。他代表了附加在模型元素上而不只是附加在模型元素一个视图上的语义信息。
每个约束有一个约束体和一种解释语言。约束体是一个字符串，包含一个用约束语言表达该约束条件的布尔表达式。这里的描述性语言可以是形式化语言，也可以是自然语言，如果是自然语言，则约束是非形式的，不能自动强制遵守，即使是形式化语言，也不一定都可以自动强制遵守。
约束应用于一个或一列模型元素。
某些常用约束有名字，从而避免每次使用时写出完整的语句。
约束不是一种可以执行的机制，而是一种断言。
运行时约束将在实例化的系统“稳定时被评估（在每个操作的执行之间而不是在任何原子事物的执行过程中。
约束不能作用于自身。
即使后代定义了额外的约束，继承的约束也必须遵守。继承的约束不能被忽略或者被取代。
MBSES用户使用说明书