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

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

“青鸟”系统中永久对象的实现*

永久对象概念的实现为程序员提供了在高级语言级一致地操纵内外存的手段，并使程序之间共享数据更方便和有效．本文讨论了永久对象的描述方式和实现技术，介绍了一个集成化软件工程环境——“青鸟”系统中永久对象的实现方法，并详细地给出了其核心部分——“青鸟”对象管理系统(JB2/OMs)的设计．     

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

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

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

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

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

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

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

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

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

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

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

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

用变换型方法模拟开发电话交换系统

本文给出了用变换软件开发方法模拟开发电话交换系统的描述，由抽象的软件规范出发，通过一系列变换实现了数据的精化和操作的分解，最终得到可在机器上运行的程序，整个开发过程是用变换型语言Ｐｏｌｙａ写的，最后提出了Ｐｏｌｙａ的改进建议。     

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

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