面向对象技术中对象模型的复杂性

1.引言80年代多媒体应用,网络技术成就,以及各大公司推出的大量计算机辅助软件工程工具(CASE),把OO技术炒得火爆,似有90年代OO技术将会像     

对象式逻辑语言LKO的实现技术

本文首先介绍对象逻辑程序设计语言ＬＫＯ的基本概念，然后讨论其转换系统的系统结构，主要数据结构及关键算法。     

窗口对象输入操作的实现与C^＋＋编程

本文主要探讨在面向对象的文本窗口进行输入操作时，输入键的接受和输入串的编程的问题，并以Ｃ＾＋＋语言为例，给出了其实现与编程的方法。     

类型化面向对象逻辑语言LKO的元级解释

本文介绍类型化面向对象逻辑语言ＬＫＯ的元级解释技术，主要包括对象约束、状态、方法的继承算法，以及子句解释、类型推理和检查的多种合一算法。     

一种基于并行对象的可视化描述

一、前言随着并行计算机应用的深入,人们对并行程序的开发需求不断增加。相对于串行程序而言,并行程序必须考虑同步、互斥、通信等问题,使得并行程序设计难度较大,要求科技研究人员具备编写高效的并行程序的能力,影响了并行机的应用水平。将并行机制引入面向对象语言构成并行面向对象语言已成为当前面向对象技术的一个重要研究方向。利用面向对象的特点来有效实现并行任务的划分、数据的分配、并行进程间的通信和同步,可以降低并行程序设计难度。我们设计的适用于MPP机或集群系统的并行C~++语言(SPC~++),是一个面向对象的并行程序设计语言,充分体现了C~++语言面向对象的程序设计思想和特点,将对象机制和并行机制有机结合起来,大大降低并行程序设计难度。SPC~++利用了C~++语言的对象封装性、函数重载、操作符重载等功能对对象消息传递模型进行抽象,简化消息函数的使用。     

基于对象的消息传递

文中设计和实现了一个对象之间的消息传递系统,它比传统的对象之间的消息传递具有更好的灵活性和健壮性,充分体现了面向对象程序设计的特点。     

面向对象逻辑语言LKO的类型系统

文中主要介绍面向对象逻辑语言ＬＫＯ中基于声明和推理的有序类型系统，在谓词声明中，类型由有序的构子构造而成，子句中变量类型由类型推理决定，对象类型由方法声明决定，独立于便于代码复用，它可作为基类型参与项类型构造。     

用C＋＋实现计算机辅助逻辑设计与仿真

随着电子技术的迅速发展，大规模，超大规模数据网络越来越多，因此如何利用最先进的方法提高数字网络的设计速度和简化设计手段，如何利用现有中规模，大规模组件构成实用的大规模、超大规模数字网络，如何跟上硬件的发展速度，设计出通用凶强、扩充、升级容易的应用软件等等。我们正是以Ｃ＋＋语言为工具，用面向对象的方法研制出计算机辅助逻辑设计与仿真软件，以解决这些无论是在教学领域，还是在科研，生产领域均需急待解决的实际问题     

一种基于对象的复杂数据管理系统的实现

数据应用环境的演变和数据模式的越来越复杂,促使系统实现者在数据（库）管理系统中引入了面向对象的概念。本文描画了在非面向对象的底层数据库管理系统上实现基于对象的复杂数据管理系统的可能,尤其详细阐述了系统数据模块ｃｒｉｐｔ模块如何实现复杂语义的生成,以及用户数据模块如何提供复杂数据的统一接口和完成复杂行为的执行。     

传统程序设计语言的面向对象扩充的若干技术

本文论述用转换方式实现传统程序设计语言的面向对象扩充，给出了一组关键技术以解决由子类型多态和动态定连所引出的问题，其基本思想是将类和对象类型分开处理，从而避免转换过程中的重复工作．这些技术具有适用性强、功效高的特点，并且在ＰＡＳＣＡＬ语言的面向对象扩充ＮＤＯＯＰ和ＭＯＤＵＬＡ－２语言的面向对象扩充ＮＤＯＯＭ的实现中被采用，效果令人满意.     

并发面向对象程序设计语言研究与进展

随着面向对象程序设计的普及和对并发应用程序需求的增加，并发面向对象程序设计语言的设计日益成为研究热点。     

一个Pascal的面向对象扩充的设计与实现

本文阐述了ＮＤＯＯＰ的设计和实现的主要思想．ＮＤＯＯＰ是一个Ｐａｓｃａｌ的面向对象扩充，是Ｐａｓｃａｌ的超集，既充分支持面向对象程序设计，又保持了Ｐａｓｃａｌ的原有风格．     

面向对象类型理论的比较研究

人们已提出各种支持面向对象程序设计的类型理论。但每种类型理论的侧重点不足相同，它们均能解决面向对象程序设计的某些方面的问题。本文从对象、类、类型和继承角度，着重分析讨论抽象数据类型、记录演算和对象演算，为进一步研究关于面向对象程序设计的类型理论提供基础。     

面向对象机器人离线编程系统的设计准则

从机器人系统的结构行为特点出发，讨论机器人离线编程系统面向对象的设计准则和系统组成对象的设计衡量准则，阐述了面向对象方法用于研制和开发这种系统的优越性和不足之处，给出了面向对象的机器人离线编程系统的基本结构，并最终实现了面向对象的离线编程系统ＨＯＬＰＳＳ。     

一种面向对象程序自动化方法的研究

构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作，本文重点讨论了开发这些操作的方法.     

面向对象的管理信息系统分析与设计

本文对面向对象方法（ＯＯ）应用于ＭＩＳ系统开发中的诸多问题进行了较详尽的讨论，提出了ＯＯ对象在管理应用领域存在管理生命周期（ＭＬＣ）的新思想，并将该思想应用到面向对象的ＭＩＳ系统分析与设计中，取得了较好的效果。     

面向Agent的程序设计

本文针对所谓合作Agent应用问题阐述了一种面向Agent的程序设计AOP（agentori－entedprogramming）方法框架．其中提出了一种新的Agent编程语言（AOPL），设计并实现了其程序设计系统（AOPS），该系统支持AOPL到C的转换．同时，提出了一种新的Agent关系模型，讨论了该模型的组成及其在体现合作Agent应用系统的体系结构、指导Agent之间的协作行为和支持对系统结构特点的深层理解方面所发挥的重要作用．最后讨论了AOP在多功能感知系统中的应用．