As contribution to the systematic classification of software-modeling languages, a class of languages designated embedded behavior pattern (EBP) languages is described, and its members are compared and contrasted. The...
详细信息
ISBN:
(纸本)0818608420
As contribution to the systematic classification of software-modeling languages, a class of languages designated embedded behavior pattern (EBP) languages is described, and its members are compared and contrasted. The EBP languages include the Ward/Mellor and Boeing/Hatley structured analysis extensions, the Jackson system development notation, and Harel's Statechart-activity chart notation. These notations are relevant to the building of specification models because they display clear one-to-one correspondences between elements of the model and elements of the application domain. These notations are also amenable to a style of model partitioning that is related to object-oriented development.
The inheritance mechanism of object-orientedlanguages is used in the new domain of fault-tolerant distributed systems. Inheritance in Avalon/C plus plus is used to transmit properties, such as serializability and cra...
详细信息
ISBN:
(纸本)0818608420
The inheritance mechanism of object-orientedlanguages is used in the new domain of fault-tolerant distributed systems. Inheritance in Avalon/C plus plus is used to transmit properties, such as serializability and crash resilence, that are of specific interest in distributed applications. Three base classes are presented: resilient, atomic, and dynamic. They are arranged in a linear hierarchy. Examples of derived classes with objects that guarantee desirable fault-tolerance properties are given.
Source to source translation tools provide a way of integrating the strengths of production programming environments like C/UNIX™ with rapid prototyping environments like Smalltalk-80™ into a comprehensive hybrid envi...
详细信息
This paper describes an approach to object-oriented interface design that goes beyond mere object decomposition. In our user interface management system we use logic and filters to declaratively specify and control a ...
详细信息
This paper presents a new approach to an object-oriented language. The first parts are devoted to the set model of LORE, and to the knowledge representation in LORE. The last one presents some original aspects of LORE.
This paper presents a new approach to an object-oriented language. The first parts are devoted to the set model of LORE, and to the knowledge representation in LORE. The last one presents some original aspects of LORE.
We present LINCKS (Linkoping's Intelligent Knowledge Communication System) which is under development at Linkoping University, and the theoretical model on which it is based. LINCKS is an objectoriented system in...
详细信息
We present LINCKS (Linkoping's Intelligent Knowledge Communication System) which is under development at Linkoping University, and the theoretical model on which it is based. LINCKS is an objectoriented system in the sense that objects in the real world are represented directly within the system, allowing for a clear and simple mapping from the real world to a computer model of some aspect of the real world. The objectoriented model used differs significantly from that used in Smalltalk, Simula, and many other objectorientedlanguages. The most fundamental differences are in the view of typing and the view of actions. A history mechanism is also described which allows recreation of any object as it existed at some previous point in time. LINCKS is compared to Smalltalk with respect to some important differences.
This paper describes VIVID, an object-oriented, interactive and declarative language for developing knowledge representation environments. The main issue addressed is that of representing and maintaining a set of rela...
详细信息
This paper describes VIVID, an object-oriented, interactive and declarative language for developing knowledge representation environments. The main issue addressed is that of representing and maintaining a set of relationships among the values of a set of variables which together form a constraint system or a constraint network.
The benefits of data abstraction are ensured using encapsulation, by preventing an object from being manipulated except via its defined external operations. In many popular languages, however, the introduction of inhe...
详细信息
The benefits of data abstraction are ensured using encapsulation, by preventing an object from being manipulated except via its defined external operations. In many popular languages, however, the introduction of inheritance severely compromises encapsulation by exposing implementation details to inheriting clients. Moreover, in most object-orientedlanguages, the use of inheritance in the construction of software components is exposed to clients, so that changes to the inheritance hierarchy cannot be made safely. In this paper, we examine the interaction between inheritance and encapsulation and explore various ways in which implementation details can be exposed via inheritance. We analyze two common multiple inheritance models and explore a third model that fully supports encapsulation. We develop requirements for full encapsulation, which we are exploring in the Common objects language.
Certain situations arise in programming that lead to multiply polymorphic expressions, that is, expressions in which several terms may each be of variable type. In such situations, conventional object-oriented program...
ISBN:
(纸本)0897912047
Certain situations arise in programming that lead to multiply polymorphic expressions, that is, expressions in which several terms may each be of variable type. In such situations, conventional object-orientedprogramming practice breaks down, leading to code which is not properly modular. This paper describes a simple approach to such problems which preserves all the benefits of good object-orientedprogramming style in the face of any degree of polymorphism. An example is given in Smalltalk-80 syntax, but the technique is relevant to all object-orientedlanguages.
This paper compares object-oriented methodology with the traditional methodology of programming with data abstraction. We present an object-oriented design of a text and graphics editor and compare its modular structu...
详细信息
This paper compares object-oriented methodology with the traditional methodology of programming with data abstraction. We present an object-oriented design of a text and graphics editor and compare its modular structure with that which would result from traditional methodology. We demonstrate that object types and multiple inheritance provide an important form of expressive power that is not present in traditional languages and contributes to making object-oriented program structures more modifiable and flexible. To provide a basis for this evaluation we present the salient features of object-oriented methodology and the Lisp Flavor system.
暂无评论