LOTOS is a specification language that aims at describing the dynamic behavior of complex systems (formaldescriptionlanguage).
LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言)，是可操作的。
2
An ontology is the entity which composes of the concept of knowledge, the relationship between the concepts and formaldescriptionlanguage can be identified by computers.
本体是由知识中的概念、概念间的关系以及计算机可以识别的形式化描述语言组成的实体。
3
However - and that might come as a surprise here - I am advocating a formallanguage for architecture description 2.