本文中讨论的方法是对这一思想的重要提炼，将利用语义锚实现注释的形式化。
The approach I discuss in this article is an important refinement on that idea, which takes advantage of semantic anchors to formalize the annotations.
图形化表示有自己的语法和语义，它们不过是将这些文本语言形式化了。
Graphical representations have syntax and semantics that are just as formalized as those of textual languages.
通过的发表形式化的语法和语义，它应当得到完全的描述。
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.
它的主要实现方式就是通过对资源的形式化语义描述建模，并且通过XML语法格式来得以实现。
The main method of achieving that purpose is modeling the formal semantics of the resources, and to represent it in XML syntax.
基于规划树概念，本文给出了能力概念的形式化语义定义，获取和描述了它的一些重要属性。
Based on the concept of plan tree, the formal semantics of the capability is defined and some important properties are obtained.
程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。
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.
本文在研究owl本体进行知识表示的机制后，阐述形式化表示及语义说明方法，并结合实例说明知识的表示。
Firstly the method of knowledge representation by owl ontologies is researched, then the formal and semantic description is introduced, and finally knowledge is represented by an instance.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
语义形式化的研究有其有利的方面，也有其不利的方面。
There are many advantages in terms of semantic formal research, but there are also disadvantages about it.
完备和形式化的空间关系语义描述方法一直是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.
工作流建模技术一直是工作流技术研究的重要课题之一，它的研究范围包括：工作流模型定义、语义的形式化表示方法等。
Workflow modeling technique is always one of important research tasks of workflow, including workflow model definition and sematic formalized expression method and so on.
本文提出了一种新的简单的迹语义，用于刻画协议部分安全性质，即只针对协议规约的单个主体，此技术支持协议设计者对安全性质进行形式化规约。
This paper proposes a new simple trace semantics that can be used to specify security properties, this technique supports a protocol designer to provide formal analysis of the security properties.
但是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.
对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.
作为自然语言理解的一项研究重点，语义分析旨在将人类的自然语言转化为计算机能够理解的形式化语言。
As a research focus in natural language understanding area, the purpose of semantic analysis is to transfer the mankind's natural language into formal language that computer can understand.
第二章在复合形容词和名词的语义分类基础上，以形式化的方法描述了其搭配规律。
The second chapter, based on the semantic classification of compound adjective and noun, describes the collocation rules between compound adjective and noun.
因此，形式化的语义就成了UML的一个迫切需求。
Therefore, it is a urgent demand for UML to have the formal semantics.
本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言spml。
It proposed a software process modeling language named SPML which support semantics richness, flexibility, scalability, reuse and formalization.
在用进程代数建模工作流时，只是考虑了模型的形式化语义以及模型中的各种控制流关系。
When using process algebra to model workflow, we only consider its formal semantics and its control flow.
当代语言学的研究大有语义化之趋向，而语义形式化的研究已经成为当今语义学研究的主流之一，是不可避免的。
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.
本体知识推理的关键任务是分析语义关系、定义和形式化推理规则并对其优化。
The key task of ontology reasoning is to analyze semantic relationships and to define, formalize and optimize reasoning rules.
分布式操作系统形式化系统模型DOSFS主要由文法DOSFSG和语义DOSFSS两部分组成。
Distributed Operating System Formal System Model (DOSFS) consists of the grammar DOSFSG and the semantics DOSFSS.
形式化语义和代数法则在实践应用是很有用的。
Operational semantics and algebraic laws are very useful in practice.
针对知识发现在实际应用中的问题，提出了一种以领域知识为中心的知识发现过程模型，并将其形式化，描述了其动态语义。
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.
为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。
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.
针对还没有工作流模型的执行过程的形式化描述的问题，给出工作流机处理步骤的操作语义描述。
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.
本文给出一种形式化操作语义，并概述基于形式化规则的验证技术。
This article introduces an formal operational semantics and summarizes a verifiable technique based on formulas.
但是UML不是形式化的建模语言，缺乏精确的语义描述，因此会导致一些问题。
However, the UML is not a formal language, it lacks of precise semantics.
但是UML不是形式化的建模语言，缺乏精确的语义描述，因此会导致一些问题。
However, the UML is not a formal language, it lacks of precise semantics.
应用推荐