A message represents a concept as defined in the WSDL (Web Services DescriptionLanguage) specification; that is, it's a container for actual data which has meaning to the service and the consumer.
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)(使用规范文档中使用的语法和语义)描述上面的策略,如下所示
3
In this paper, a mechanical algorithm is proposed for translating description of process descriptionlanguage to Z specification, and temporal status transition system is used as intermediary.