多种OOPL的统一框架模型

本文针对已有的面向对象语言，探讨了不同语言编写的混和类及其对象的组装问题，提出了一种具有统一框架的ＯＯＰＬ模型．在该模型中，引入了类构件和消息体的概念；一个类构件由一个类规范和０到多个类实现组成；引入接口相容和接口一致，以方便混和对象之间的消息通信；引入接口继承和实现继承，以刻画混合类构件之间的继承关系；类规范的操作换名接口说明和类实现的接口调整，可以解决类构件间多继承关系引起的名字冲突问题；消息体集的引人，使得混合对象运行系统在不影响运行模块独立性的同时，可以有多个执行入口．本文还简要介绍了基于该框架模型而设计的ＢＤＯＬ语言及其系统．

持久OOPL的存储管理模式

在持久环境（如持久ＯＯＰＬ和ＯＯＤＢＳ）中，涉及到两类不同的物理存储器：内存和磁盘，应开发隐藏物理细节的抽象存储器层次。虚拟对象存储器（ＶＯＳ）就是这种抽象存储器层次，在其上，持久对象和暂态对象的操作是同一的。作者利用双拷贝模型实现了一个ＶＯＳ管理系统。ＶＯＳ方法的优越性已通过ＸＤＰＣ＋＋的设计与实现得到了证明，ＸＤＰＣ＋＋是基于Ｃ＋＋的持久ＯＯＰＬ。

对象模型与关系模型结合实现高效的对象系统

讨论对象模型和关系模型 ,通过比较它们的区别与联系以及各自的特性 ,探讨将面向对象的思路用于数据库应用程序设计 ,把面向对象技术和关系数据库技术结合在一起实现高效的对象系统 .这样设计的应用系统数据结构清晰 ,数据库对象具有独立性 ,便于维护 ,需求变更时程序与数据库重用率高 ,修改量少 .

Visual Basic教学改革探索与实践

在计算机课程教学的改革与实践过程中,针对Visual Basic课程的特点,采用传统教学、研讨式教学和案例教学相结合的教学方法,充分利用现代教育媒体、机房设备,巧妙地安排教学内容,寓教于乐,逐步引导学生提高"高级语言程序设计课程"的学习兴趣,收到了较好的教学效果。

面向对象技术及其与软件复用的关系

软件复用可提高软件生产率,降低开发成本,缩短开发周期。面向对象技术是软件复用的基础。本文在介绍面向对象技术和软件复用技术概念的基础上,探讨了两者的关系。

Eiffel语言3.0版本的语义

采用ＶＤＭ的指称语义元语言ＭＥＴＡⅣ描述Ｅｉｆｆｅｌ语言３．０版本的语义．包括四个部分：①对原有的Ｅｉｆｅｌ语法进行抽象，从而给出它的抽象文法．该抽象文法在保持原有语法风格的基础上，对原语法进行了一些适当修改．②描述Ｅｉｆｅｌ语言的语景条件．它首先引入一些主要辅助域和主要辅助函数，然后给出各个语言成分的良构判定式．③定义对象模型、存贮空间和动态环境等语义域．④描述基于特征的各个语言成分的语义方程．

限制的对象表示和计算

限制描述了对象间的一组复杂关系，现有ＯＯＰＬ中一般不支持它们的表示和计算．本文给出了一种限制的对象表示法，其思想是在引入限制的同时不引入额外的概念，保持对象模型和语言的简单性。本文还讨论了这种表示法引入的问题和解决方法．

反射对象的概念、结构和实现

本文较系统地介绍了面向对象数据库语言ＲＯＬ中对象的计算反射的思想和实现方法．反射对象的引入是为了解决对象库中复杂的管理问题，并为设计智能化程度更高的对象提供一个良好的基础．本文还讨论了反射结构带来的问题，即封装性间题和效率问题，以及一种解决方法．

Eiffel语言的语义

本文采用类ＶＤＭ的指称语义技术为Ｅｉｆｆｅｌ（１９８８）语言建立了形式语义模型．该模型首先为Ｅｉｆｆｅｌ语言定义了对象模型和两个语义环境（动态和静态环境），然后讨论Ｅｉｆｆｅｌ例程的语义．为了描述Ｅｉｆｆｅｌ的意外处理，我们采用了ＶＤＭ的“出口”机制．

一种基于有色Petri网的安全协议分析方法研究

利用有色Petri网建模工具CPN tools中的查询函数对安全属性进行描述,搭建一个能够覆盖大部分安全性质的CPN查询函数库,提出一种基于CPN的通用和规范的安全协议形式化分析语言,该语言可以像用面向对象编程语言编程一样对安全协议进行建模。

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

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

ND-Polya中协变-反变问题的处理方法

协变－反变问题讨论面向对象语言中继承机制和多态计算的关系，是当前面向对象程序设计语言中的一个重要的理论问题．反变的方法重定义不符合思维习惯，一般采用协变精化的设计方法．但抛弃反变后的面向对象程序设计，在多态计算中会产生类型问题．针对这一问题，该文基于Ｃａｓｔａｇｎａ 的重载函数模型，提出处理协变相关类型问题的类型系统和计算模型，并在ＮＤ－Ｐｏｌｙａ 语言及系统中具体实现．该方法可以应用到其它协变面向对象语言中．

ONTOS DB──一个纯正的OODBMS

该文以典型的ＯＯＤＢＭＳ产品──ＯＮＴＯＳＤＢ为例，全面介绍了它作为现代ＯＯＤＢＭＳ所具备的ＯＯ机制、体系结构、管理能力、工具配置和先进特色。

Ada95中对C++模板的绑定

提出了一种绑定Ada95类属到C 模板的“预处理器”方案 ,将由编译器完成的类属和模板的实例化过程从编译器中提取出来 ,通过预处理器产生类属和模板的实例 ,将类属和模板的绑定改变为与编译器无关的类之间的绑定 ,从而利用Ada95 -C 绑定生成工具自动生成Ada95中对C 模板的绑定 .

面向对象方法与面向对象程序设计语言范型

本文将面向对象方法与传统的结构化分析与设计(SASD)方法进行了比较,探讨了面向对象程序设计语言(OOPL)范型和过程性语言范型。最后分析了三类OOPL的特点,并着重讨论了OOPL中一种特殊的类——类属类(generic)。