A message represents a concept as defined in the WSDL (Web Services Description Language) specification; that is, it's a container for actual data which has meaning to the service and the consumer.

一个消息代表在Web服务描述语言(WSDL)规范中定义的一个概念；即，它是实际数据对服务和消费者有意义一个容器。

youdao

The same policy description in a domain specific language (which uses the same syntax and semantic used in the specification document) looks like this

还可以用领域特定语言（DSL）（使用规范文档中使用的语法和语义）描述上面的策略，如下所示

youdao

In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediary.

本文利用时序状态转换系统作为中介，提出一种把过程描述语言的项转换成z规格的机械算法。

youdao