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.
本体是由知识中的概念、概念间的关系以及计算机可以识别的形式化描述语言组成的实体。
kns50.chkd.cnki.net
Despite a number of opinions expressed both for and against a formal description language for RESTful applications, description languages like WADL have gained some limited ground.
针对RESTful应用的正式描述语言，虽然有大量的赞成和反对意见，但像 WADL这样的描述语言只得到了有限的发展。