OO模型中ODL语言的研究与实现

面向对象的数据库语言主要包括对象定义语言(ODL)和对象操纵语言(OML)。本文主要介绍以持久的面向对象程序设计语言为基础,研究和设计ODL语言的方法。     

以值传递对象在CORBA IDL编译器中的实现

值类型(valuetype)是通用对象请求代理体系结构(CORBA)规范中的一种新型的数据结构,它的提出使基于COR-BA的应用支持以值传递对象(OBV)。随着CORBA应用领域的扩展,许多应用需要CORBA提供以值传递对象,而传统的CORBA不提供以值传递对象能力。文中介绍了值类型概念,描述了以值传递对象的交互过程,该交互过程需要一个支持以值传递对象的编译器和ORB,其中的主要工作由编译器生产的C 代码来实现,详细说明了在CORBA IDL编译器(接口定义语言编译器)中的实现方法和流程。在ORBUS IDL编译器和ORBUS ORB上,实现以值传递对象交互过程,测试结果表明了该交互过程的可行性。     

一个实现对象查询语言的形式化基础

在基于CORBA(common object request broker)的面向对象多数据库系统SCOPE/CIMS中，作者选择了对象数据库管理组ODMG(object database management group)提出的对象数据库标准ODMG-93的OQL(object query language)作为全局查询语言.为此，提出了一种实现OQL的形式化基础,包括适合建模OQL的一种对象演算和一种对象代数；对象演算的规范化规则和规范化步骤；对象演算与对象代数的等价映射规则及转换策略.     

在JavaScript中模拟“类”的方法探讨

随着JavaScript语言的应用越来越广泛,它的代码也变得越来越复杂,面向对象编程就成了必然的选择。然而JavaScript语言中没有"类"(class)的概念,这就给程序设计造成了不便。对用JavaScript语句模拟"类"的方法进行了研究,主要针对使用构造函数的方法和使用对象字面量(object literal)的方法,对二者的语法结构和实现效果进行了分析和比较,找到了最佳的方案。     

基于边缘轮廓特征的实时车型分类

采用面向对象技术设计可视化程序设计语言的编译系统,通过对复杂的可视化图片语法进行分析,将各语法现象以语法单元类的形式进行抽象分类,提出了编译器-编译器的设计策略,给出了从可视化图片设计语言到伪指令代码的解决方法.主要研究在面向对象的编辑环境中如何实现满足硬件设备控制器的稳定、高效的编译系统.通过将可视化程序语言分析器(VPLPG)和小型的类C编译(LCC)器配合使用最终实现可视化程序设计语言的编译系统.     

一种轻量级的Win32应用程序二进制接口兼容方案

在COM组件技术的基础上，对Win32平台下应用程序的二进制接口跨编译器兼容问题进行了研究。通过利用Win32平台下COM技术规约针对对象内存分布的一致约定，结合C++语言虚函数表的特性，提出一种专用于Win32平台的应用程序二进制接口跨编译器兼容问题解决方法。并由该方法衍生出一系列二进制接口兼容的类，形成一整套解决方案。与传统Win32平台上使用C语言接口或COM组件来达到二进制接口兼容的方式不同，新方案采用精简的类和虚函数表来规范对象内存分布，借助Win32平台下编译器对COM技术的广泛支持，实现了应用程序接口在不同编译器下二进制级别的统一。同时，方案保持了原C++语言的面向对象特性，还具有简单、轻量级的特点。     

以值传递对象在CORBA IDL编译器中的实现

值类型（valuetype）是通用对象请求代理体系结构（CORBA）规范中的一种新型的数据结构，它的提出使基于CORBA的应用支持以值传递对象（OBV）。随着CDRBA应用领域的扩展，许多应用需要CORBA提供以值传递对象，而传统的CORBA不提供以值传递对象能力。文中介绍了值类型概念，描述了以值传递对象的交互过程，该交互过程需要一个支持以值传递对象的编译器和ORB，其中的主要工作由编译器生产的C＋＋代码来实现，详细说明了在CORBA IDL编译器（接口定义语言编译器）中的实现方法和流程。在ORBUS IDL编译器和ORBUS ORB上，实现以值传递对象交互过程，测试结果表明了该交互过程的可行性。     

基于可视化程序设计语言的编译系统

采用面向对象技术设计可视化程序设计语言的编译系统，通过对复杂的可视化图片语法进行分析，将各语法现象以语法单元类的形式进行抽象分类，提出了编译器－编译器的设计策略，给出了从可视化图片设计语言到伪指令代码的解决方法。主要研究在面向对象的编辑环境中如何实现满足硬件设备控制器的稳定、高效的编译系统。通过将可视化程序语言分析器(VPLPG)和小型的类C编译(LCC)器配合使用最终实现可视化程序设计语言的编译系统。     

同步数据流语言可信编译器的构造

