The main topic of this paper is multiple inheritance and conflict resolution methods in objectorientedprogramming. Our aim is to develop sound mechanisms easily understandable to any user. For this purpose, coherent...
详细信息
ISBN:
(纸本)0897915399
The main topic of this paper is multiple inheritance and conflict resolution methods in objectorientedprogramming. Our aim is to develop sound mechanisms easily understandable to any user. For this purpose, coherent behaviors of conflict resolution methods for multiple inheritance (such as supporting incrementality-monotonicity and stability under link subdivision) are introduced. We present interesting examples in which multiple inheritance known linearization algorithms (such as in CLOS and LOOPS) behave badly. Then we carefully study the conditions (on the inheritance graph) which assure good linearizations. We end with some suggestions for an incremental inheritance algorithm.
In this paper, we first characterize distributed real-time systems by the following two properties that have to be supported: best effort and least suffering. Then, we propose a distributed real-time object model DRO ...
详细信息
ISBN:
(纸本)0897915399
In this paper, we first characterize distributed real-time systems by the following two properties that have to be supported: best effort and least suffering. Then, we propose a distributed real-time object model DRO which complies these properties. Based on the DRO model, we design an objectorientedprogramming language DROL: an extension of C++ with the capability of describing distributed real-time systems. The most eminent feature of DROL is that users can describe on meta level the semantics of message communications as a communication protocol with sending and receiving primitives. With this feature, we can construct a flexible distributed real-time system satisfying specifications which include timing constraints. We implement a run-time system of DROL on the ARTS kernel, and evaluate the efficiency of the prototype implementation as well as confirm the high expressive power of the language.
In the concurrent object-orientedprogramming methodology, a system is described by concurrent objects which communicate with each others by various communication facilities, i.e., synchronous/asynchronous(future) mes...
详细信息
ISBN:
(纸本)0897915399
In the concurrent object-orientedprogramming methodology, a system is described by concurrent objects which communicate with each others by various communication facilities, i.e., synchronous/asynchronous(future) message passing. Those facilities help up to implement application programs based on the client/server model. It is, however, difficult to describe application programs such that concurrent objects may simultaneously initiate communication with each other. Such objects are called autonomous objects. In this paper, we propose the notion of the visible and intensive sets, and a communication mechanism using those sets which enables us to handle communication among autonomous objects safely and easily.
暂无评论