LOTOS is a specification language that aims at describing the dynamic behavior of complex systems (formal description language).

LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言)，是可操作的。

youdao

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.

本体是由知识中的概念、概念间的关系以及计算机可以识别的形式化描述语言组成的实体。

youdao

However - and that might come as a surprise here - I am advocating a formal language for architecture description 2.

然而——这里可能显得有些突然——我一向鼓吹的是要用一门正式语言来描述架构2。

youdao