formal description language的意思|示意
形式描述语言
formal description language的用法详解
英语单词formal description language是指一种用于描述确定性计算机系统行为的计算机语言。它是一种按照定义和描述语言，旨在通过一种标准格式描述可以掌控的逻辑，简单的说它是一种用于描述和处理计算机语言的语言。
Formal description language的主要功能是描述逻辑结构的系统结构，行为等。它主要用于描述计算机系统，软件系统，硬件系统，通信系统等。在软件工程中，它还可用于描述软件模块、软件设计细节、软件服务接口、软件系统功能要求等。开发人员可以根据模型来定义和解析系统、程序间的交互行为，以及系统及程序中使用计算机语言表达的认识论和逻辑关系。
另外，formal description language还可以用来定义网络服务接口，网络协议，网络应用程序等，这样，终端用户和服务提供者之间就可以通过此类语言来进行远程数据交换和交互。
总的来说，formal description language的用途非常广泛。它可以用于软件开发、系统构建，同时也能帮助开发人员更好地理解计算机系统的行为和设计，有助于降低软件和系统的开发难度和维护成本。
formal description language相关短语
1、 the formal function-description language 形式化描述语言
2、 formal chemical structure description language 形式描述语言
formal description language相关例句
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.
本体是由知识中的概念、概念间的关系以及计算机可以识别的形式化描述语言组成的实体。
The dissertation extends DisCo formal description language to precisely describe design pattern.
本文扩展了DisCo形式化 描述语言,使其能很好地描述设计模式.
互联网
However - and that might come as a surprise here - I am advocating a formal language for architecture description 2.
然而——这里可能显得有些突然——我一向鼓吹的是要用一门正式语言来描述架构2。