密码协议必须满足安全属性的需求，对密码协议进行形式化规范需要证明其满足该属性。
The cryptographic protocol should always satisfy security properties, so the formal specification should give the corresponding proof method.
架构师应该能够自如地为相关的需求和满足这些需求而提出的体系结构创建不同程度的形式化规范。
An architect should be comfortable with creating more or less formal specifications of the requirements and the proposed architecture that meets them.
目前软件开发中的形式化方法主要是形式化规范说明语言，有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模型元素和图表语法有全面的认识，并且能够有效地在交流和应用程序的形式化规范中使用它们。
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.
服务规范是 “服务”的形式化表示，是具体的物理的表示。
The service specification is a formal representation of a "service" that is both a concrete and physical representation.
我们能够通过创建一个图来实现形式化，这个图展示了如何使用服务规范完成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.
能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。
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.
软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。
UML and formal method can describe software specification. The paper puts forward a formal method of software specification based on CCS.
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.
作为一个基于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.
艺术本来就是人类对客体对象抽象和简化的形式化结果，形式是艺术思维的一个范畴，思维靠形式得以规范和调节。
Art refers to human beings' presentation of their understanding of the objects. Forms belong to artistic thought and are regulated according to thought.
本文呈现了我们构造的形式化灰色时序安全策略规范语言（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.
本文呈现了我们构造的形式化灰色时序安全策略规范语言（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.
应用推荐