A service has syntax, semantics, and QoS characteristics that all have to be modelled; formal interface contracts have to cover more than the Web Services Description Language (WSDL) does.
服务具有语法、语义和QoS特征，所有这些都必须进行建模；正式的接口契约必须涵盖的比web服务描述语言(WebServices Description Language, WSDL)的多。
Thus, it provides an excellent foundation for correctly understanding the RAISE specification language and describing its formal semantics.
从而为准确地理解RAISE规范语言、正确地描述其形式语义奠定良好的基础。
The formal semantics of programming languages can provide concise and precise language definition. It helps people not only to understand well the language, but also to standardization of language.
程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。
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语义上的不足，给出实时行为方面模型的精确语义，也是本文的研究重点。
We can notice from the article that Formal semantics has its own advantage of accounting the structures of language, but it still does not capture everything we know about meaning.
由此，可以看出，尽管形式语义学在解释语言结构方面有其独到之处，但离意义的全部内容还相距甚远。
A formal description of process patterns is established in this paper by extending the semantics of the XPDL language.
通过扩充XPDL语言的语义，建立了一种过程模式的描述技术。
It is required that the meanings of lexicon be fully analyzed and, if possible, be decomposed in nearly primitive, so that the semantics of language can be computable in a formal way.
这就要求对词汇的意义进行完整的分析，并尽可能地将之分解成为最小元素，从而使语言的语义能够从形式上得到计算或组合。
However, the UML is not a formal language, it lacks of precise semantics.
但是UML不是形式化的建模语言，缺乏精确的语义描述，因此会导致一些问题。
However, the UML is not a formal language, it lacks of precise semantics.
但是UML不是形式化的建模语言，缺乏精确的语义描述，因此会导致一些问题。
应用推荐