换句话说，现在拥有一个语法描述(例如，一个WSDL文件)的每个服务，都将会有一个某种形式的语义描述。
In other words each service that currently has a syntactic description (i.e., a WSDL document) will also have a semantic description in some formalism.
通过的发表形式化的语法和语义，它应当得到完全的描述。
It should be completely described via the publication of a formal syntax and semantics.
最后，作者通过一个实例说明U ML状态机语义的形式化描述可以证明那些用uml描述的系统的一些重要属性是正确的。
At last, the author USES an example to show that using the formal description of UML state machine semantics can justify the important properties of those systems described by UML.
应用推荐