规约模式就是用某种形式化语言表示的设计模式。
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.
应用推荐