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.
针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题，研究了过程的语义验证方法。
He is also concerned with the verification of security protocols through semantic formalisms and type checking.
他关注的领域还有通过语义形式和类型检查对安全性协议进行验证。
Explicitly executing the verification of a transformation will produce a report to the developer of any breaks in the semantic mapping established by the original transformation.
转换的验证步骤将为开发人员生成一个报告，其中包含原始转换所形成的语义映射中的间断。
Verification of the semantic connections between the model elements that participated in the transformation.
验证参与转换的模型单元间的语义连接。
The lack of precise semantics of UML makes it difficult to support the rigorous semantic analysis and accuracy verification of the models of complex systems.
UML缺乏准确的语义，难以支持对复杂系统的模型进行严格的语义分析和正确性验证。
The fourth chapter describes the ontology-based semantic relationship discovery and verification methods.
第四章介绍了基于本体的语义关系发现及验证方法。
According to the MPEG-4 verification model, video sequence must be segmented into semantic video objects. Their motion, shape and texture information are coded respectively.
按照MPEG - 4的校验模型，视频序列必须先分割成具有语义意义的视频对象，然后对其运动、形状和纹理分别进行编码。
The reduction rules in co-verification see the consistency in semantic constraints as principle, reducing the model when there are no semantic conflicts gradually.
协同验证的化简规则是在语义约束一致性的原则下，逐步规约模型中无语义冲突的部分。
The reduction rules in co-verification see the consistency in semantic constraints as principle, reducing the model when there are no semantic conflicts gradually.
协同验证的化简规则是在语义约束一致性的原则下，逐步规约模型中无语义冲突的部分。
应用推荐