软件构造过程中的对象规范和实现*

面向对象的软件构造过程中的一个关键技术是对象的描述．本文介绍的ADL语言就是用于描述软件对象的基本特征．一个ADL对象定义分为两部分：其一是对象规范，它在抽象数据域上描述对象的语义特征，用逻辑公式规定对象的状态和行为约束．另一是对象体，它由开发者选用相应的某种实现语言和算法给出对象规范的具体实现，同时给出从抽象数据到具体数据的映射关系．     

复杂对象语义在ANGEL系统中的实现

ＡＮＧＥＬ系统是西北工业大学软件教研室在“八五”期间，为满足工程应用领域的特殊要求而研制开发的一个新一代工程数据库管理系统．文中首先介绍ＡＮＧＥＬ系统数据模型及其具体特征，并在此基础上，进一步讨论它对复杂对象丰富语义的表达和对复杂对象的建模和操作，重点阐述该系统数据操纵语言——ＡＤＭＬ（ＡＮＧＥＬｄａｔａｍａｎｉｐｕｌａｔｉｏｎｌａｎｇｕａｇｅ）的实现技术．鉴于该系统的具体特点，ＡＤＭＬ能对复杂对象语义，特别是复杂嵌套表模式中的引用及继承关系提供很好的支持     

算法语言L的设计与形式规范

本文通过分析ＰＡＳＣＡＬ语言作为算法设计语言而存在的主要缺陷，借鉴Ｄ．Ｗａｔｔ的△之设计原则，而定义了一个小型的算法语言Ｌ。文中详细地给出了它的具体文法、抽象文法和静态语义。通过Ｌ的设计和描述，对算法语言设计与规范的有关问题进行了有益的探索。     

动画剧本描述语言SDL／A的设计与实现

本文介绍了基于时序逻辑的动画描述模型和基于此模型设计的动画剧本描述语言ＳＤＬ／Ａ．这种语言具有便于动画设计各个层次的描述、能够描述设计的逐步求精过程、能描述动画中的各种抽象对象以及角色间动作的同步等特点，并易于将这种基本的通用的剧本描述语言集成到一个功能强大的ＣＡＳＥ环境－ＸＹＺ系统之中．本文主要介绍了ＳＤＬ／Ａ语言的设计思想和实现技术.     

XYZ系统在动画设计中的应用

ＸＹＺ系统是一套以线形时序逻辑为基础的ＣＡＳＥ环境系统，其核心是时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／ＡＤＬ（ａｎｉｍａｔｉｏｎｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是ＸＹＺ系统在动画领域的应用．马华东博士采用基于时序逻辑的动画描述模型ＴＬＡＤ（ｔｅｍｐｏｒａｌ－ｌｏｇｉｃ－ｂａｓｅｄａｎｉｍａｔｉｏｎｄｅｓｃｒｉｐｔｉｏｎｍｏｄｅｌ），提出了动画剧本描述语言（ＳＤＬ／Ａ）．本文介绍的ＸＹＺ／ＡＤＬ语言是以ＸＹＺ／Ｅ的框架为基础扩充ＳＤＬ／Ａ而成．它使用ＸＹＺ／Ｅ中面向对象程序设计的基本结构——代理机构（Ａｇｅｎｔ）作为基本描述单元．代理机构由通讯进程和相应的包块构成，包块处理对象封装，进程处理通讯．从而能更方便地刻画动画过程中的复杂、多层次的角色（包括父子角色）的运动特征及多角色之间的同步协调关系，并且在统一的逻辑框架下实现了计算机动画中运动对象的行为抽象和运动的抽象描述，更具一般性．     

对象的动态组装及其实现机制

提出并讨论了对象动态组装概念及其实现机制。在给出对象动态组装的模型之后，对其语言描述、实现、运行机制作了阐述。对象动态组装是软件重用的高级阶段。作为对象描述和对象作用的机制，它为软件集成块的实现提出了新思想。     

低功耗8通道12位串行A/D转换器的接口设计

介绍了一种由低功耗８通道１２位串行Ａ／Ｄ转换器ＭＡＸ１８６和ＭＯＴＯＲＯＬＡ３２位高档单片机ＭＣ６８３３２构成的典型Ａ／Ｄ转换系统。具体地给出了硬件接口电路，以及用Ｃ语言实现的软件接口实例。     

对象描述语言及其指称描述

在面向对象的软件构造中，对象被视为软件系统的基本构件．本文提出对象规范描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ），并给出其主要结构的ＳＯＰ指称描述．ＳＯＰ演算的理论范集给出对象的形式描述．ＳＯＰ理论范集反映了对象的封装性，在这样的逻辑框架下，对象的属性（结构）和动作（行为）得以统一．对象聚合提供了由已有对象描述构造复杂对象描述的机制；而继承则可以扩充给定的对象描述并保持原描述的特性．此外，本文还区分了继承和子类这２个相似而又不尽相同的概念.     

基于复杂对象的知识库语言

