formalizing

英 [ˈfɔːməlaɪzɪŋ]

美 [ˈfɔːrməlaɪzɪŋ]

v.  使(安排、计划、关系)成为正式的; (通过规则)使有固定体系，使定形
formalize的现在分词

柯林斯词典

in BRIT, also use 英国英语亦用formalise


• VERB 使正式化;确定
  If youformalizea plan, idea, arrangement, or system, you make it formal and official.
  1. A recent treaty signed by Russia, Canada and Japan formalized an agreement to work together to stop the pirates...
     俄罗斯、加拿大和日本最近签署的一项条约将三国共同防止盗版的协议正式确定下来。
  2. She feels the time has come to formalise her relationship with Tempelsman.
     她觉得是时候正式确定和坦佩尔斯曼的关系了。

双语例句

• A formalizing description method of Web service is put forward based on Logic Petri Nets, this approach not only describes the input/ output parameters, Quality of Service ( QoS) and behavioral constraints of Web services effectively, but also describes the parameter uncertainty effectively.
  给出了一种基于逻辑Petri网的Web服务形式化描述方法，它不仅能有效刻画Web服务的输入/输出参数、质量约束及行为约束限制，而且能有效描述复合Web服务的参数不确定性。
• Proceeding from the classification of system evaluation indicatrix, and based on the nature of judgement matrix. the methods of Information. on whitening and formalizing of three kinds of indicatrixes are proposed.
  本文从系统评价指标的分类出发，根据判断矩阵的性质，提出了三类指标的信息白化及规范化方法，并通过实例证明了这些方法的可行性。
• The Process Isomorphism pattern, defined by Jason, is an important instrument for formalizing alignment between services and processes which could improve both.
  由JasonBloomberg提出的流程同构模式是形式化服务和流程之间对齐的重要工具，同时也是改善两者的重要工具。
• This paper completes the formalizing describing and implementation of interaction interface services.
  本文完成了交互接口服务的形式化描述及实现。
• In order to realize harmonious human machine interaction, this paper makes some useful efforts on formalizing rational and emotional agents for human machine interface basing on multi-agent technology, and also gives a joint theoretical framework.
  为了实现和谐的人机交互，本文基于多Agent技术，在人机界面Agent的理性与情感两方面做了有益探索，并给出了相应的联合理论框架。
• You may decide on a legal wedding ceremony or, for the less traditional, a non-legal or private way of formalizing your commitment to each other.
  也许你们将举行正式的婚礼来见证爱情，或是非传统的亦或是私人的方式来体现爱的相互承诺。
• A formalizing expression method of User Request is given, and then the acceptability of User Request is analyzed based on logic reasoning technology.
  提出了用户请求的形式化表达方法，并基于逻辑推理技术，分析了用户请求的可接受性，只向系统传送可实现的用户请求，提高了服务组合的效率。
• Formalizing of the ESB Gateway concept within an SOA provides the standardized administration and visibility of services that a maturing SOA must have.
  在SOA中正式地定义ESBGateway的概念将提供标准化的服务管理和可视性，这是一个成熟SOA所必需具备的。
• This will convince you. I am going to reveal the structure formalizing it and if that doesn't convince you nothing will.
  这能说服你们，我开始揭露形式化它的结构了，如果按不能说服你，没有什么能了。
• CSP is based on Tony Hoare's classic work in formalizing the behavior of concurrent programs, and is based on the core concepts of processes and channels.
  CSP基于TonyHoare的经典之作中对并发程序行为的正式规范，且基于进程和通道的核心概念。