Alternatively, the model could be processed into a WSDL file -- again a formal description of a Web service.
或者模型被处理成WSDL文件，同样是Web服务的正式描述。
A formal description of a system, or a detailed plan of the system at component level to guide its implementation.
系统的正式描述，或用于指导其实现的组件级别的系统详细计划。
A classic perception of liars is that they are more anxious, and the 'Anxiety Hypothesis' is a formal description of the idea.
一种典型的观点认为，撒谎者更为焦虑，而“焦虑假说”是该观点的正式描述。
Ultimately, the UML model is converted into an XML schema, which is a very formal description of the XML vocabulary.
最后，UML模型转化成XML模式，这是XML词汇表非常正式的描述。
Despite a number of opinions expressed both for and against a formal description language for RESTful applications, description languages like WADL have gained some limited ground.
针对RESTful应用的正式描述语言，虽然有大量的赞成和反对意见，但像WADL这样的描述语言只得到了有限的发展。
The model-based specification language was used in test specification, and formal description testing data and other testing information for TTF parts was defined with description language Z.
测试规范使用基于模型的规范语言，由描述语言Z定义TTF基本部件的形式描述测试数据和其它测试信息。
At last, the author uses an example to show that using the formal description of UML state machine semantics can justify the important properties of those systems described by UML.
最后，作者通过一个实例说明UML状态机语义的形式化描述可以证明那些用UML描述的系统的一些重要属性是正确的。
One looking for the fish's official name, however, is likely to stay hooked -- a formal description of the species isn't expected to be published until later this year.
然而，当你搜索这种鱼的官方名字，可能会失望——它的正式描述可能要到今年年底才会正式发布。
Much research has been done recently in the area of formal description techniques (FDT) and their use for protocol design validation, implementation development and testing.
最近在形式描述技术（FDT）领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。
Information processing systems becoming large and complex, Formal description methods are needed for specification of systems and their efficient and reliable designs.
信息处理系统的大规模化和复杂化，需要有效设计高可靠性系统的形式化的规格描述方法。
Formal description of emergency plans is the precondition and basis to establish the theoretical framework for emergency plans.
应急预案形式化描述是建立应急预案理论框架的前提和基础。
A transport protocol and its formal description techniques for local networks are discussed.
本文研讨局部网络的传输协议及其形式描述技术。
With the formal description of the adaptor generating process, we can automatically generate the adaptor.
通过适配器生成过程的形式化描述可以自动生成该适配器。
It also introduces perfect automata as an abstract mathematics model of defining the command analyzer. Besides, this paper gives formal description of the command analyzer of the model.
引入了完备自动机作为定义命令分析器的一种抽象数学模型，并用该模型给出了命令分析器的形式化描述。
An ontology is the entity which composes of the concept of knowledge, the relationship between the concepts and formal description language can be identified by computers.
本体是由知识中的概念、概念间的关系以及计算机可以识别的形式化描述语言组成的实体。
This paper analyses GDMO behaviour template and classifies its description contents. Finally this paper presents an idea of realizing formal description for behaviour template.
分析了管理目标定义指南（GDMO）行为模板的特点，对它的描述内容进行了分类，并提出了一种行为模板形式化描述的方法。
Formal description system of checking information and its parse system.
实现了阅卷信息的形式化描述以及对应的语言解释系统。
In this paper, gives a formal description of objects and attributes in TDBAM, then discusses the kinds and implement of limited-value attributes.
该文将给出TDBAM数据对象的形式化描述，讨论有限取值属性的几种形式及其实现。
Based on analyzing and studying dependency injection, a formal description for its execution with a kind of mathematical tool named complete lattice is given in this paper.
本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。
So, the reform of the formal description and implementation of extraction and mapping rules are required.
因此，需要对现有半结构化信息挖掘规则的定义方式和实现方式进行改造。
Based on the ITU-T Intelligent Network CS Recommendation, the paper studies the formal description techniques (FDT) for IN service and the theory and methods in IN's service verification.
本文依据国际电信联合委员会（ITU-T）的智能网能力集建议，对智能网业务的形式化描述技术（FDT）、智能网业务逻辑验证的理论与方法等进行了研究。
A recovery algorithm for self stabilizing communication protocols is presented in this paper. First some concepts and a formal description method for the algorithm are described.
主要提出了一种适应于通信协议自稳定性的恢复算法。先论述了适用于该算法的有关概念及形式描述方法；
Now the main methods of software architecture description are formal description and visual description.
目前主流的软件体系结构描述方法有两类，分别是形式化描述和可视化描述。
A formal description of hypercube is given, from which a recursive method of constructing a hypercube is derived.
本文给出了超立方体计算机结构的集合描述，并由此导出了该结构的递归构造法。
Quantum description, which is based on superstring description, is doomed to have some hard-dealt problems, as a formal description.
量子描述建立在量的基础之上，这种形式化描述本身会遇到难以处理的问题。
This paper gives a market based formal description on the multi-robot task allocation problem, and discusses the task allocation taxonomy and performance indexes.
通过对任务分配问题分析，建立了一套基于市场机制的多机器人任务分配问题形式化描述方法，讨论了多机器人任务分配的分类及评价指标。
Conformance testing platform is based on the work on formal description and modeling and testing theory which are conducted in the project team.
协议一致性测试平台充分地应用了项目组的形式描述与建模技术和测试理论的成果；
A formal description of process patterns is established in this paper by extending the semantics of the XPDL language.
通过扩充XPDL语言的语义，建立了一种过程模式的描述技术。
A formal description of process patterns is established in this paper by extending the semantics of the XPDL language.
通过扩充XPDL语言的语义，建立了一种过程模式的描述技术。
应用推荐