每一步中模型都进一步精化，更加形式化。
形式化的工作流模型越来越重要。
A formalized workflow model will become more important than it has been.
文中分别对案例知识和经验知识进行了形式化描述，并建立了相应的诊断模型。
Case and experience knowledge are formally describing, and diagnosing model is built in this article.
因此，在UML模型上添加形式化语言是必要的。
Thus, it is necessary to add formal language into current UML model.
本文详细讨论了域数据模型的形式化表达和抽象结构。
We firstly talk about what is domain and data model, and define their use range.
形式化的本体模型及其检验问题一直是人工智能中的研究热点。
Ontology model and ontology checking recently are still under hot discussion.
提出一套形式化地描述时间特性的模型，使之能够描述带时间特性的授权约束。
A formal model is proposed to describe time character of constraint in this paper.
同时对该模型的核心模型进行了形式化描述和定义。
The formalized description and definition of the kernel model are also given.
同时对该模型的核心模型进行了形式化描述和定义。
The formalized description and definition of the kernel model are also given.
应用推荐