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.

针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题，研究了过程的语义验证方法。

youdao

He is also concerned with the verification of security protocols through semantic formalisms and type checking.

他关注的领域还有通过语义形式和类型检查对安全性协议进行验证。

youdao

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.

转换的验证步骤将为开发人员生成一个报告，其中包含原始转换所形成的语义映射中的间断。

youdao