并发面向对象语言的继承异常问题研究

1·引言随着面向对象技术的发展,面向对象程序设计语言在软件设计、模块化、可扩充性、可复用性等方面给软件开发人员带来了很大的方便[lj。继承是顺序面向对象语言的一个基本特点,继承机制是面向对象语言的重要机制之一,是实现软件复用和可扩充的有效语言机制。Bertrand Meyer曾指出纯00语言的七个特性川:①模块化结构;②数据抽象(对象是抽象数据类型的实现);③自动     

一种并发面向对象同步模型研究

同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构.它不但可以支持一般代码的复用,而且可以全方位地支持对同步代码的复用.     

面向对象开发中的继承机制与可重用性

本文从面向对象开发的基本意义出发，分析了承机制与可重用性的内在联系，给出了继续的调整策略和重用性设计准则。     

面向对象语言中的限制继承

软件重用是提高软件生产率和保证软件产品质量的重要方法之一,程序设计语言中的继承机制是软件重用的有效途径。在目前引起人们普遍观注的面向对象语言中,讨论较多的是语言所提供的继承设施。本文讨论面向对象语言中的继承种类,重点是限制继承——这是已有继承种类中较薄弱的环节。     

并发面向对象中的继承反常现象

如果不考虑继承性,并发性与对象技术的结合是很自然的.继承反常(又称继承异常)现象是继承性和并发性不相容的主要原因之一.现阶段人们对继承反常现象的认识有许多模糊之处,出发点不尽相同,形式化的工作也很少.对不同的subtyping关系考虑其特有的渐增式继承方法有利于把握继承反常现象的实质,也丰富了"在并发面向对象语言中应将inheritance层次和subtyping层次区别对待"这一认识的内涵.在阐述基本观点之后,采用范畴论的术语对相关的概念和定义做了形式化工作.一些观点和结论适用于区分和解释相关工作的出发点和贡献,并对并发面向对象技术中继承性的建模问题有所启示.     

面向对象软件开发的单元测试

本文通过与传统结构化方法中单元测试的比较，对面向对象方法中的单元测试一类测试进行分析。     

继承异常的分析与解决

继承异常是用来描述在并发面向对象语言中继承与并发的冲突 .为分析并解决这种冲突 ,人们做了大量的工作 ,但我们认为以前的分类是不完全的 .本文对继承异常做了系统的分析 ,并设计了一个新的同步模型 ,为每个方法增加了同步策略与同步状态控制 ,加大了并发对象的代码可重用性 .本文用实例说明了该模型 ,在很大程度上避免或减少了“继承异常”的发生 .     

一种面向对象的协议开发方法

本文给出了面向对象协议设计的五个要素和应考虑的几个问题，提出了元协议概念和一个面向对象的协议开发过程模型，把协议开发活动划分成两上产域和应用开发，使协议部件生产工厂化成为可能。     

面向对象的计算模型：从顺序到并发

面向对象的计算模型是封装，数据抽象和信息隐藏等重要思想的集中体现。对象模型提供了描述复杂问题的有效方法，也便于自然地开发计算中的并发性。本文首先讨论顺序对象模型，然后讨论如何建立并发对象模型，最后介绍基于对象模型的信息共享机制。     

面向对象的计算模型：从顺序到并发

面向对象的计算模型是封装，数据抽象和信息隐藏等重要思想的集中体现。对象模型提供了描述复杂问题的有效方法，也便于自然地开发计算中的并发性。本文首先讨论顺序对象模型，然后讨论如何建立并发对象模型，最后介绍基于对象模型的信息共享机制。     

面向对象数据库类型继承关系的代数模型

本文将对象类型看做一种行为，而把子类型看做与这种行为相兼容的一种特化。基于这种想法，本文通过扩展有序代数提出一种类型与子类型之间继承关系的代数模型，根据运算是否完全兼容将子类型划分为完全子类型与不完全子类型，并且解决了由于类型继承导致运算重叠而引直起二义性问题。     

一种面向对象建模语言UML

本文介绍当今国外最流行而在国内尚未引起足够重视的一种最新的面向对象建模语言ＵＭＬ，指出了ＵＭＬ的主要特点，旨在引进国外先进技术，推动国内软件产业的发展。     

MultiobjectC─一个面向对象的并发程序设计语言的设计

ＭｕｌｔｉｏｂｊｅｃｔＣ语言是我们设计的一个面向对象的并发程序设计语言，它以Ｃ语言为基语言，引入了类和对象等机制以及并发对象间的通信设施，支持面向对象的并发程序设计。本文讨论了我们在设计过程中的考虑，并与ＡＴ＆ＴＢｅｌｌ实验室的ＣｏｎｃｕｒｒｅｎｔＣ＋＋语言作了一些比较。     

Using Types and Inheritance in Object-Oriented Programming

To be a good object-oriented programmer, you should use types and inheritance wisely. ThiS tutorial will help you do so.     

事件触发并发数据流模型

DHDF(动态纯数据流)是许多图形化编程平台的核心.由于它的自然属性(数据驱动)与操作系统事件驱动模型不能很好地结合,导致了两个明显的不足:运行效率低,CPU占用率高;对外部事件响应速度慢,系统实时性差.提出了一种ECDF(事件触发并发数据流)模型,并给出了该模型的文法描述以及调度算法.ECDF模型通过引入多优先级线程以及事件触发机制,在很大程度上提高了系统的实时性与运行效率.以测试系统为背景,对有关应用实例进行测试与分析,结果表明,与DHDF模型相比,ECDF模型使系统的性能在不同条件下都得到了相应的提高.该模型特别适用于处理突发性高速数据流,也适用于Reactive系统设计.