The target is to declare necessary constraints for model, and to obtain the codes that can detect constraint violation during runtime, thus, precondition code pattern, postcondition code pattern, invariant code pattern need to be designed respectively.
本文的目标是对模型施加必要的约束，得到能检测出运行时约束冲突的代码，这就要求分别为前置条件、后置条件、不变式设计出相应的代码模式。
参考来源 - OCL约束验证与实现方法研究·2,447,543篇论文数据，部分数据来源于NoteExpress
Because all four conditions hold, this situation results in a class loader constraint violation.
因为四个条件全部成立，所以这种情况会导致类装入器约束违反。
In table 6, the INSERT into the Orders table fails due to a foreign key constraint violation on custno.
在表6中，对orders表执行insert语句失败，因为custno违背了外键约束。
The position constraint violation problem of quasi-static deployment simulation was firstly proposed for deployable space truss.
本文首次提出可展桁架拟静力展开分析的违约问题。
应用推荐