Intelligent SQL

Intelligent SQL is an intelligent database engine interface language which incorporates object-oriented, inferencing, and multi-media constructs. It is intended to be a powerful extension of existing SQL dialects. It also provides querying capabilities for object-oriented databases. Intelligent SQL was prototyped at Ashton-Tate. This paper discusses the main features of Intelligent SQL.     

基于简化系统依赖图的静态粗粒度切片方法

基于系统依赖图是计算面向对象程序切片的一个有效方法.但是,系统依赖图的缺点是太复杂,而且在建立系统依赖图的过程中容易出错,一旦出现错误就可能导致切片结果的不准确.通过对系统依赖图进行简化,得到了简化的系统依赖图.它省略了那些表示输入参数和输出参数的结点和概括边.同时,还定义了一种面向对象程序的粗粒度切片概念,讨论了它的性质,分析了它与细粒度切片的关系,并基于简化的系统依赖图计算面向对象程序的粗粒度切片.最后还讨论了切片技术的简单实现.     

一种基于切片技术度量Java耦合性的框架

在研究面向对象的度量问题时,人们通过简单的统计方法和基于信息源的方法来度量其中的一些特征,例如基本度量、CK度量和AoKi度量等。文中采用一种基于程序切片的方法来度量Java的耦合性问题,通过对J ava源程序中存在的耦合关系的度量,得到了一种比传统方法更精确的耦合度量方法。     

具有面向对象特征的知识库系统

本文讨论了具有面向对象特征的知识库系统KBASE~ 的数据模型、语言及实现。KBASE~ 的数据模型可以方便地支持对象标识、类层次、多继承等面向对象概念。描述性查询语言KBL是DATALOG针对于非一范式关系模型的扩充。本文重构了KBL的语义理论框架,提出了通过计算相关类的下确界来解决属性继承中的冲突问题,通过在KBL程序中添加规则来实现实例继承的方案,本文说明了KBL程序可以转换成语义等价的DATALOG程序,描述了这种转换的基本思想,探索了知识库和面向对象数据库有机结合的可行途径。     

知识库系统KBASE＋的数据模型,语言及实现

本文讨论具有面向对象特征的知识库系统ＫＢＡＳＥ＋的数据模型，语言及实现，ＫＢＡＳＥ＋的数据模型可以方便地支持对象标识，类层次，多继承等面向对象概念。描述性查询语言ＫＢＬ是扩充的ＤＡＴＡＬＯＧ。本文重构了ＫＢＬ语义理论框架，提出了解决属性继承和实例继承的方案，说明了ＫＢＬ程序可以转换成语义等价的ＤＡＴＡＬＯＧ程序。     

面向对象软件测试的研究

面向对象软件测试是面向对象软件开发的不可缺少的一环,是保证软件质量,提高软件可靠性的关键。文中分析了面向对象程序设计语言的特点及其对软件测试的影响,总结了面向对象软件测试的内容、测试层次及测试用例的设计方法,同时讨论了面向对象软件测试技术的现状与发展。     

Behavioral Subtyping Relations for Active Objects

In this paper we investigate the object-oriented notion of subtyping in the context of behavioral formalisms. Behavioral formalisms are used to describe the dynamic behavior of active objects, viz. the protocols of interaction that active objects have to obey.Subtyping in OO-formalisms is closely related to the concept of inheritance. The central issue in the choice of subtyping relations among classes is the principle of substitutability: an instance of the subtype should be usable wherever an instance of the supertype was expected. Depending on the interpretation of usable, we obtain a variety of subtyping relations: stronger relations, allowing sharing of subtype instances among different clients, and weaker relations, restricting the possibilities of interference of different clients on the subtype instance. The subtyping relations are taxonomically ordered in a hierarchy. Substitutability is formalized via testing scenarios, which provide alternative characterizations for the subtyping relations.     

数控系统网络功能的开发与集成

设计了一种“NC嵌入PC”式的网络化数控系统,提出用分布式组件技术实现网络数控的思想。分析了系统的软硬件结构,并实现了数控系统的网络功能。     

面向对象的球形储罐CAD系统中的分析与设计

面向对象的软件开发方法对于CAD系统建立完整的系统模型具有明显的优势。通过对球形储罐CAD系统的开发研究，对面向对象方法在软件开发过程中的应用进行分析，探讨了如何利用面向对象方法对STCAD系统进行分析和设计，阐明了面向对象方法在软件开发中的重要作用。     

面向对象的摩托车车架参数化设计系统研究

介绍了面向对象的参数化设计方法：使用面向对象的设计语言对设计对象进行封装，封装的设计对象通过在其方法中调用三维设计平台的二次开发函数实现参数化建模。该方法增强了设计系统的可靠性、稳定性和灵活性。并把此方法成功应用到摩托车车架的参数化设计系统中。