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

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

youdao

本文论述了KADS建模方法的主要特点、KADS建模的形式描述语言和KADS建模的实现环境。

This paper discusses in detail the three aspects of KADS modeling method, which are the main characters, the formal descriptive language, and the realizing environment of KADS modeling method.

youdao

使用WSDL，开发者可以以抽象的形式描述Web服务，与用在其它分布式计算框架(比如CORBA)的现有“接口描述语言”(Interface Description Language (idl))类似。

Using WSDL, developers can describe their Web services in abstract form, similar to existing Interface Description Languages (IDLs) used in other distributed computing frameworks such as CORBA.

youdao