formalize

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

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

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

过去分词：formalized　现在分词：formalizing　过去式：formalized　第三人称单数：formalizes　

Collins.1 / BNC.16126 / COCA.17424

牛津词典

verb

• 使（安排、计划、关系）成为正式的
  to make an arrangement, a plan or a relationship official
  1. They decided to formalize their relationship by getting married.
     他们决定结婚，正式确定关系。
• （通过规则）使有固定体系，使定形
  to give sth a fixed structure or form by introducing rules
  1. The college has a highly formalized system of assessment.
     这所学院有一套十分固定的评估体系。

柯林斯词典

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

英英释义

verb

• declare or make legally valid
  Synonym:validateformalise
• make formal or official
  1. We formalized the appointment and gave him a title
  Synonym:formalise

双语例句

• The key task of ontology reasoning is to analyze semantic relationships and to define, formalize and optimize reasoning rules.
  本体知识推理的关键任务是分析语义关系、定义和形式化推理规则并对其优化。
• It then negotiates with the provider to formalize and finalize the SLA and bind to its Web service.
  然后它再与提供者协商把SLA正规化、确定下来并绑定到它的Web服务。
• This article tried to formalize the basic theoretic structure for the further research.
  本文试图为进一步研究构筑基本理论结构。
• Business analysts and application analysts do not use the same language ( UML) to formalize their systems
  业务分析师与应用分析师没有使用同一种语言（UML）形式化的表示他们的系统
• They desire to formalize their business relationship, this agreement shall set forth the term as such.
  他们希望能建立正式的业务关系，特由本协议制定以下条款。
• A marriage would formalize the alliance.
  联姻将使联盟具体化。
• It tries to formalize the processes of solving problems.
  它试图解决问题的正规化进程。
• These connectors formalize the use dependency in the services architecture.
  这些连接器将服务架构中的使用依赖形式化了。
• The API formalizes the distinction between absolute and relative times, requiring the caller to specify the type.
  hrtimerAPI正式确认（formalize）了绝对时间和相对时间之间的区别，要求调用者指定类型。
• However, having the integration process executed on physically separate hardware helps to formalize the process.
  然而，在一个物理上独立的硬件上执行集成流程更利于流程的规范。