1) object language
对象语言
1.
The choice of object language of College Chinese textbook and textbook compilation;
大学语文教材对象语言的选择与教材编写
2.
Metalanguage is second-order language which is used to describe or explain lan- guage itself,while object language is first-order language which is used to describe things in ordinary life.
现代逻辑学家把谈论事物的语言称为对象语言,把谈论语言的语言称为元语言。
3.
In Mo_ching ,there are not propositional form and inference form expressed as object language,and there are only inference ways reflected by typical specific inference,but there are lots of logical rules expressed by metalanguage,which makes clear that Mo_ching logic has come to enter the stage of formal logic.
《墨经》中没有应用对象语言来表示的命题形式和推理形式 ,而只有应用典型的具体推理来体现的推理方式 ,但《墨经》中却有不少应用元语言来表述的逻辑规律 ,虽然这些是不够精确的 ,但表明《墨经》中的逻辑已经开始进入形式逻辑的阶
3) object of linguistic study
语言学对象
4) object constraint language
对象约束语言
1.
In order to guarantee the validity of organization,object constraint language(OCL) is used to formally describe the three classes of organizational constraints include basic constraints,team.
为了保证组织结构的合法性,利用对象约束语言对各类组织约束进行形式化描述,这些约束包括基本约束、针对团队模板的约束和针对团队的约束三类。
2.
According to it, the organization structure is modeling based on object-oriented technology, and the constraints within the team structure and team-to-task are formally expressed by object constraint language (OCL).
针对工作流系统对动态团队和不确定性任务支持的要求,首先利用面向对象技术建模团队的组织结构,并采用对象约束语言规范化描述团队内部结构约束和"团队-任务"约束,然后提出了任务版本的概念,用来解决团队对应的工作流任务不确定问题,并讨论了集成实现中的若干关键问题。
3.
Object Constraint Language (OCL) is the sub-standard of UML, which can be used not only in constraint and query on models, but also in defining transformation rules and modeling language.
对象约束语言(OCL)被定义为UML标准的子标准，不仅可用于模型约束、查询，还可以用于定义模型转换规则和定义建模语言。
5) OQL
对象查询语言
6) object-oriented language
面向对象语言
1.
The ambiguity of object-oriented language is discussed in this paper.
针对面向对象语言产生的歧义性进行探讨,对可能出现歧义性的各种可能的情况进行详细的研究,并提出有效避免和解决歧义性的方法。
补充资料：对象语言
对象语言
object language
对象语言ld椒th呢脚罗;uPe卿T.‘幻.] 作为研究对象的语言.对一种有意义的理论形式化时要区分两种语言.一种是使理论得以形式化的语言，即对象语言.它由表示式的构成法则和语义法则给出，语义法则规定表示式的含义以及表示式怎样说明推理.另一种是用来说明上述这些语义和语法所用的语言.这个语言称为元语言.通常元语言不是形式化的语言.然而它也能被形式化，随之变成对象语言，要对它进行研究就需要一种新的元语言.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条