specification language

Unified Modeling Language is a non-proprietary third-generation modeling and specification language.

统一建模语言是非专利的第三代建模和规约语言。

Map each entity set to the appropriate table in the mapping specification language ( MSL ).

使用映射规范语言 ( MSL ) 将每个实体集映射到适当的表.

Then any language supporting the CLS specification must be capable of using the component.

那样的话,任何支持CLS规范的语言都具有了使用这个组件的能力.

A Specification Language Used in Manufacturing Information System Integration

用于制造系统过程集成的一种规范语言

Dialogue written in concise, basic expressions of popular-oriented, fluent expression language specification, and readers can effectively learn to really useful English expressions.

对话的编写以简明、通俗的基本表达方式为主，语言规范、表达流畅，读者可以有效地学到真正实用的英语表达方式。

Formalizing extended events traces using formal specification language Z

用Z语言形式化扩展事件踪迹图

Generate mapping specification language ( MSL ) that maps the SSDL to your conceptual model.

生成将SSDL映射到概念模型的映射规范语言 ( MSL ).

The Security Assertion Markup Language specification ( SAML) is an XML based framework that aims to solve problems associated with exchanging security information in an SOA architecture.

Security Assertion Markup Language规范（SAML）是一个基于XML的框架，旨在解决SOA体系结构中与交换安全信息相关的问题。

JDBC is Java specification language used to how the client program to access the database application program interface.

数据库连接JDBC是是Java语言中用来规范客户端程序如何来访问数据库的应用程序接口。

The specification of the language is W3C working draft now.

目前，该语言规范还是W3C的工作草稿。

Past mechanisms have included the Document Style Semantics and Specification Language, and Cascading Style Sheets.

过去的机制包括文档风格语义和规范语言以及级联版式。

To realize the semantic description of process information, a semantic mapping rule and procedure based on Process Specification Language ( PSL) ontology was defined and the semantic of PSL ontology was analyzed.

在该模型中，定义了基于流程定义语言本体的语义映射规则及映射的具体过程，对流程定义语言本体进行了语义分析，实现了对流程信息的语义层次描述；

It points out that ATLAS 2K is the next generation test specification language based on signal component. The paper introduces its character, module architecture and application in modern ATS design.

指出基于信号组件的ATLAS2K是新一代测试标准语言，详细介绍了它的特点、模型结构及在现代ATS设计中的应用。

This makes natural language a good fit for poetry, but a less good fit for technical specification.

这使得自然语言非常适合用于诗歌，而不适合用在技术规格说明中。

The model-based specification language was used in test specification, and formal description testing data and other testing information for TTF parts was defined with description language Z.

测试规范使用基于模型的规范语言，由描述语言Z定义TTF基本部件的形式描述测试数据和其它测试信息。

Then, we focus on the business component model, abstract several components according to different granularity from the typical user pattern and use Z formal language to describe the specification of components and their assembly mechanism.

接着研究了业务构件模型，根据用户模式抽象出几种不同粒度的数据块构件，并用形式化描述语言Z语言对构件及其组装机制进行规约。