A transport protocol and its formal description techniques for local networks are discussed.
本文研讨局部网络的传输协议及其形式描述技术。
Alternatively, the model could be processed into a WSDL file — again a formal description of a Web service.
或者模型被处理成wsdl文件,同样是Web服务的正式描述。
With the formal description of the adaptor generating process, we can automatically generate the adaptor.
通过适配器生成过程的形式化描述可以自动生成该适配器。
应用推荐