需求验证必须与终端用户协同执行，以暴露和改正不完整或不正确初始模型的所有问题。
Requirements validation must be performed in collaboration with the end users, to reveal and correct any problems with incomplete or incorrect initial models.
IT体系结构与服务模型确定企业数据、应用程序和基础设施所属的组织及其在静态和运行时执行的过程中的相互关系。
It architecture and the service model identify the organization of enterprise data, applications, and infrastructure and how they are interrelated both statically as well as during run-time execution.
与动态分析方法相比，在静态分析中实际并没有任何执行行为：整个分析是建立在纯粹的数学模型基础上的。
In contrast to the dynamic analysis approach, in static analysis nothing actually gets executed: the whole analysis is based purely on mathematical models.
在此模型中，ESB和提供者服务之间的信任与前面esb执行身份验证时的情况一样。
In this model the trust between the ESB and a provider service is the same as the previous case where the ESB executes the authentication.
当我开始研究可用的数据绑定框架时，我惊奇地看到：与文档模型（如 dom4j）相比，它们并不是执行得都那样好。
When I began looking at the available data binding frameworks I was surprised to see that they didn't perform all that well compared with document models such as dom4j.
根据type属性的值的不同，标记文件执行不同的JSP代码片段，并设置与HTML元素同名的模型属性。
Depending on the value of the type attribute, the tag file executes different JSP fragments, which set the model property with the same name as the HTML element.
RuleExecutionServer执行组件让我们能够通过编写代码与 Rule Execution Server模型交互，而不需要依赖于内部实现。
The Rule Execution Server execution components enable you to write code to interact with the Rule Execution Server model, without any dependency on the internal implementation.
该进程包括同步分析模型、GTP'ing应用程序执行administrationLinks、运行Reconciles与Publishes。
The process includes Synchronizing the Analyst Model, GTP 'ing the application, executing Administration Links, running Reconciles and Publishes.
这样允许你跨越项目强制执行标准，并且快速确定一个模型是否与那些标准相符合。
This allows you to enforce standards across projects and quickly determine whether a model is compliant with those standards.
企业架构方法帮助创建的模型可以把业务动机与业务执行绑在一起，而且这些模型是SOE需要的多种模型的子集。
Ea methods help in creating the models that ties business motivation to business execution and is a subset of the various models that are required for an SOE.
此中介流组件（图4）执行请求者数据模型与提供者数据模型间的映射，并且还可以针对诊断或审计的目的进行进一步的日志记录。
The mediation flow component (Figure 4) performs a mapping of the requestor's data model to that of the provider, and perhaps performs some further logging for diagnostics or auditing purposes.
MTF转换引擎将随后执行这些规则来将目标模型文件与源模型文件同步。
The MTF transformation engine then executes those rules to synchronize the target model files with the source model files.
与大内存模型类似，可以通过一个链接器选项或在运行时使用LDR_CNTRL环境变量来为编译时的可执行程序启用超大内存模型。
The very large memory model, like the large memory model, can be enabled for an executable at compile time with a linker option or at run time using the LDR_CNTRL environment variable.
人工执行者在当业务流程被建模的时候出现，同时在模型中也会展示系统的其它方面，比如管理与安全等。
Human actors appear when business processes are modeled, and also in models showing other aspects of the system, such as management and security.
要删除多维数据集模型中与一个多维数据集关联的安全元数据，使用AdministrationConsole执行以下操作。
To remove the security metadata associated with a cube in your cube model, use the Administration Console to do the following.
如果您做出了这些调整操作，那么就可以按照与之前相同的方法使用Rational QualityManager执行基于模型的测试，但是不是测试真实的实施。
If these adjustments are made, the model-based tests can be executed from Rational Quality Manager in exactly the same way as before, but not to test the real implementation.
强制执行了与数据模型相关的业务规则。
其次，分析了用例驱动过程与软件基本架构的关系，并说明了从概念模型到可执行体之间的对应关系。
Secondly, we present the relations between use case driven process and software basic sketch, and also describe the corresponding relations between semantic models and executive entities.
通过对MES的定位分析和功能模型分解，构建了基于组件技术与DNC网络的制造执行系统。
A manufacturing executive system based on groupware and DNC has been established through analyzing the role of MES and decomposing its function model.
一个考虑时间因素的工作流模型，需要在投入运行前进行时间规范与验证，以保证工作流执行的时间协调。
A workflow model, which considers time related factors, requires time specification and verification before it goes into production so as to guarantee the time coordination in workflow executions.
推导并建立了陀螺系统和伺服执行机构的实物仿真模型，使之与角跟踪电路构成闭合控制回路。
Practical simulating models are deduced and built for the gyro system and the performing setting of the servo system to consist a close-control loop with angle-tracing circuit.
讨论了本地流程模型的生成算法及部署与执行机制。
An algorithm of generating the local process models is presented in detail with deployment and execution mechanism introduced.
这个方法可让您执行资料栏位的自订验证，以及关联自订范本与资料模型中的资料表或资料栏位。
This approach lets you perform custom validation of data fields and associate custom templates to tables or data fields in the data model.
介绍批量生产过程控制标准ISAS88中的专业术语与模型，详细说明批量控制系统是如何实现批量执行的。
The professional terminology and model of batch process control standard ISA S88 was introduced. Explained in detail how the batch control system realized the batch execution.
本文通过对坪湖煤业检查与执行力关系的认识，分析了检查对企业的重要性，在此基础上，建立了基于执行力的企业模型。
According to the analysis of the relationship of check and executive force and the importance of check on enterprises, the authors has established the enterprise model based on executive force.
以步进电机作为控制系统的执行机构，讨论了无模型控制器的输出与步进电机之间的软件连接问题。
The software connection problem between the output of non-model controller and step motor, is discussed using step motor as the actuator of control system.
而基于角色的访问控制模型以角色为中介，将用户与权限逻辑隔离，但该模型不能处理有执行顺序的任务；
Role is introduced to separate user and privilege in role-based access control model, but RBAC can't directly control the permission for a sequence of events.
建立了传感器、端部执行器与环境的物理模型，并对该力控制系统的稳定性进行了分析。
Physical model of sensor, tool tail-end and the environment is made. The stability of the model is also analyzed.
实验表明，该信任模型和结盟方法有效保障了业务过程执行的安全性与高效性；
The results have proved that our trust model and coalition formation mechanism can guarantee the security and efficiency of business process execution.
本文提出了基于现场保存与恢复的双核冗余软错误恢复执行模型DCR。
The dual-core redundancy based on context saving and recovery (DCR) executes two redundant threads of a given program on separate cores.
应用推荐