同步数据流语言近年来在航空、高铁、核电等安全关键领域得到广泛应用.然而,此类语言相关开发工具本身的安全性业已成为被高度关注的安全隐患之一.借助辅助定理证明器实现常规语言编译器的构造和验证已被证明是成功的,有望最大限度地解决误编译问题.基于这种方法,开展了从同步数据流语言(Lustre为原型)到串行命令式语言(C为原型)的可信编译器构造的关键技术研究.其挑战性在于两类语言之间的巨大差异,源语言具有时钟同步、数据流、并发及流数据对象等特征,而目标语言则具有顺序控制流特征.同类研究中,目前尚无针对核心翻译过程的公开成果.就单一时钟的情形实现了一个经过形式化验证的完整编译过程,相关技术将应用于安全关键领域编译系统的开发.综述了这一可信编译器的研究背景、意义、总体设计框架、核心技术、现状以及进行中或后续的工作.     

使用Java编译器API和类加载器编写Scrapbook程序

探讨了编写一个可以独立运行的Scrapbook程序的实现原理,演示了实现Scrapbook程序Java编译器API和自定义类加载器的关键技术。     

可信编译理论及其核心实现技术:研究综述

编译器是重要的系统软件之一,高级语言编写的软件都必须经过编译器的编译才能成为可执行程序。编译器的可信性对于整个计算机系统而言具有非常关键的意义,如果编译器不可信,则很难保证系统所运行软件的可信性。可信编译是指编译器在保证编译正确的同时提供相应的机制保证编译对象的可信性,对可信编译理论和技术的研究具有重要理论意义和实用前景。阐述了可信编译器的概念,介绍了编译过程正确性的形式化定义,对可信编译的主要研究进行了概括。在全面分析可信编译研究现状的基础上,从编译器自身可信性和确保编译对象可信性两个方面,对可信编译器设计和实现的相关理论和方法进行了分类和总结。最后,讨论了可信编译有待解决的问题和未来的研究方向。     

OOAnalysis的设计和实现

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

SCOP对象管理系统

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

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

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

一种新型计算机代数系统编译器的设计与实现

计算机代数系统（Computer Algebra System,CAS）是集大整数运算和符号运算于一体的计算平台,这方面的代表软件有Maple和Mathematica。然而,在计算机代数系统的设计中,编译器的设计与实现始终是一个关键和难点。GiNaC是Linux平台上开放源码的符号计算包,该文以它为基础提出了一种新型CAS编译器的设计方法,并在Linux平台上实现。新的CAS编译器兼容Maple编程语言, 对比测试结果显示它的效率并不逊色于Maple。     

Testing syntax and semantic coverage of Java language compilers

Software testing is a critical and important stage of the application software development life-cycle. Testing is a verification activity that affects the overall software quality. The verification of critical and dependable computer software such as real-time safety-critical software systems consumes about 50% of the project time. In this work, we consider testing compilers. Since a compiler is a highly usable software, an increased emphasis on reliability requires a careful testing before releasing the compiler. In compiler testing, the compiler implementation is verified to conform to the specified language syntax and semantic available in the standard language documentation. In this work, an algorithm is designed and a tool is developed to automate the generation of test cases to check the language syntax. In addition, we propose a heuristic approach to cover language semantics. Since Java is a relatively new programming language, we concentrate on testing the adherence of new Java compilers to the language syntax and semantics.     

ODMG'93的ODL、OQL语言到F-logic程序的转换

为了分析ＯＤＭＧ’９３数据对象模型的语义,本文给出了一套转换规则,将ＯＤＭＧ’９３的对象定义语言ＯＤＬ、对象查询语言ＯＱＬ转换到Ｆ－ｌｏｇｉｃ程序,并结合面向对象数据库管理系统Ｏ２,通过具体的实例陈述了该转换规则是完全的。     

IDL2WSDL编译器的设计与实现

为实现新的、增值的服务将现存的中间件技术如CORBA与新兴的Web服务结合起来是非常必要的。其中一个急待解决的关键技术就是如何自动高效地将CORBA对象的IDL描述转换为Web服务的WSDL描述。针对IDL语言到WSDL语言映射的实现问题，提出了一个IDL2WSDL编译器的设计方案，并在自主研制的Web服务运行环境中实现了该编译器。     

The systems programming language,Malus

This paper reports on the design and development of a high level language, Malus, for use in implementing a time-sharing system. Emphasized are the ways that the language and its compiler accommodate the specialized requirements of systems programming and programmers. Among these are the need to generate highly efficient object code, to allow inter-programmer communication by program self-documentation, and to define and organize system tables and data. In addition, the Malus compiler is highly modular; thus the language may be modified or augmented in response to user needs unforeseen during langauge design. Systems programs cannot be machine independent and Malus allows explicit control of emitted code when an application requires particular efficiency or use of privileged instructions. There is also a facility allowing nested redefinition of identifiers. Efficient storage management and data access is effected by the availability of based structures, a register storage class and built-in functions to facilitate their use. Malus is evaluated both in terms of some general criteria for systems implementation languages and by an appraisal of user reactions. While this assessment shows a few areas where the language might be improved, it is felt that Malus is a valuable and effective tool for systems implementation.