LOTOS is a specification language that aims at describing the dynamic behavior of complex systems (formal description language).
LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言)，是可操作的。
An ontology is the entity which composes of the concept of knowledge, the relationship between the concepts and formal description language can be identified by computers.
本体是由知识中的概念、概念间的关系以及计算机可以识别的形式化描述语言组成的实体。
However - and that might come as a surprise here - I am advocating a formal language for architecture description 2.
然而——这里可能显得有些突然——我一向鼓吹的是要用一门正式语言来描述架构2。
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)的多。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
One of the complicated problems of pattern description is the effect of recursive structures on the nature of a pattern as a class of the formal language.
模式的递归结构影响它的形式语言性质，成为模式结构描述的复杂问题之一。
A grammar analysis method, based on formal language, is introduced to analyze text description of generic structures described in DELAGES.
报告了一个基于形式语言的语法分析方法，对用DELAGES描述语言描述的族性结构文字描述部分进行分析。
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.
对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。
A formal description of process patterns is established in this paper by extending the semantics of the XPDL language.
通过扩充XPDL语言的语义，建立了一种过程模式的描述技术。
A formal description of process patterns is established in this paper by extending the semantics of the XPDL language.
通过扩充XPDL语言的语义，建立了一种过程模式的描述技术。
应用推荐