Business glossaries are one step along the path of establishing precise semantic definitions across an organization.

业务术语表是为组织提供精确的语义定义过程中的一个步骤。

youdao

It is also the focus of this paper to integrate the UML and formal language, make up the shortfall of UML semantics, and give precise semantic of real-time behavior model.

把UML和形式化语言进行融合，通过形式化的方法来弥补UML语义上的不足，给出实时行为方面模型的精确语义，也是本文的研究重点。

youdao