应用面向对象数据模型设计的DIS仿真数据库

介绍用面向对象的分析方法设计分布式交互仿真(DIS)仿真数据库，具体描述对象定义语言(ODL)模型映射为关系模型实现数据库的方法。     

数据库建模—ODL与E／R图的比较

文章首先较详细地介绍了面向对象的数据库建模语言－ODL（Object Definition Language，对象义语言），并且通过实例把它与传统的E／R图建模方法进行了分析与比较，说明了它们在表达上的一些不同之处，最后阐明了各自适应的场合。     

对象作为自动机及面向对象程序设计风格作为自动机网构形

本文从自动机和自动机网络的观点,来揭示面响对象程序设计风格和语言中诸如类,对象,消息传递,继承等基本概念的实质。面向对象的程序设计风格不一定非要用面向对象的程序设计语言(如Smalltalk-80,Act-2等)才能表演出来。文中对PROLOG语言提出具体的方法,使之在运用PROLOG语言进行程序设计时体现面向对象程序设计风格。     

面向对象数据库中SQL语义模型的研究

结构化查询语言SQL是关系数据库(RDB)中广泛使用的查询语言,主要有四大功能：查询,操纵,定义,控制,这构成了关系数据库的功能主体。面向对象数据库是由面向对象数据模型定义的对象集合,该集合中的对象反映了面向对象程序设计所支持的对象语义。核心的面向对象数据库系统可以用下列等式表达它的组成；     

WCET分析中面向对象程序多态性问题的解决方法

用面向对象建模语言(如统一建模语言UML)设计并用面向对象程序设计语言(如C )实现实时系统是实时系统开发领域的一个趋势,但面向对象的主要特征(如多态性)却使程序最差情况执行时间(Worst-Case ExecutionTi me,WCET)更加难以分析。本文通过把UML设计信息引入WCET分析来解决此问题。考虑到UML关联关系描述了两个或多个具体类之间的对应关系,因此本文要求指定关联角色的多重性,并假定能够建立关联关系与其在程序中表示的对应关系。在已知关联角色多重性的基础上,本文计算特定循环的执行计数并确定在超(虚)类调用位置上每个具体类的对象个数,该循环使用超类变量遍历统一表示的关联角色对象。通过和Corti等人方法的结合,本文方法能够自动计算具有多态性特征的面向对象程序的WCET。实验结果表明,本文研究的情形在面向对象程序中普遍存在。     

面向对象的程序设计

面向对象的程序设计范例与逻辑程序设计范例和函数程序设计范例是当今人工智能程序设计的三大主要范例。对于面向对象的程序设计语言,环境,以及机器系统的研究日益广泛和强烈。面向对象的程序设计(语言)的主要特征是信息隐藏,数据抽象,数据类型的动态汇集(晚期汇集或动态汇集),以及性质继承。——译者     

Stream和Object——面向对象的并行计算模型及其语言探讨(1)

AIUM 从 Stream 计算(或半序集演算体系)出发,微观地研究计算和对象抽象化,是一种面向对象的并行程序设计语言。本文拟分为两部分:第一部分介绍面向对象的并行计算模型及其语言 AIUM 的基本文法和相关例子;第二部分(连载)进一步介绍 AIUM 的扩充文法和例子以及给并行语言带来了强的描述能力和处理手段的 Stream 和 Object 的融合。     

SQL语言的面向对象功能的扩展

本文首先介绍了数据库语言ＯＳＱＬ的设计思想。以面向对象的数据模型为理论依据，在标准关系数据库语言ＳＱＬ的基础上扩充了面向对象功能，设计出了一个全新的面向对象数据库语言ＯＳＱＬ。该语言既保留了ＳＱＬ原有的特性，又能支持面向对象、对象分布、对象主动行为及多媒体复杂信息的管理，是一个成功的分布式面向对象数据库语言。     

C++的主要特点分析

<正>C语言是一门过程式编程语言,也是计算机类很重要的专业基础课,不少学校的非计算机专业也开设这门课程,可见其重要性,甚至有一些院校将C语言作为理工科的必修课。但是随着面向对象程序设计语言的盛行,当今社会需要越来越多地掌握面向对象程序设计语言的技术人员。纯面向对象的程序设计语言有Smalltalk、Eiffel、Actors、POOL等,由于纯面向对象语言要求程序员完全放弃原有的编程经验和习惯,这让许多程序工作者望而却步。幸运的是我们还有另外一种选择,我们可以选择混合型面向对角程序设计语言。混合型语言包括传统设计语言结合面向对象的思想和在传统吾言的基础上扩充面向对象思想,而在20世纪80年代蓬勃发展起来的C++就是在C语言的基础上发展起来的,因具有独特的面向对象特征,可以为面向对象技术提供全面支持。近年来,学习和使用C++的人员越来越多,笔者主要分析一下从C语言转到C++的过程中,需要注意的几个问题：1面向对象思想的建立面向对象程序设计有三大特征,即封装性、继承性和多态性。最主要的是先建立有关对象的基本概念,所谓对象是一个独立的程序模块,它通过一些固定的接口与其他对象或程序模块互通信息或者接收选定信息后执行一定功能,比如一般的应用程序窗口,就可以认为是对象,它接收鼠标和键盘的消息并作出适当的响应,用户只看到响应的结果而不会看到对象内部的实际处理过程。由此我们可以得出这样的结论,对象只提供一些接口让用户调用某些功能,而把如何实现这些功能的代码隐藏在对象的内部,这就是所谓的封装性。     

