Toset forth principles of behavior in formal documents is hardly to guarantee their observance.
正式文件中所提出的行为准则,并不能保证它们得到遵守。
As a XML-based descriptive language, WS-CDL lacks a formal model and verification mechanism to guarantee the correctness of collaborations and interactions.
作为一个基于XML的描述性规范语言,WS - CDL缺乏形式化的模型和验证机制,难以保证协作和交互的正确性。
XML document model is described by formal method. Some rules are provided to guarantee that the described documents are well-formed.
用形式化的方法描述了XML文档模型,并提供了一系列规则来保证模型描述的XML文档的良构性。
应用推荐