This paper introduces the implementation of a Z specification type checker, meanwhile the environment of type check, unification method, substitution strategy are also discussed.
本文介绍Z规格说明类型检查器的实现方法，并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论。
The specification also treats every part of the document as a node consisting of a type and a value.
此规范还将文档的每一部分当成由一个类型和一个值组成的节点来对待。
Rather than specify the destination type here, we will use the configured activation specification configuration to do this.
在这里我们不指定目的类型，而是使用配置的激活规范配置来完成这一操作。
Unfortunately, the JCA specification does not define the type of this property or what it means.
不幸的是，JCA规范没有定义这个属性的类型或者它的意义。
Thus, the original SOAP specification had to provide a way of encoding type information along with the parameters being sent for method calls because there was no accepted way of specifying it.
因此，原始的SOAP规范必须与方法调用时发送的参数一起提供一种方法来指明编码类型信息，因为没有已接受的方法来指定它。
The type of menu specification.
菜单规范的类型。
Custom attributes may be added to the work item type in the process specification.
可以在流程规范中向工作物件类型添加自定义属性。
It is also failing to tell you that it expects each node in the encoded graph you send it to be instrumented with a type specification.
它还未能告诉您它期望用一个类型规范对您发送给它的已编码的图中的每个节点进行检测。
The fundamental challenge of teams working collaboratively on any type of specification, regardless of whether it is a set of documents, a set of models, or a code base. is this: controlling change.
在不考虑规范是一组文档、一组模型、还是一个代码库的情况下，对协作工作在任何类型规范的团队来说，最根本的挑战就是：控制变化。
The data-flow specification is a specific type of metadata.
数据流规范是一种特定类型的元数据。
The specification also treats every part of the document as a node, consisting of a type and a value.
该规范同样将文档的每个部分看成由类型和值组成的节点。
The SOAP specification makes certain things optional — for instance, the SOAP specification makes it optional to send type information for encoded parameters.
SOAP规范使某些东西可选—比如，SOAP规范使您能够选择为已编码的参数传送类型信息。
As a result, it may be convenient to define a convention for easily specifying and designating the conjugate of a service specification that can be used as a type for a consuming requisition port.
结果是我们可以方便的定义一个约定，从而易于指定和指明一个能够被用作消费请求端口类型的服务规范的变形。
It's interesting to note that in the XSL specification, the W3C didn't include an official DTD (document Type Definition) that you could use to validate an FO document.
有趣的是，在XSL规范中，W3C没有包含一个可用来验证fo文档的正式认可的DTD(文档类型定义)。
From a transformation point of view, this service specification maps to a WSDL port type, which at this time is an uninteresting port type because it has no operations or messages so far.
以转换的观点，此服务规范映射到WSDL端口类型，此时这是一个无趣的端口，因为到目前为止还没有操作或消息。
Finally, the terminology was made consistent so that a given term (for example, type, instance, specification, or occurrence) has the same general connotation in all contexts in which it appears.
最终，专业术语得到了统一，因此一个特定的条件(例如，类型，实例，规范，或事件)在它出现过的所有上下文中有着相同的全面含义。
This type is known as the conjugate of a service specification.
这一类型就是服务规范的变形。
To make use of a channel exit, an MQ messaging provider connection factory or activation specification must have a transport type of "client" or "bindings then client."
要使用通道出口，MQ消息传递提供程序连接工厂或激活规范必须具有传输类型“客户端”或“绑定然后客户端”。
We model this by adding a port to the Invoicer, which is of the type InvoiceService service specification.
我们通过添加一个端口到Invoicer 中（它的类型是InvoiceService服务规范）来对其进行建模。
Many other specifications have used the WXS Datatypes specification, although there have been calls to develop alternative data type systems.
许多其他的规范已经采用了WXSDataTypes规范，尽管也有开发其他数据类型系统的呼声。
So, the trick here is to first use the Microsoft MIDL compiler on the IDL specification in Listing 12 to create a type library we'll call cookie.tlb.
所以，这里的秘诀就是先用微软的MID编译器处理清单12中的IDL规范，建立一个名为cookie .tlb的类型库。
Data type specification: the ability to tell the UI to display the data at a given address as a specific data type - for example, this address represents the start of a null-terminated string.
数据类型规范：能够通知ui将特定地址的数据显示为具体的数据类型。例如，此地址表示以null结尾的字符串的开始。
It is recommended that all type structures within follow the bean specification.
建议所有类型结构都依照bean的规范。
A basic type element surrounded by a Parameter specification defines a new object of the corresponding type within the current context.
由Parameter规范包含的基本类型元素定义了当前环境中相应类型的新对象。
In order to make use of a channel exit, a WebSphere MQ messaging provider connection factory or activation specification must have a transport type of either client or bindings-then-client.
为了利用通道出口，WebSphereMQ消息提供程序连接工厂和激活规范的传输类型必须为client或bindings - then - client。
The WS-Inspection specification does not limit the type of service descriptions that can be referenced.
WS - Inspection规范没有限定可引用的服务描述的类型。
The third option is also simple, albeit something that the W3C folks really should have put into the specification. Listing 5 gives a simple boolean type definition
第三种选择也很简单，尽管W3C那帮人实际上应该把这一条放在规范中说明。
This specification provides the definition of the business activity coordination type that is to be used with the extensible coordination framework described in the WS-Coordination specification.
此规范提供了业务活动协调类型的定义，将与WS - Coordination规范中描述的可扩展协调框架一起使用。
This specification provides the definition of the atomic transaction coordination type that is to be used with the extensible coordination framework described in the WS-Coordination specification.
此规范提供了原子事务协调类型的定义，将与WS - Coordination规范中描述的可扩展协调框架一起使用。
The SOAP with Attachments specification details on usage on 'MIME multipart/related' media type and URI schemes for referencing the MIME parts.
带附件的SOAP规范详细说明了使用“MIMEmultipart/related”媒体类型和URI 模式引用 MIME部件。
应用推荐