formal description language

常見例句

LOTOS is a specification language that aims at describing the dynamic behavior of complex systems(formal description language).
LOTOS主要是用來描述復(fù)雜系統(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)系以及計(jì)算機(jī)可以識別的形式化描述語言組成的實(shí)體。
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應(yīng)用的正式描述語言，雖然有大量的贊成和反對意見，但像 WADL這樣的描述語言只得到了有限的發(fā)展。