With the deepening and development of research, the focus of logical paradox research is naturally shifted to semantical paradox.

Unified the information standard on the foundation of Ministry of Education, in view of each semantic conflict type, we used the concept of metadata, described mapping from the unified information standard to semantics definition of various data sources, and defined mapping transformation rule.

在教育部统一信息标准的基础上，针对各种语义冲突类型，引入元数据的概念，描述统一的信息标准到各数据源语义定义的映射，并制定映射转换规则。

Reusable, strategic enterprise information should be viewed as sets of business entities, standardized for re-use across the entire organization and made compliant with industry standard structures, semantics and service contracts.

可重用的战略性的企业信息应该被看作业务实体的集合，它们应该是标准化的，可以跨整个企业重用，并符合行业标准结构、语义和服务契约。

They must be published, found ( discovered), and invoked by provider systems using standard protocols and semantics.

必须由提供者系统使用标准协议和语义对其进行发布、查找（发现）和调用。

For example, the standard semantics and notation of the UML are described in metamodels that tool vendors use for implementing the UML in a standard way.

例如，UML的标准语义和符号就是用元模型描述的，工具的提供商以一种标准的方法使用元模型来实现UML。

A Temporal Logic Semantics for UML Activity Diagrams

UML活动图的时序逻辑语义

A study of the implicit memory of temporal qualifier semantics

时间修饰词内隐记忆的实验研究

On the other hand, a universal calculation method of the temporal semantics provided in this paper can localize the descriptions of temporal in all languages into the temporal axis.

同时，本文提供通用的时间语义计算方法，将各语言的时间描述映射到时间轴上。

A temporal semantics for Occam

Occam语言的时态语义

A STRUCTURAL APPROACH TO TEMPORAL SEMANTICS Methods The 15 soldiers selected through a hierarchical sampling method were treated by an un-structured interview.

方法采用分层随机取样法对抽取的15名陆军军人进行结构式访谈。

Analysis and Inference of Chinese Temporal Semantics

汉语时间语义分析及推理

Chinese Temporal Semantics Analysis Based on Ontology

基于Ontology的汉语时间语义分析

Petri nets vs algebraic parallel semantics

Petri网和代数并发语义

It makes full use of the advantages, including that algebraic semantics describes the abstract data types, Hoare logic describes the software functions and UNYFY logic describes the properties of parallel programs.

其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。

Algebraic Semantics of Modeling Language AML

面向对象建模语言AML的代数语义

Research on Algebraic Semantics of Message Sequence Charts

MSC代数语义研究

Algebraic semantics and inheritance of an abstract class with trace

具迹抽象类型的代数语义与继承

About the axiomatic semantics, I have not see the articles about the axiomatic semantics of continue, break, return, and the main reason is these statements concerning about the control transfer and difficultly to describe the formula.

关于公理语义，目前没有见到讨论continue，break，return等的语句的公理化方面的文章，主要原因是这些语句涉及到控制转移问题，用逻辑公式不易描述。

We also give the axiomatic semantics of if statement and while statement and block statement in order to show that the axiomatic semantics plan is normal.

为了说明本文提出的公理语义方案具有一般性，也给出了具有异常处理机制条件下，if语句，while语句，和块等语句的公理语义。

In this paper, we mainly discuss the axiomatic semantics of class and polymorphism for Java, including the correlative component.

本文以Java语言为背景，重点讨论了类的继承和多态性的公理语义，同时也给出了必要的及相关的语言成分的公理语义。

Studying the Relationship Between GAMMA and UNITY Model Based on Axiomatic Semantics

从公理语义看UNITY模型和GAMMA模型的关系