1) Verification of semantic properties
语义性质验证
2) semantic verification
语义验证
1.
Especially,an application of semantic verification method based on 3DWFN reduction is described in detail.
特别是详细阐述了基于三维工作流网化简技术的过程语义验证方法的应用,说明了该方法的有效性。
2.
In a workflow system,a semantic verification method based on component-level reduction is described to verify an e-commerce process,order-and-buy process,which is defined with 3DWFN.
工作流过程语义验证是保证过程完成其最终目的的必要方法,基于组件的语义验证方法有利于提高验证效率,适合验证大型过程的语义正确性。
3.
This paper focuses on semantic verification method, solving the problem of conflict checking under the combination of control flow, data flow and resource dimensions of workflow processes.
针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法。
3) basic semantic character meaning semanteme
性质语义
6) quality conformance
质量符合性验证
补充资料：DVT 设计验证(Design Verification Testing)
以测试产品的功能性为主，通常还包含Debug。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条