规约模式就是用某种形式化语言表示的设计模式。
Specification patterns are design patterns that are expressed in a formal specification language.
因此，在UML模型上添加形式化语言是必要的。
Thus, it is necessary to add formal language into current UML model.
形式化语言是计算机科学中一个重要的研究领域。
Formal language is an important research area in computer science.
OCL是一种声明式语言，也是一种形式化语言。
OCL is a declarative language, and also is a formal language.
在其形式化语言的表述中，心理学完全丧失了人文的特征。
Psychology loses its character of humanity in the formal language;
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
计算机能够自动的通过逻辑推理规则来推理这些用形式化语言描述的陈述。
A computer can reason about statements in these formal languages automatically using logical inference rules.
语言是一种描述转换系统相关数据特征的形式化语言，然而不适合建立动态行为的模型。
The Z language is a formal language for specifying data-related characteristics of transformational systems. however, it is not designed to model behaviour.
给出了ERBAC的动态授权管理框架，最后用形式化语言描述了ERBAC模型满足的规则。
This paper first describes the ERBAC mainframe of the management of authorization, and then gives the formal rules that ERBAC model must meet.
基于完全形式化语言的测试也是近年来研究的重点，不少学者提出了基于Z等形式化语言的测试方法。
Software testing based on formalization is also an important issue in recently research work. Many scholars studied testing methods based on formal language such as z.
作为自然语言理解的一项研究重点，语义分析旨在将人类的自然语言转化为计算机能够理解的形式化语言。
As a research focus in natural language understanding area, the purpose of semantic analysis is to transfer the mankind's natural language into formal language that computer can understand.
把UML和形式化语言进行融合，通过形式化的方法来弥补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.
但是，形式化的标准语言能使业务和IT在理解和解释上达成一致，这一优势是巨大的。
But the advantages of a formalized standard language understood and interpreted the same way by both business and IT are huge.
用一个形式化语法来确定语言事实上一种适当的方法。
Using a formal grammar to specify the language is in fact the appropriate technique.
图形化表示有自己的语法和语义，它们不过是将这些文本语言形式化了。
Graphical representations have syntax and semantics that are just as formalized as those of textual languages.
用户接口设计人员和系统设计人员不使用同一的语言(uml)来将它们的系统形式化。
User interface designers and system designers do not use the same language (UML) to formalize their systems.
最后给出了约束的形式化描述语言rcl 2000。
Finally the paper presents the formalized language RCL2000 of restriction.
生成语法把语言机制形式化，用有限的公式来生成或分析无限的句子。
Generative grammar formalizes language mechanism. The finite rules of generative grammar can generate or analyze infinite sentences.
业务分析师与应用分析师没有使用同一种语言(uml)形式化的表示他们的系统。
Business analysts and application analysts do not use the same language (UML) to formalize their systems.
用户界面设计师与系统设计师没有使用同一种语言(uml)形式化的表示他们的系统s。
User Interface designers and system designers do not use the same language (UML) to formalize their systems.
业务分析人员和应用程序分析人员不使用同一种语言(例如，UML)来将它们的系统形式化。
Business analysts and application analysts do not use the same language (such as UML) to formalize their systems.
然而由于UML归根结底是一种非形式化的语言，模型的一致性很难保证。
However, UML is at last a semi-formal language, so it's difficult to maintain model consistency.
类型系统是一种设计和研究程序设计语言的形式化方法和工具。
The type system is a formal method and tool for designing and studying programming languages.
但是，在道德领域，所有的知都是不同程度的理解和洞见，这种理解和洞见不能在语言中被充分形式化。
However, all knowledge in moral field are various understanding and insight which cannot be fully formalised in words.
本体是由知识中的概念、概念间的关系以及计算机可以识别的形式化描述语言组成的实体。
An ontology is the entity which composes of the concept of knowledge, the relationship between the concepts and formal description language can be identified by computers.
是否采用形式化方法，这是存在于广义语言逻辑与狭义语言逻辑之间的激烈论争。
There is a heated dispute between the logic of language in broad sense and the one in narrow sense on the application of the method of formalization.
这种机制可形式化、可验证，能很好的捕捉语言的组成成分及它们间的相互关系，揭示一个句子所说的内容。
Such a mechanism can be formalized and verified, and does well in catching the relationship of components of a linguistic expression, and discovering what a linguistic expression says.
基于形式语言的原理定义了一种形式化零件查询语言。
A formal part query language is defined on the basis of formal language principles.
而形式化约束语言可以对此做到有效补充，它可以帮助测试人员充分理解被测系统，进而提高测试用例的获取率以及测试覆盖率。
Whereas the formal constraint language serve as an effective complement and help testers understand the system test, and then further improve the test access rate and coverage rate of test-case.
而形式化约束语言可以对此做到有效补充，它可以帮助测试人员充分理解被测系统，进而提高测试用例的获取率以及测试覆盖率。
Whereas the formal constraint language serve as an effective complement and help testers understand the system test, and then further improve the test access rate and coverage rate of test-case.
应用推荐