Generate the necessary constraint in OCL, as shown in Figure 13.
用ocl生成必要的约束，如图13所示。
To create a precise and complete model, we need both UML diagrams and OCL expressions.
为了创建一个精确且完整的模型，我们需要UML图表及OCL表达式。
A proven approach to add precision to a model is through the use of constraints and OCL.
向模型添加精确度的一种已证实的方法是通过使用约束和OCL。
Using constraints, and in particular OCL, can benefit you as you work toward these goals.
当您向这些目标前进时，利用约束条件，并且特别是OCL，可以使您受益。
Transformation rules at the attribute level, documented using Object Constraint Language (OCL).
属性级的转换规则，用目标约束语言（Object Constraint language，OCL）编制而成。
OCL is a declarative language, and also is a formal language.
OCL是一种声明式语言，也是一种形式化语言。
Do you think that services provided by OCL are adequate or not?
你觉得八达通公司的服务是否足够？
Do you think that OCL needs to improve the quality of its services or not?
你觉得八达通公司是否需要改善服务的质素？
Expressing such (relatively) local constraints is straight forward using OCL or OCL-like languages.
要表示这些(相对的)局部约束，可以直接使用OCL或者类似于ocl的语言。
Ability to query the data using an object-oriented query language: object Constraint language (OCL).
能够使用以下面向对象的查询语言对数据进行查询：对象约束语言(Object Constraint Language,OCL)。
Do you worry about that your personal data and details of payment transactions will be misused by OCL?
你是否担心你的个人资料及付款纪录会被八达通公司滥用？
After completing them, the generation of instances and the evaluation of the OCL expressions can begin.
在完成之后，实例的生成和OCL表达式的评价就可以开始了。
A proven approach to add precision to a model is through the use of constraints and the Object constraint Language (OCL).
增加模型精确度的一种已证实的方法是使用约束条件和对象约束语言(Object Constraint Language,OCL)。
Use the OCL to more formally specify the business rules in the domain model and the behavior contracts for objects and components.
使用OCL更形式化地指定域模型中的业务规则和对象与组件的行为契约。
The OCL parser at the bottom of the OCL expression editor confirms that the syntax is okay and that you’re returning a collection.
在OCLexpressioneditor底部的 OCL解析器能确认语法是否正确以及是否返回了一个集合。
The results of the experiment proved the correctness and effectiveness of the ideas on UML / OCL test case generation in the thesis.
实验结果验证了论文思想在UML/OCL测试用例生成中的正确性和有效性。
In fact, you must dust off UML's obscure Object Constraint Language (OCL) and an OCL code generator to achieve the same functionality.
事实上，您必须通过uml晦涩的对象约束语言(Object Constraint Language,OCL)，并使用OCL代码生成器，才能实现相同的功能。
A major advantage of OCL over an XQuery is its ability to navigate through the data model and follow all the associations of an object model.
OCL相对于XQuery的一个主要优点是，它能够在数据模型中导航，通过对象模型中的所有关联关系。
To understand the information in this section, you should be familiar with the OCL specification (see the Resources section for more information).
想要了解这部分内容的更多信息,您需要熟悉OCL 的规范（参阅参考资料 部分获取更多信息）。
On one hand, it generates instances of a certain model, and it verifies automatically whether they are compatible with the existing OCL constraints.
一方面，它生成了特定模型的实例，并自动确认它们是否与已有的OCL约束兼容。
If this looks a bit complex, remember that you don't have to use this technique all the time, and you can use simple textual notes rather than OCL if you prefer.
如果这看起来有一点复杂，那么记得无需一直使用该技术，如果您喜欢，可以使用简单的文本注释而不用ocl。
OCL is permitted to constrain and inquiry the elements in the model, define the model language on any layer of MOF and transform rules of model by different ways.
对象约束语言ocl可以对模型中的元素进行约束和查询，可以在MOF的任意一层上定义模型语言，还可以通过各种方法定义模型的转换规则。
The OCL queries free developers from the burden of the underlying XML data model and allow them to concentrate on the object model of their application, which they usually know very well.
OCL查询语言使开发人员从基础XML数据模型解脱出来，允许他们将重点放在其应用程序的对象模型上(这也是他们非常熟悉的部分)。
In this paper, an organization meta-model including both hierarchy and teamwork structure is presented and then UML object constraint language (OCL) is adopted to formalize the meta-model.
本文提出了包含组织纵向和横向结构的组织元模型，并采用UML对象约束语言(ocl)描述了元模型中实体与实体之间的联系和约束关系。
At the power output, OCL complementally and symmetrical power amplifier is adapted. The output sine voltage becomes smooth and stable by adding voltage-negative-feedback to power amplifier.
在功率输出级采用OCL互补对称功率放大电路，并对该功放电路增加电压负反馈，使得输出的正弦电压信号平滑而稳定。
This is an analysis and generalization on hanging type, wire, lead elevation, structure rise, arm stay, phase splitting pattern, OCL post foundation of Qin-Shen Passenger Dedicated line OCL.
对秦沈客运专线接触网悬挂类型、线材配置、导线高度及结构高度、腕臂支持结构、接触网电分相形式、接触网支柱基础等主要技术标准进行分析、总结。
The goal of this tutorial is to add textual constraints in OCL to restrict undesired instances of the model, and thus reach higher levels of maturity (See the Resources [1] section for more details).
本教程的目的是添加ocl的文本约束条件来限制模型的非期望的实例，并且因而达到更高的成熟级别(参见参考资料[1]，了解更多详情)。
The goal of this tutorial is to add textual constraints in OCL to restrict undesired instances of the model, and thus reach higher levels of maturity (See the Resources [1] section for more details).
本教程的目的是添加ocl的文本约束条件来限制模型的非期望的实例，并且因而达到更高的成熟级别(参见参考资料[1]，了解更多详情)。
应用推荐