The goal of the Clouds project at the Georgia Institute Technology is the implementation of a fault-tolerant distributed operating system based on the notions of objects, actions, and processes, to provide an environm...
详细信息
ISBN:
(纸本)0818607416
The goal of the Clouds project at the Georgia Institute Technology is the implementation of a fault-tolerant distributed operating system based on the notions of objects, actions, and processes, to provide an environment for the construction of reliable applications. The Aeolus programming language developed from the need for an implementation language for those portions of the Clouds system above the kernel level. The features provided by the language for the support of readability and maintainability in systemsprogramming are described briefly, as is the rationale underlying their design. Considerably more detail is devoted to features provided for support of object and action programming. Finally, an example making use of advanced features for action programming is presented, and the current status of the language and its use in the Clouds project is described.
A rule-based object/task modelling approach is proposed which is characterized by specifying object behaviors and domain Tules in terms of object-oriented logic programming. and specifying tasks and meta-rules in term...
详细信息
The following topics are dealt with: general purpose simulation, software tutorials, special simulation software, modeling, manufacturing, discrete events, statistical design, ethics in simulation, computer programmin...
详细信息
ISBN:
(纸本)0911801111
The following topics are dealt with: general purpose simulation, software tutorials, special simulation software, modeling, manufacturing, discrete events, statistical design, ethics in simulation, computer programminglanguages, knowledge representation, computer graphics, GPSS language, variate generation, output analysis, variance reduction, optimization, Bayesian methods, programming tools, artificial intelligence, object-oriented paradigm, materials handling, storage systems, production scheduling, computer networks, risk analysis, and military applications. 130 papers were presented, of which 128 are published in full in the present proceedings, and 2 as abstracts only.
object-orientedprogramming is a practical and useful programming methodology that encourages modular design and software reuse. Most object-orientedprogramminglanguages support data abstraction by preventing an obj...
ISBN:
(纸本)9780897912044
object-orientedprogramming is a practical and useful programming methodology that encourages modular design and software reuse. Most object-orientedprogramminglanguages support data abstraction by preventing an object from being manipulated except via its defined external operations. In most languages, however, the introduction of inheritance severely compromises the benefits of this encapsulation. Furthermore, the use of inheritance itself is globally visible in most languages, so that changes to the inheritance hierarchy cannot be made safely. This paper examines the relationship between inheritance and encapsulation and develops requirements for full support of encapsulation with inheritance.
The objectoriented design of simulations is based on the concept of abstract data types. An early mechanism for defining abstract types was incorporated in the Simula language. Constructs were also included in Ada th...
详细信息
ISBN:
(纸本)0911801111
The objectoriented design of simulations is based on the concept of abstract data types. An early mechanism for defining abstract types was incorporated in the Simula language. Constructs were also included in Ada that support this view. C plus plus is a general-purpose programming language in which facilities for defining abstract types have been added to the C language. An abstract type can be defined as a data structure and a set of operations on instances of that structure. The simplest example is the integer. An integer may be represented by a data structure which consists of a sequence of zeros and ones which are interpreted as in ones complement arithmetic. The operations on instances of type integer, i. e. , integers, are the integer : equals , plus , minus , *, and/. Thus, the integer abstract type has an underlying data structure which is used to represent instances of type integer, and it has a set of operations defined for instances of type integer.
Mach, a multiprocessor operating system kernel providing capability-based interprocess communication, and Matchmaker, a language for specifying and automating the generation of multi-lingual interprocess communication...
ISBN:
(纸本)9780897912044
Mach, a multiprocessor operating system kernel providing capability-based interprocess communication, and Matchmaker, a language for specifying and automating the generation of multi-lingual interprocess communication interfaces, are presented. Their usage together providing a heterogeneous, distributed, object-orientedprogramming environment is described. Performance and usage statistics are presented. Comparisons are made between the Mach/Matchmaker environment and other related systems. Possible future directions are examined.
An object-oriented computation model is presented which is designed for modelling and describing a wide variety of concurrent systems. In this model, three types of message passing are incorporated. An overview of a p...
ISBN:
(纸本)9780897912044
An object-oriented computation model is presented which is designed for modelling and describing a wide variety of concurrent systems. In this model, three types of message passing are incorporated. An overview of a programming language called ABCL/1, whose semantics faithfully reflects this computation model, is also presented. Using ABCL/1, a simple scheme of distributed problem solving is illustrated. Furthermore, we discuss the reply destination mechanism and its applications. A distributed “same fringe” algorithm is presented as an illustration of both the reply destination mechanism and the future type message passing which is one of the three message passing types in our computation model.
Orient84/K is an objectoriented concurrent programming language for describing knowledge systems. In Orient84/K, an object is composed of the behavior part, the knowledge-base part, and the monitor part, in order to ...
ISBN:
(纸本)9780897912044
Orient84/K is an objectoriented concurrent programming language for describing knowledge systems. In Orient84/K, an object is composed of the behavior part, the knowledge-base part, and the monitor part, in order to provide object-oriented, logic-based, demon-oriented, and concurrent-programming paradigms in the object framework. Every object is capable of concurrent execution in Orient84/*** this paper, after describing an overview of Orient84/K, we will describe implementation issues in a concurrent objectoriented language. Then, a new method for an efficient implementation of concurrent objects is proposed and formally described. A new virtual machine for Orient84/K is designed using this method, and some preliminary results of evaluation are presented.
This article presents a case study of the development of the Intermedia system, a large, object-oriented hypermedia system and associated applications development framework providing sophisticated document linkages. F...
ISBN:
(纸本)9780897912044
This article presents a case study of the development of the Intermedia system, a large, object-oriented hypermedia system and associated applications development framework providing sophisticated document linkages. First it presents the educational and technological objectives underlying the project. Subsequent sections capture the process of developing the Intermedia product and detail its architecture and construction, concentrating on the areas in which object-oriented technology has had a significant role. Finally, the successes and failures of the development approach are examined, and several areas of standardization and research that would enhance the process are proposed.
暂无评论