Business glossaries are one step along the path of establishing precise semantic definitions across an organization.
业务术语表是为组织提供精确的语义定义过程中的一个步骤。
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缺乏准确的语义，难以支持对复杂系统的模型进行严格的语义分析和正确性验证。
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语义上的不足，给出实时行为方面模型的精确语义，也是本文的研究重点。
应用推荐