Therefore, it is a urgent demand for UML to have the formal semantics.
因此，形式化的语义就成了UML的一个迫切需求。
The problems above must be resolved from the perspective of formal semantics.
以上问题必须从形式语义的角度解决。
When using process algebra to model workflow, we only consider its formal semantics and its control flow.
在用进程代数建模工作流时，只是考虑了模型的形式化语义以及模型中的各种控制流关系。
The modeling method and the models given in IEC 61850 are investigated from the point of view of formal semantics.
文中从形式语义的角度出发，对IEC 61850的建模方法和所给出的模型进行了研究。
By utilizing OWL classification, it can provide additional vocabulary along with formal semantics to describe the XML schema assets.
通过利用OWL分类，它能够提供额外的词汇表和正式的语义来描述xml模型资源。
The main method of achieving that purpose is modeling the formal semantics of the resources, and to represent it in XML syntax.
它的主要实现方式就是通过对资源的形式化语义描述建模，并且通过XML语法格式来得以实现。
Based on the concept of plan tree, the formal semantics of the capability is defined and some important properties are obtained.
基于规划树概念，本文给出了能力概念的形式化语义定义，获取和描述了它的一些重要属性。
The traditional formal semantics holds that all the indefinite noun phrases should be interpreted as existentially quantified phrases.
文章讨论了传统形式语义学理论和篇章表述理论对无定名词词组的语义解释问题。
Thus, it provides an excellent foundation for correctly understanding the RAISE specification language and describing its formal semantics.
从而为准确地理解RAISE规范语言、正确地描述其形式语义奠定良好的基础。
This paper expatiates the understanding of "grammar", "syntax and semantics" and "predicate and sentence" from the perspective of formal semantics.
阐述了形式语义学关于“语法”、“句法和语义”，以及“语词和语句”等概念。
The disadvantage of it is lacking a formal semantics and difficult to apply, directly, mathematical techniques on UML models for system validation.
但UML的缺点是难以直接用数学工具对uml模型进行检验，另外uml在语义方面也存在一些不足。
OWL facilitates greater machine interpretability of Web content than that supported by XML, RDF, and RDF Schema by providing additional vocabulary along with formal semantics.
OWL提供额外的词汇，并且与正式的语义一起协作，极大地改进了机器对Web内容的解释能力，超越了XML、RDF和 RDFSchema所支持的内容解释能力。
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.
该形式语义覆盖了UML活动图的绝大部分特征，为精确描述工作流程并对其进行分析奠定了基础。
We can notice from the article that Formal semantics has its own advantage of accounting the structures of language, but it still does not capture everything we know about meaning.
由此，可以看出，尽管形式语义学在解释语言结构方面有其独到之处，但离意义的全部内容还相距甚远。
XQuery 1.0 and XPath 2.0 formal Semantics [in development] gives a precise formal meaning to each of the expressions of the XPath 2.0 and XQuery 1.0 specification in terms of their data model.
XML Query Use cases[开发中]在其数据模型的基础上，给出了XPath 2.0和XQuery 1.0规范中每种表达式精确的、形式化的含义。
The formal semantics of programming languages can provide concise and precise language definition. It helps people not only to understand well the language, but also to standardization of language.
程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。
Semantics use metadata to capture the formal meaning of data.
语义使用元数据来捕获数据的正式含义。
In particular, the specification of the semantics (or meaning) of the UML modeling concepts remained inadequate for such MDD-oriented activities as automatic code generation or formal verification.
特别是，UML建模概念的语义(或含义)的规范，对这些作为自动代码生成或正式确认的基于MDD的活动仍旧是不适当的。
Lack of adoption of the formal semantic Web does not mean that search is not getting better. There are several instances where semantics are being used to improve search.
缺乏对正式语义网络的采用，并不意味着搜索没有进步，已经有几个例子证明了语义学被用于改良搜索当中。
Formal documentation of system semantics (through modeling) will increase software quality and extend the useful lifetime of designs (thereby increasing ROI).
系统语义的正式文档(通过建模)将提高软件质量，延长设计的有效生命周期(从而提高roi)。
A service has syntax, semantics, and QoS characteristics that all have to be modelled; formal interface contracts have to cover more than the Web Services Description Language (WSDL) does.
服务具有语法、语义和QoS特征，所有这些都必须进行建模；正式的接口契约必须涵盖的比web服务描述语言(WebServices Description Language, WSDL)的多。
It should be completely described via the publication of a formal syntax and semantics.
通过的发表形式化的语法和语义，它应当得到完全的描述。
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描述的系统的一些重要属性是正确的。
Situation Semantics is a new semantic theory. Although it is very successful in philosophical interpretations of meaning and common life reference, its formal technique is not mature.
情境语义学是一种新型语义理论，虽然它在意义和日常推理的哲学解释上获得极大成功，但在形式技术上还不够成熟。
Components matching depends on precisely describing the semantics of components, and formal specification is based on strict mathematic concept and theory.
构件匹配依靠精确描述构件的语义，而形式规格说明基于严格的数学概念和理论。
Semantic research is the main trend of modern linguistic research, while semantics formal research is the main trend of semantic research, which cannot be avoided.
当代语言学的研究大有语义化之趋向，而语义形式化的研究已经成为当今语义学研究的主流之一，是不可避免的。
This article introduces an formal operational semantics and summarizes a verifiable technique based on formulas.
本文给出一种形式化操作语义，并概述基于形式化规则的验证技术。
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.
完备和形式化的空间关系语义描述方法一直是GIS理论研究的重点，空间关系的动态性和模糊性决定了描述方法的复杂性。
In order to inquiry into function dependency in data base, the formal definition and semantics of dependency of knowledge are also discussed in the paper.
为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。
On the basis of semantics of design, a design is a kind of formal cultural activity for human beings.
从设计语义学解释，设计是人类的一种形式文化活动。
应用推荐