Denotational semantics studies the transactional behavior on the basis of mathematical models.

Introduces topological methods in domain theory of denotational semantics of computer programming languages.

讨论计算机程序设计语言的Domain理论中的拓扑方法。

Combinatory logic is proposed to be a mathematical foundation of the semantics of programming languages.

本文提出以合成逻辑（Combinatory logic）作为程序设计语言语义学的数学基础。

As a formal development tool, Petri net has strict mathematical semantics and can be used to analyze and validate a system conveniently to address the problems of lacking of formal description and validation in object-oriented technology.

Petri网作为一种形式化的开发工具，具有严格的数学语义，可以方便的对系统进行分析和验证，以解决面向对象技术缺乏形式化的描述和分析验证问题。

The difference between the quasi-affix and the typical affix is shown in the semantic transparency, the semantic compatibility, the derivative competence and the semantic adhesion.

类词缀与典型词缀的区别表现在语义透明度、语义相容性、生成新派生词的能力、与词根的粘附度等方面。

Processing semantic cues compatibility on ambiguous sentences and how their meaning was selected out of ambiguous sentences in Chinese were explored by two experiments in this study.

两个实验以汉语歧义句为材料，探讨了前后刺激语义线索在不同相容条件下歧义句意义选择的过程。

Based on semantic compatibility between epistemic modality and hedges, this paper has put forwards the working concept of epistemic-modality-type hedges.

基于认知情态和模糊调和语语义上的相容性，提出了认知情态类模糊调和语这一暂时性概念。

The differences of semantic compatibility mainly result from different verbal and lexical system of Changde dialect and the restriction of language use habit.

方言动词系统、词义系统与普通话的不同以及语言习惯的制约是造成语义相容性差异的主要原因。

Although patterns may be combined, based on their intents and interactions of input and output parameters, semantic compatibility of the component patterns are not easily analyzed mechanically.

虽然模式可以根据目的及输入输出参数的交互组合在一起，但组件模式的语义兼容性并不容易进行机械性的分析。

A semantic data modeling technique is employed to represent the logical organization of engineering design data.

本文采用语义数据建模技术表示工程设计数据的逻辑组织结构。

The method, which describes software specification in XYZ/ E, can assure semantic consistency between specification and software. On the other hand, the output expectation of test cases can be automatically evaluated from the specification as a Prolog program.

该方法采用XYZ/E描述，首先确保规范与被测软件的语义一致，其次，利用XYZ/E规范的逻辑程序属性，实现了对测试用例中输出期望的Prolog自动推导求值。

The semantic of this specification is that a copy of the referenced object should be created, and assigned another name.

该规范的语义是应当创建已引用对象的一个副本，并指定另一个名称。

DTD is a grammar-based XML schema formalism, considering the structural constraints, a pattern-based schema formalism called XSCs can be combined with it, and the derived DTD provides a more a semantic rich specification.

DTD是一种基于语法的XML规范形式化定义，在考虑结构完整性约束时，一种基于pattern的XML规范形式化定义XSCs模式可以与其联合使用，使得生成的DTD具有更为丰富的语义。

The approach analyzes the semantics of sequence diagrams and adds semantic constraint specification to generate testable model. Corresponding information is abstracted from the model to generate FSM.

该方法分析了时序图的语义信息并添加语义约束规约生成可测试模型，从中提取相关信息生成有限状态机；

Semantic Web-Oriented Specification of Logic Descriptive Primitives

面向语义Web的逻辑描述原语扩展

Event order-based semantic specification of UML ( unified modeling language) sequence diagram

基于事件序的UML序列图语义规范

An Ontology-based Time Semantic Specification and Verification Approach for Web Service

一种基于Ontology的WEB服务时间约束定义及验证方法

We integrate a series of methods like analytic hierarchy process and fuzzy semantic differential subordination as evaluation tools.

将层次分析法、语义差别隶属度法等集成，形成了质量竞争力评价工具集。

In the end, a set of Plotkin-style structural operational semantics ( SOS) rules inductively defines a compositional formal semantics for UML state machine.

最后，用Plotkin风格的结构操作语义SOS（structural operational semantics）规则归纳地给出满足组合性的UML状态机语义。

The above examples demonstrate the compositional semantics of CSP& namely how the Parallel construct can be used to compose layered networks from fine-grained stateless components.

以上示例演示了CSP的复合语言&即如何用Parallel构造把细致的无状态的组件组成分层的网络。

Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.

由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。