LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言)，是可操作的。
LOTOS is a specification language that aims at describing the dynamic behavior of complex systems (formal description language).
本文论述了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.
使用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.
这些协调服务和参与服务在 WS-Transaction规范中通过Web 服务描述语言（WSDL）以端口类型的形式来描述。
Those coordinator and participant services are described as port types as defined by the Web Services Definition Language (WSDL) in the WS-Transaction specification.
对最简单形式的描述必须包括Web服务描述语言(WSDL)文档，该文档描述了首选信息源和所有备用信息源。
The description for the simplest form must include a Web Services description Language (WSDL) document that describes the preferred source and all alternate sources.
最后给出了约束的形式化描述语言rcl 2000。
Finally the paper presents the formalized language RCL2000 of restriction.
本体是由知识中的概念、概念间的关系以及计算机可以识别的形式化描述语言组成的实体。
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.
采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。
Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.
最初套设计模式，风格，最佳做法，描述语言，并制定了形式逻辑在这段时间里。
Initialsets of design patterns, styles, best practices, description languages, and formal logic were developed during that time.
报告了一个基于形式语言的语法分析方法，对用DELAGES描述语言描述的族性结构文字描述部分进行分析。
A grammar analysis method, based on formal language, is introduced to analyze text description of generic structures described in DELAGES.
介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。
Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented. Furthermore, a case is presented to demonstrate this method.
最后，重点分析了ACME和XML两种形式化描述语言的各自特点和优势，分析两者集成的可能性。
Lastly, by analyzing the features and advantages of ACME and XML, we find the possibility of combination.
对XYZ/E进行扩充，在语言上提供对软件体系结构基本概念的显式支持，并对扩充部分给予严格的形式定义，使XYZ/ADL具备广泛认可的软件体系结构描述语言的特征。
The XYZ/ADL provides features that are acknowledged widely in software engineering community. · This thesis defines temporal logic semantics for UML activity diagrams and Statecharts using XYZ/E.
对XYZ/E进行扩充，在语言上提供对软件体系结构基本概念的显式支持，并对扩充部分给予严格的形式定义，使XYZ/ADL具备广泛认可的软件体系结构描述语言的特征。
The XYZ/ADL provides features that are acknowledged widely in software engineering community. · This thesis defines temporal logic semantics for UML activity diagrams and Statecharts using XYZ/E.
应用推荐