形式定义 meaning in English
formal definition
Examples
- Xbrl is xml - based . it is a language defined by xml - - - - - - with more than 1 , 800 xml tags , each of them representing a financial taxonomy
Xbrl基于xml技术，即它是由xml完成定义的语言? ?它以xml标记的形式定义了1 ， 800多个财务类别。 - Chapter three first introduces some terms to describe agent from software methodology view . then gives the formal definition of agents using z language
第3章从软件方法学角度确定描述agent的基本术语，并以此为基础用z语言给出agent的形式定义。 - The idea of the generic connection framework is to define the abstractions that cover the general aspects of the networking and file i o in the form of java interfaces
通用连接框架的设想是以java接口的形式定义一些能够覆盖联网和文件i / o的通用方面的抽象。 - To satisfy the requirement of asynchronous and loosely coupled communication model , this thesis presents a formalize definition of asynchronous messaging model based on distributed object
针对异步、松耦合通信模式的需求，提出一个基于分布对象的异步消息模型的形式定义。 - What workflow management system ( wfms ) can do is to convert the business process logic into certain computerized formal definition , and to complete the execution and management of the workflow under its drive as well
工作流管理系统就是将现实世界中的业务过程逻辑转化成某种计算机化的形式定义，并在其驱动下完成工作流的执行和管理。