换句话说，现在拥有一个语法描述(例如，一个WSDL文件)的每个服务，都将会有一个某种形式的语义描述。
In other words each service that currently has a syntactic description (i.e., a WSDL document) will also have a semantic description in some formalism.
通过的发表形式化的语法和语义，它应当得到完全的描述。
It should be completely described via the publication of a formal syntax and semantics.
最后，作者通过一个实例说明UML状态机语义的形式化描述可以证明那些用uml描述的系统的一些重要属性是正确的。
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.
基于规划树概念，本文给出了能力概念的形式化语义定义，获取和描述了它的一些重要属性。
Based on the concept of plan tree, the formal semantics of the capability is defined and some important properties are obtained.
它的主要实现方式就是通过对资源的形式化语义描述建模，并且通过XML语法格式来得以实现。
The main method of achieving that purpose is modeling the formal semantics of the resources, and to represent it in XML syntax.
从而为准确地理解RAISE规范语言、正确地描述其形式语义奠定良好的基础。
Thus, it provides an excellent foundation for correctly understanding the RAISE specification language and describing its formal semantics.
定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。
The definitions of syntax structure, semantic interpretation, knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic.
构件匹配依靠精确描述构件的语义，而形式规格说明基于严格的数学概念和理论。
Components matching depends on precisely describing the semantics of components, and formal specification is based on strict mathematic concept and theory.
第二章在复合形容词和名词的语义分类基础上，以形式化的方法描述了其搭配规律。
The second chapter, based on the semantic classification of compound adjective and noun, describes the collocation rules between compound adjective and noun.
针对知识发现在实际应用中的问题，提出了一种以领域知识为中心的知识发现过程模型，并将其形式化，描述了其动态语义。
Considering the problems in actual application, this paper proposed a kind of domain knowledge centered know-ledge discovery process model, then formalized it and described its dynamic semantics.
修辞建构主要从语音、语义和形式三方面来分类描述。
The making of rhetoric devices is always classified into and described as speech sounds, semantic meanings and modes.
该形式语义覆盖了UML活动图的绝大部分特征，为精确描述工作流程并对其进行分析奠定了基础。
The formal semantics difined here is able to deal with most of the features of UML activity diagram, and establish the foundation of describing and analysis of work flow.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
但是HL7标准的定义还是通过自然语言来描述的，因此我们需要定义一套语言使HL7语言得以语义化和形式化。
But the HL7 was still defined by the natural language, so we need to enables it the formalization and have the mean of the Semantics.
完备和形式化的空间关系语义描述方法一直是GIS理论研究的重点，空间关系的动态性和模糊性决定了描述方法的复杂性。
Complete and formal description method of spatial relation semantics is emphasized in GIS research field. Dynamic and fuzzy spatial relations make the method very complicated.
考虑该实体认证协议的特点，采用改进语义的SVO逻辑对其进行合理性描述，并对其运行过程进行形式化的具体分析，发现该协议在认证过程中存在着双方认证不确定的缺陷。
Considering the characteristics of the entity authentication protocol, augment semantics SVO logic was used to describe its rationality and analyze its operation, and a flaw was found.
本文描述的计算机选案子系统采用语义文法结构，中间语言采用语义依存树的形式。
The computer aided tax system described in this thesis is a semantic grammar system, with the semantic dependency tree as the intermediate language.
对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。
The primary contents are summarized as follows:An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.
但是UML不是形式化的建模语言，缺乏精确的语义描述，因此会导致一些问题。
However, the UML is not a formal language, it lacks of precise semantics.
针对还没有工作流模型的执行过程的形式化描述的问题，给出工作流机处理步骤的操作语义描述。
At present, there is no formalized description of the executing procedure of workflow models. The procedure of workflow models executing in workflow engine is described using the operational semantic.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The correctness of relationships among use case descriptions and semantic equivalence between use case des...
以语义网的知识描述方法为基础，使得信息以一种统一的形式表达和存取，在信息之间建立语义联系，并在此基础上进行信息检索。
Make the information store and process in an uniform method and establish semantic relationship between information based on the semantic web describing language.
构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;
构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;
应用推荐