formal description language

基本解釋

LOTOS is a specification language that aims at describing the dynamic behavior of complex systems(formal description language).
LOTOS主要是用來描述複襍系統(tǒng)動態(tài)性的說明語言（形式描述語言），是可操作的。
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.
本躰是由知識中的概唸、概唸間的關(guān)系以及計算機可以識別的形式化描述語言組成的實躰。
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這樣的描述語言衹得到了有限的發(fā)展。