The method is complete formalizations, and it has a strong capability of semantics express. The formalizations can be used as a foundation for workflow execution, reasoning, and simulation.

提出的方法是完全形式化的，具有较强的语义表达能力，便于工作流的执行、推理和仿真等。

youdao

Mengzhiyuan is a strong team with better expanding, management, supervising and execution capability, and has its own professional staffs for designing.

梦之缘是一支具有较强的业务拓展、管理、督导及执行能力的团队，拥有独具创意的核心队伍。

youdao