您应该对各种uml模型元素和图表语法有全面的认识，并且能够有效地在交流和应用程序的形式化规范中使用它们。
You should have complete knowledge of the various UML model elements and diagram syntax and be able to use these effectively for communication and formal specification of the application.
作为描述与服务交互相关的重要特征的方法，形式化的服务规范在服务治理中起关键作用。
As a way of describing the important characteristics related to a service interaction, the formal service specification plays a key role.
由于图形化语言仍然必须向计算机提供符号来进行编译和解释，因此我们需要采用图形化规范来限定形式语言的参数。
Because graphical languages still must provide symbols to the computer for compilation or interpretation, graphical specifications are still be required to follow formal language parameters.
服务规范是 “服务”的形式化表示，是具体的物理的表示。
The service specification is a formal representation of a "service" that is both a concrete and physical representation.
要访问该资源，用户必须以一种能被识别（规范化）为OpenID 的形式呈现其 OpenID。
To access the resource, the user must present his OpenID in a form that can be recognized (normalized) as an OpenID.
我们能够通过创建一个图来实现形式化，这个图展示了如何使用服务规范完成ServiceCollaboration契约。
We can actually formalize this by creating a diagram that shows how the service specifications would be used to fulfill the service Collaboration contract.
XML Query Use cases[开发中]在其数据模型的基础上，给出了XPath 2.0和XQuery 1.0规范中每种表达式精确的、形式化的含义。
XQuery 1.0 and XPath 2.0 formal Semantics [in development] gives a precise formal meaning to each of the expressions of the XPath 2.0 and XQuery 1.0 specification in terms of their data model.
不论出处如何，当术语表模型在RDA 中时，就可以将标准业务术语映射到规范化（概念/逻辑）数据模型的形式化结构。
Regardless of its origin, the presence of a glossary model in RDA enables mapping of standard business terms into the formalized structures of the canonical (conceptual/logical) data model.
注意：通常我建议使用XML声明，但是赞同在规范化xml形式中忽略X ML声明的理由。
Note: I always recommend using an XML declaration in general, but I appreciate the reasoning behind omitting it in canonical XML form.
架构师应该能够自如地为相关的需求和满足这些需求而提出的体系结构创建不同程度的形式化规范。
An architect should be comfortable with creating more or less formal specifications of the requirements and the proposed architecture that meets them.
注意，一个原子业务规则可能以多个规范化规则语句的形式出现，每个规范化规则语句具有不同的规范化表达类型。
Note that a single atomic business rule may manifest as a number of formal rule statements, each with a different formal expression type.
ApacheNeethi——Apache Neethi是Axis2用于创建策略文档的运行时表示形式、以及对策略文档执行规范化、合并和求交操作的工具。
Apache Neethi — Apache Neethi is what Axis2 USES to create a run-time representation of policy documents, and to perform normalization, merging, and intersection operations on policy documents.
转化成规范形式的过程称为规范化（通常缩写为“c14n”）。
The process of converting to canonical form is known as canonicalization (popularly abbreviated "c14n").
医院堪称最复杂的建筑类型之一，可能在设计、规范和形式方面有着最多的限制，现在它也在向着更关注人性化的形式转变。
Even hospitals, the most complex of building types with perhaps the most constraints on design, code and form, are experimenting with human-centered alternatives.
能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。
Whether the standard proof and formal derivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality.
经济水平的不同影响了计划免疫服务形式与接种率水平，必须建设规范化预防接种门诊提高疫苗的接种率。
The immunization service and vaccination rate is different from the economic developing level. The standard immunization clinics must be built in order to improve the vaccination rate.
采用基于形式规范的测试模板框架（TTF）可使测试规范通用化。
Test specification is generalized with the test template framework (TTF) based on formalization specification.
密码协议必须满足安全属性的需求，对密码协议进行形式化规范需要证明其满足该属性。
The cryptographic protocol should always satisfy security properties, so the formal specification should give the corresponding proof method.
目前软件开发中的形式化方法主要是形式化规范说明语言，有Z语言、VDM语言和RAISE语言等。
Nowadays, theformalized methods in software development mainly are formalized specification languages, such as Z language, VDM language and RAISE language, etc.
软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。
UML and formal method can describe software specification. The paper puts forward a formal method of software specification based on CCS.
近代以来，国际商事法律规范的表现形式出现了多样化、复杂化的发展趋势。
In modern times, the performance of international commercial law in the form of diversification, the complexity of the development trend.
B方法是目前国际上最受欢迎的软件形式化方法之一，它支持从规范说明到代码生成的整个软件开发周期。
B method is one of the most popular formal methods at present, which supports the whole lifecycle of software development process, from specification to code generation.
本文呈现了我们构造的形式化灰色时序安全策略规范语言（GTSL）。 GTSL的理论基础是灰色系统理论和时序规范语言LO-TOS理论。
The theory basis of GTSL is the theory of grey system and that of LOTOS, the language of temporal ordering specification.
绘画的程序是画家在创作过程中归纳总结、独创出的规范化的、类型化的形式技巧，画家艺术个性的形成正是因为自我艺术程序的存在。
The painting pattern refers to a standardized skill, which is concluded and created in the process of painting by the painter. The artistic style of painter is formed by the existence of art pattern.
作为一个基于XML的描述性规范语言，WS -CDL缺乏形式化的模型和验证机制，难以保证协作和交互的正确性。
As a XML-based descriptive language, WS-CDL lacks a formal model and verification mechanism to guarantee the correctness of collaborations and interactions.
如何处理这个问题和其他类型的重复它通过某种形式的URL规范化(见下项)。
The way to handle this and other kinds of duplication it is via some form of URL canonicalization (see next item).
有几种方法可用于保留源XAML 中的空白，以实现最终表示形式，这些方法不受 XAML处理器空白规范化的影响。
There are several techniques for preserving whitespace in the source XAML for eventual presentation that are not affected by XAML processor whitespace normalization.
有几种方法可用于保留源XAML 中的空白，以实现最终表示形式，这些方法不受 XAML处理器空白规范化的影响。
There are several techniques for preserving whitespace in the source XAML for eventual presentation that are not affected by XAML processor whitespace normalization.
应用推荐