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 object oriented programming 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.
The object-oriented philosophy creates a powerful synergy throughout the development life cycle by combining abstraction, encapsulation, and modularity. However, existing object-orientedprogramming languages arc low-...
详细信息
ISBN:
(纸本)0769512518
The object-oriented philosophy creates a powerful synergy throughout the development life cycle by combining abstraction, encapsulation, and modularity. However, existing object-orientedprogramming languages arc low-level procedural ones that are hard to program and debug. Logic programming allows computing problems to be expressed in a high-level declarative way, without giving instructions for how the problem is to be solved. However, logic programming lacks powerful Methods to model applications. In the past decades, the integration of object-orientedprogramming and logic programming has attracted a lot of interests with a number of languages proposed. But these languages fail to address some key object-oriented features properly. In this paper, we introduce a novel object-oriented logic programming language that supports nearly all key object-oriented features in a logic programming framework. We also describe its operational semantics.
This paper analyzes and thinks the advantages and disadvantages of traditional teaching methods of Java course. The thinking and practical application of the hybrid teaching mode based on the superstar platform are co...
详细信息
This paper presents the design and implementation Joule(R), a reversible object-oriented language in the style of Janus, that supports common object-orientedprogramming patterns such as factories, iterators, and the ...
详细信息
ISBN:
(纸本)9783319994987;9783319994970
This paper presents the design and implementation Joule(R), a reversible object-oriented language in the style of Janus, that supports common object-orientedprogramming patterns such as factories, iterators, and the definition of abstract datatypes. Memory management is performed using a simple notion of regions, enabling the full power of object-orientedprogramming to be used, while remaining completely garbage-free. The language is implemented by translation to Janus.
Parallel computing in network of workstations is receiving lot of attentions from the research community. However, still it is faced with many practical difficulties. One of the major problems is the lack of high leve...
详细信息
ISBN:
(纸本)3540401970
Parallel computing in network of workstations is receiving lot of attentions from the research community. However, still it is faced with many practical difficulties. One of the major problems is the lack of high level programming model. Many programming languages provide an efficient system, but employ a relatively low level programming model and rather too complex to be used in network environment. The objectoriented system paradigm in software engineering has wide acceptance and provides support for the construction of modular and reusable program components and it is attractive for the design of large and complex serial programs. To address the previous said problem, in this paper we present a flexible, easy to use, and an effective objectoriented parallel programming model by amalgamating the object orientation paradigm and parallelism. It is developed on top of PVM. This model exhibits a very convenient and natural programming style and provides functionality similar to C++.
To ensure the reliability and quality, software systems should be safe. The software safety requires the data consistency in the software. In the multithreaded object-orientedprogramming, the coherency problem, also ...
详细信息
To ensure the reliability and quality, software systems should be safe. The software safety requires the data consistency in the software. In the multithreaded object-orientedprogramming, the coherency problem, also called a race condition, may destroy the data consistency. In order to overcome the coherency problem, Java sets up the "synchronized" mechanism. However, improper use of the "synchronized" mechanism in Java will result in system deadlock, which also violates the requirement of software safety. We find that it is necessary to supplement a new function to the "synchronized" mechanism of Java. Another contribution in the paper is to propose a new approach for detecting system deadlock in Java multithreaded programs with "synchronized" mechanism.
SCOOP is a concurrent object-orientedprogramming model based on contracts. The model introduces processors as a new concept and it generalizes existing object-oriented concepts for the concurrent context. Simplicity ...
详细信息
This article outlines a model for the teaching of a project-based introductory curriculum for the C++ programming language and object-orientedprogramming (OOP) skills and concepts. The educational methodology of the ...
详细信息
The SCOOP model (Simple concurrent object-orientedprogramming) offers a comprehensive approach to building high-quality concurrent and distributed systems. The model takes advantage of the inherent concurrency implic...
详细信息
The SCOOP model (Simple concurrent object-orientedprogramming) offers a comprehensive approach to building high-quality concurrent and distributed systems. The model takes advantage of the inherent concurrency implicit in object-orientedprogramming to provide programmers with a simple extension enabling them to produce concurrent applications with little more effort than sequential ones. In the paper, the authors discuss the basic concepts of the model, such as processors and separate objects. They also present SCOOPLI, a library implementation of SCOOP for the .NET platform. They show how SCOOP concepts are mapped to .NET constructs, and discuss distributed programming with SCOOPLI, with a focus on .NET Remoting capabilities. Several programming examples illustrate the discussion.
object-orientedprogramming allows programs to be built from components, and makes it possible, with care, to produce libraries of components that can be used in many programs. In this talk, I will review some of the ...
详细信息
暂无评论