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.
     她觉得是时候正式确定和坦佩尔斯曼的关系了。

双语例句

• Montague's PTQ system eventually completes the work of formalizing natural language through three parts, namely building a syntax about part of English statement system;
  蒙太格的PTQ系统通过三部分最终完成了对自然语言形式化的处理，它们分别是：建构一个部分英语语句系统的语形；
• This paper gets across analyzing the define of corporation business processes, abstracts the essential of Corporation processes, brings forwards formalizing describing method, and the basal composing element and affiliation of Corporation processes.
  摘要通过对企业业务流程定义的分析，抽象出企业流程的要素，提出了企业流程的形式化描述的方法，以及企业流程的基本构成要素和联系。
• Before the Extenics was established, formalizing and systematic research on contradiction problem was always lacking.
  在可拓学建立之前，一直缺乏形式化，系统性的矛盾问题研究。
• 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.
  也许你们将举行正式的婚礼来见证爱情，或是非传统的亦或是私人的方式来体现爱的相互承诺。
• 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的经典之作中对并发程序行为的正式规范，且基于进程和通道的核心概念。
• The implementation scheme of the model is introduced in the aspects of agent's formalizing expression, mechanism of communication between agents and environment of system realization.
  从agent形式化表示、agent间通信机制和系统实现环境方面介绍了系统的实现方案。
• Nowadays, there are lots of study results of formalizing UML, but they are limited.
  目前，已经有很多UML形式化的研究成果，但都存在一定的局限性。
• Finally, the whitepaper talks about formalizing service contracts and making services visible, typically using service registry.
  白皮书在最后还谈到了服务契约规范化以及服务可视化，这通常是通过服务注册实现的。
• This paper completes the formalizing describing and implementation of interaction interface services.
  本文完成了交互接口服务的形式化描述及实现。
• The Process Isomorphism pattern, defined by Jason, is an important instrument for formalizing alignment between services and processes which could improve both.
  由JasonBloomberg提出的流程同构模式是形式化服务和流程之间对齐的重要工具，同时也是改善两者的重要工具。