摘要:本文提出了一种面向分布存储器多机系统的并行化编译方法．针对分布存储并行系统的特点，作者采用的基本优化策略是：折衷并行性与数据引用局部性；减少和隐藏通信开销．通过对基于仿射函数的程序分解方式所导致的数据通信性质的分析，得到了适合分布存储结构特殊要求的并行性开发方法．为了在保持并行性的前提下最小化通信数据总量，提出了基于齐次线性方程组求解的程序全局优化分解方法．为了优化数据通信的组织，提高结点代码的效率，又提出了一种以线性不等式组作为工具的更加实用的通信优化和结点代码生成方法.

摘要:对象管理系统ＯＭＳ（ｏｂｊｅｃｔｍａｎａｇｅｍｅｎｔｓｙｓｔｅｍ）是ＳＣＯＰ组合框架软件的核心．本文简要介绍ＳＣＯＰ对象管理系统的设计与实现，包括内存对象管理系统、外存对象管理系统以及基于Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ的并发库系统等.

摘要:本文根据面向对象数据库系统中嵌套事务的新的执行特性，提出了一种检测死锁的算法——扩充的边追踪算法，并在一个面向对象数据库原型系统ＭＩＤＳ中予以实现.

摘要:纯Ｄａｔａｌｏｇ的唯一模型定理在Ｄａｔａｌｏｇ－Ｎｏｔ程序中不成立，因此，在Ｄａｔａｌｏｇ－Ｎｏｔ程序的所有Ｈｅｒｂｒａｎｄ模型中，必须有一种模型的选择标准来确定程序的语义．完美模型关系是一种合理的选择标准．然而，由于完美模型的复杂性阻止了它的发展．本文分析了完美模型，通过有向图，给出了有完美模型的充要条件，并且给出构造算法及其正确性证明．本文得到的结果是：对任一自反有向图Ｇ，都能构造一个Ｄａｔａｌｏｇ－Ｎｏｔ程序Ｐ，使得Ｐ的完美模型图与Ｇ同构.

摘要:本文描述了ＰＣＬＡｇｅｎｄａ（ｐｒｏｃｅｓｓｃｏｎｔｒｏｌｉｎｇｌａｎｇｕａｇｅａｇｅｎｄａ）的设计与实现．ＰＣＬＡｇｅｎ－ｄａ是ＳＣＯＰ组合框架软件工具系统中提供的以过程为核心的软件工程环境，其主要功能是定义软件开发过程，指导、控制和自动化软件开发工作，支持开发人员的合作和协调．ＰＣＬＡｇｅｎｄａ的核心是基于ＳＣＯＰ软件开发方法学的、面向活动的软件过程模型.

摘要:本文将测试数据选择理论发展的２０年划分成３个阶段——形成阶段、发展阶段、完善阶段，给出了每一阶段具有代表性的研究成果和特点，讨论了此理论在软件工程中的应用.

摘要:ＳＣＯＰ是一个面向对象的组合框架软件，ＯＯＡｎａｌｙｓｉｓ是ＳＣＯＰ中支持系统分析的一个工具系统，本文介绍了ＯＯＡｎａｌｙｓｉｓ的设计和实现．该工具采用并行／递归式面向对象的分析方法，采用自底向上的系统构造和对象抽象与自顶向下的系统分解和对象精化相结合的方法建立对象模型，强调多层次抽象、并行工作和递归建模．这个工具有多层次、可视化和自动化的特点.