formalizes

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

美 [ˈfɔːrməlaɪzɪ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.
     她觉得是时候正式确定和坦佩尔斯曼的关系了。

双语例句

• An enterprise service Bus is the pattern that embodies and formalizes the notion of consumers, mediations and providers; hence from a technology perspective is a core SOA technology.
  一个企业服务总线是体现和形式化使用者、中介和提供者概念的模式；因此从技术角度来讲，它是一项核心SOA技术。
• Finally, it formalizes the execution semantics of BPMN elements, which helps to interpret BPMN process models unambiguously.
  最后，它规范化了BPMN元素的执行语义，这有助于清楚地解释BPMN流程模型。
• The works minimize the features of traditional Chinese porcelain wares and figurative profiles and formalizes them into abstract forms.
  作品在造型上将器物与人的外部形状再度形式化，以不断去除的方法突出“形”和“影”的特征。
• Certification formalizes the QA process prior to physically publishing the service as being enterprise ready with an assured quality of service and a full and complete set of support materials.
  认证要正式地完成QA过程，然后才能向整个企业发布服务，这样就可以确保服务的质量并提供完整的支持资料。
• This formalizes his ascent to the top post.
  这促使他升到最高职位。
• The paper first formalizes some concepts such as employment, and expatiates theoretical analysis how the finance and taxation policy promotes Employment.
  文章首先提出了就业等相关概念，阐述了财税政策介入促进就业的理论分析。
• This trust model describes behavior trust and identity trust in detail and formalizes representation of trust relationship network.
  同时详细描述了信任模型的行为信任和身份信任，形式化表达了信任关系网络。
• This paper formalizes trust class, evaluates trust based on the behaviors of the evaluated entity, introduces the concept of "trust domain" to combine recommended experience, and provides the way of trust evaluation.
  本文对信任类型进行了形式化的定义，采用被评估者的行为作为信任评估的依据，引入信任域的概念来解决推荐经验在信任评估中的合成，并给出了评价机制。
• An algorithmic theory of stack formalizes properties of relational systems of stack.
  栈的算法理论是栈的关系系统的特定性质。
• Under the restriction of geographic information domain ontology, it formalizes GIS Services according OWL-S, establishes foundations for Web services discovery and composition.
  在地理信息领域本体的约束下，通过OWL-S对GISWebServices进行形式化语义表达，为服务的自动发现、组合奠定了基础。