近年来，复杂对象数据模型及其逻辑数据语言的研究引起了人们的广泛的重视．本文提出了一种复杂对象模型ＣＯＭ，描述了该模型上的说明性查询语言ＣＯ－ＤＡＴＡＬＯＧ的语法结构．在语义方面，定义了空间、基、解释、满足、模型等概念；利用ＣＯＭ实例的格性质证明了ＣＯ－ＤＡＴＡＬＯＧ的模型相交定理、最小模型存在定理以及最小模型的不动点性质，从而重构了其语义理论框架．     

一种基于二叉树的元知识学习算法MKL及其应用

ＭＫＬ是知识获取系统ＮＤＫＡＳ中实现的一个元知识学习算法，它在分类及抽象的基础上归纳出二叉树结构的元知识，用以有效地组织知识库中的规则．ＭＫＬ生成的元知识满足元知识的基本性质．本文给出了ＭＫＬ的算法描述，基本性质的满足性证明及算法的应用例子．     

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

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

利用VB中OLE技术实现AutoCAD的图库管理

ＯＬＥ是ＶｉｓｕａｌＢａｓｉｃ的核心技术之一，本文介绍了ＯＬＥ的基本概念，描述了ＶＢ中ＯＬＥ技术的原理及特性，并基于此技术实现了一个ＡｕｔｏＣＡＤ的图库管理系统的开发。     

对象组装及其关联语义的自动维持

讨论了对象组装概念及其对象关联语义的自动维持问题.在给出对象组装的模型之后,还对其语言描述、实现机制进行了阐述.它是基于专门用于组装的对象挂接,而不是常规对象接口.由此实现了面向问题域的对象间关联的动态建立和关联语义的自动维持,从而增加了对象建模的描述能力和使用的灵活性,降低了对象接口的实现和使用的复杂度.作为对象描述和对象作用的机制,它为软件IC的实现提出了新思想,其应用、规范和标准化将为软件设计的工业化生产提供新的设计技术.     

Dual-Object: 面向对象的并行程序设计

面向对象的并行程序设计提供了类似于共享内存模型对通讯和计算的抽象能力，从而非常适合于大型并行软件系统的开发．但是基于远程对象调用的分布式对象的实现效率一直是面向对象方法在分布式／并行程序设计中得到广泛应用的障碍．本文介绍了并行机ＭＡＮＮＡ上所采用的面向对象的并行程序设计模型——Ｄｕａｌ－Ｏｂｊｅｃｔ模型．该模型通过引入从语义角度出发给出的数据一致特性的描述，在一定程度上解决了实现效率低下的问题．其次，文章通过程序设计实例详细地讨论了基于Ｄｕａｌ－Ｏｂｊｅｃｔ模型的扩展Ｃ＋＋并行程序设计，并给出了部分实际测试结果．     

一个结构良好的规格说明工具：抽象逻辑结构图

提出了一种新的图形化规格说明工具－－抽象逻辑结构图ＡＬＳＤ，给出了它的形式化定义和图形表示方法。抽象逻辑结构图是一种图形和正文相结合的简单树形图式，它可以用于加工逻辑、数据结构、判定树等的描述与表示。     

DPAL：演绎型刺绣图案装配语言

本文描述了演绎型图案装配语言ＤＰＡＬ的设计和实现技术。ＤＰＡＬ采用类ＡＱＬ语言方式，通过代间关系算子匹配规则库中相应规则实现图元主加中图元调用与装配，生成所要求的刺绣画稿。它的使用大大提高了刺绣画稿的生产效率的花色品种。     

一个面向对象的实时分布式语言的指称语义

本文给出了一个面向对象的实时分布式语言的指称语义，在不同层次Ｌ给出了语句、对象和程序的清晰描述．提出了实时状态的概念．借助于它，在指称语义的框架内，简洁地刻画了语言的实时特性．     

一种支持SDAI的数据库模式定义语言

本文介绍ＯＳＣＡＲ中的数据库模式定义语言（ＤＤＬ），它支持ＳＴＥＰ标准下的标准数据存取接口（ＳＤＡＩ），并详细地描述了ＯＳＣＡＲ对数据字典的信息管理策略，以及这些策略为ＳＤＡＩ提供的底层支持。     

用XML对数据库查询的方法

本文讨论了用ＸＭＬ查询数据库的具体实现方法。首先,提出了用ＤＴＤ描述关系数据模式和利用ＡＳＰ技术转化数据库的数据成ＸＭＬ文档方法;然后,用ＸＭＬ的查询语言ＸＭＬ－ＱＬ完成Ｗｅｂ数据库上查询和数据集成等操作。     

微机用3维几何造型系统PMD的设计与实现

ＰＭＤ是在微机上实现的３维几何造型系统。本文给出了ＰＭＤ系统的总体结构，在描述了造型过程中的抽象数据模型以及３维造型命令语言ＭＬ的基础上，详细讨论了ＰＭＤ系统的造型处理过程以及真实感图形的绘制技术。