规约语言

统一建模语言（UML，UnifiedMOdelingLanguage）是一种非专利的可视化建模和规约语言。

Unified Modeling Language ( UML ) is a generic visual modeling and specification language .

BPEL（业务流程执行语言）是一门用于自动化业务流程的形式规约语言，对Web服务组合进行描述。

BPEL ( Business Process Execution Language ) is a formal specification language for the automated business procedure which describes the Web service composition .

UML顺序图是广泛使用的场景规约语言。

UML Sequence Diagram is widely used for specifying software scenario .

Z是一种广泛使用的形式化规约语言，Z适合用来精确地表示模型的语法和语义。

Z is a widely used formal specification language . It suits for precisely representing the syntax and semantics of a model .

以上下文无关语言上的递归函数为基础的语言LFC（languageforcontextfreerecursivefunction）是一种形式规约语言，适于处理短语结构。

Based on recursive functions defined on context-free language , LFC ( language for context free recursive function ) is a formal specification language and fits for dealing with phrase structure .

在概要介绍PVS的构成、功能后，着重分析了PVS的规约语言、验证系统的特点，以及使得PVS灵活、强大的设计决策和内在机制。

After briefly introducing the composition and function of PVS , this paper puts great emphasis on analyzing the features of PVS'specification language , verification system and design decisions , as well as inner mechanisms that make PVS powerful and flexible .

将面向目标的规约语言（KAOS）进行扩展，增加了策略模型，建立支持面向多目标的基于动态策略的适应性需求规约方法。

The goal oriented specification language KAOS is extended , and a strategy model is added in order to achieve the multi-goal , dynamic strategy adaption requirement specification .

面向嵌入式实时软件的需求规约语言及检测方法

An Embedded Real-Time Software Oriented Requirements Specification Language and Checking Methods

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

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

形式规约语言中函数运算的优化

Optimization of Function Evaluation in Formal Specification Language

一个面向网络并行环境的需求规约语言

A Requirements Specification Language for Network Parallel Environments

此外，我们设计一个小的规约语言并实现相应的翻译工具，使得能够较为简洁地描述程序的规约。

Finally , a small specification language is designed and a translator is implemented to help the user write more concise specifications .

形式化方法采用形式规约语言精确地描述软件规约说明，建立精确的、无二义性的语义，以数学的精确性保证了系统结构的合理性、正确性和良好的可维护性。

Formal method uses the formal specification language to describe the software requirement , and make precise and unambiguous semantics to ensure the system is of correctness and maintainability .

对于形式化方法主要介绍了有关概念、分类、形式规约语言、使用现状和评价、基于形式化方法的软件开发过程等。

Formal methods are introduced to the concept , classification , formal specification language , the use and evaluation of the status quo , based on formal methods of software development processes .

文中还设计了改进CDT通讯规约C语言编程的通讯软件。

Also , this paper do some work on designation on the communication software of improved CDT communication protocol scheme with Clanguage .

函数－规约混合语言的设计与实现

Design and Implementation of Function-Specification Mixed Language

它作为一种规约性语言分支，有其独特的语言风格，其中最重要的特点就是用词准确。

As a kind of customary language it includes some words , phrases and mode of expression with its unique style . One of the most important characteristics of legal English is exact in its usage .

远动CDT循环规约的高级语言实施

Implementation of Telecontrol Recycling Protocol CDT with Senior Language

采用面向对象分析和设计技术，利用Java语言实现了把SNL语言表示的算法规约到RADL语言算法规约的转换系统。

By using OOA and OOD technology and Java programming language , we implement SNL Language Algorithm specification to RADL Specification Conversion System .

法律语言作为一种规约性的语言分支，用词准确是其重要特点。

As a branch of protocol language , legal language is characterized by accuracy of choice of words .

此外，还提出了xml文档的语义有效性和xml文档的推理问题，并把它们规约到描述逻辑语言∑ΗΟΙΝ（？）的知识库不可满足性问题。

The semantic validity and entailment problem of XML documents are further provided and they are reduced to the knowledge base unsatisfiability problem in description logic language ΣΗΟΙΝ(?) .

规约性渗透至语言使用的不同方面，体现为多个层面上的形式共选。

Conventionality prevails into every aspect of language use and co-selection is going on at multiple levels .

一个支持规约获取的形式规约语言

A Formal Specification Language Supporting Specification Acquisition