青鸟Ⅱ型系统面向对象语言CASEC＋＋的设计和实现

ＣＡＳＥＣ＋＋语言是面向对象的ＣＡＳＥ环境青鸟Ⅱ型系统中设计、实现的一个与Ｃ＋＋完全兼容并支持永久对象的面向对象程序设计语言．在青鸟Ⅱ型系统中，它是对象管理系统ＯＭＳ（ｏｂｊｅｃｔｍａｎａｇｅｍｅｎｔｓｙｓｔｅｍ）的操纵语言和所有集成工具的编程语言，同时也是支持最终用户的通用的编程语言．本文首先简要介绍了ＣＡＳＥＣ＋＋的设计背景．然后，较详细地讨论了ＣＡＳＥＣ＋＋中新引入的语言成份：永久对象；类定义的共享机制；永久对象间的关系描述──链和对象的内容等．最后，给出了实现方法．     

On inverse deterministic pushdown transductions

Classes of source languages which can be mapped by a deterministic pushdown (DPDA) transduction into a given object language (while their complement is mapped into the complement of the object language) are studied. Such classes of source languages are inverse DPDA transductions of the given object language. Similarly for classes of object languages. The inverse DPDA transductions of the Dyck sets are studied in greater detail: they can be recognized in deterministic storage (log n)' but do not comprise all context free languages; their emptiness problem is unsolvable and their closure under homomorphism constitutes the r.e. sets. For each object language L we can exhibit a storage hardest language for the class of inverse DPDA transductions of L; similarly for the classes of regular, deterministic context free, and context free object languages. Last, we classify the classes of inverse DPDA transductions of the regular, deterministic context free, context free and deterministic context sensitive languages.     

一个类Java语言的指称语义

文章提出了一个简化的Java语言SimpleJ并给出了此语言的指称语义。SimpleJ是一个简单的面向对象语言,具有Java语言的基本语义特点,该文通过对SimpleJ语言的语义域和语义方程的刻画和描述,讨论了以对象类型和异常语句为主的Java语言的语义特征。     

面向对象数据库系统Daemon4／1的设计

Daemon4/1的基本目标是使对象操作语言和库管理系统能有机地集成在一起，为此在基本模型、对象表示及访问机制、语言事务系统和版本管理等方面作了探讨。在对象模型设计时应考虑支持库管理和操作，对象表示应同时支持传统语言和库操作执行，语言级事务概念要考虑到语言运行系统的特殊性和库事务管理系统，版本管理等特色的引入不能影响对象系统的简单性。Daemon4/1在这些方面具有自己的特色。     

一个实现对象查询语言的形式化基础

在基于CORBA(common object request broker)的面向对象多数据库系统SCOPE/CIMS中，作者选择了对象数据库管理组ODMG(object database management group)提出的对象数据库标准ODMG-93的OQL(object query language)作为全局查询语言.为此，提出了一种实现OQL的形式化基础,包括适合建模OQL的一种对象演算和一种对象代数；对象演算的规范化规则和规范化步骤；对象演算与对象代数的等价映射规则及转换策略.     

Computerized spatial language generation for object location

Spatial language is the syntax used for object or place locations. Because an object location is inherently relative, it implies a frame of reference, which in turn may be aided by a reference object, other than the one to be located. This reference object is commonly selected based on its perceptual salience, that is, its more prominent features. Computer systems linked to various research areas have been developed to facilitate the communication and/or interpretation of spatial language for localization tasks. In this paper is presented a literature review of computer systems that adopt spatial language and perceptual salience for object location.     

事务逻辑对象库语言

对象封装了结构和行为.对象数据库为大规模复杂应用提供良好的建模方法和实现手段.对象与逻辑结合导致目前对演绎对象库的研究.然而,这些研究基本上针对对象的结构描述,而很少涉及到对象的动态行为的描述.该文重点研究对象的动态行为,分析对象特征：继承和重载对事务语义的影响,并设计了一个事务对象库语言TOL(transaction object base language).首先分析TOL中的基本更新活动的特征,然后研究其事务的模型论语义.TOL模型论语义基于通路结构.     

A persistent complex object database language

To support a number of emerging applications we propose a persistent complex object database language which is “value” based. The object space is built through the set and tuple object constructors, with practically no normalization constraints on the nesting levels. The proposed persistent database language can serve both as an interface language to the database management system in itself or as the target language of a conceptual data language. Some of the features of the language include: (i) Notion of “path's” capturing logical references to retrieve and update the persistent database, (ii) a rich set of allowable schema types, including disjuncts, and (iii) a collection of powerful operator constructors for sets.     

DOL: 一个演绎对象库语言

演绎对象数据库是对象数据模型和演绎数据库集合的产物.它集成演绎数据库的查询能力和对象数据库的强大建模能力.DOL(deductive object base language)是作者设计的一种演绎对象库语言,它支持类、类层次、继承、集合、部分集、方法及重载和否定.文章着重研究继承、重载和复杂结构化值的交互关系.定义了压缩操作子和重载操作子.基于这两个操作子,定义了与经典逻辑程序类似的直接后承操作子,并研究其不定点性质.