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服务描述语言(Web Services 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.
程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。
应用推荐