This paper proposes an extension of the notion of method as it is currently used in most object-oriented languages. We define polymethods as methods that we’can attach directly to types, as opposed to classes and tha...
详细信息
The inheritance anomaly [23] refers to the serious difficulty in combining inheritance and concurrency in a simple and satisfactory way within a concurrent object-oriented language. The problem is closely connected wi...
详细信息
In this paper, we present a temporal, object-oriented algebra which serves as a formal basis for the query language of a temporal, object-oriented data model. Our algebra is a superset of the relational algebra in tha...
详细信息
The challenge facing the International Organization for Standardization (ISO) in the early eighties, in developing Open Systems Interconnection (OSI) protocol standards for network management, was to ensure that such ...
详细信息
ObjChart is a new visual formalism to specify objects and their reactive behavior. A system is specified as a collection of asynchronously communicating objects arranged in a part-of hierarchy, where the reactive beha...
详细信息
We have developed language support for the expression of multi-object coordination. In our language, coordination patterns can be specified abstractly, independent of the protocols needed to implement them. Coordinati...
详细信息
The proceedings contain 23 papers. The special focus in this conference is on object-orientedprogramming. The topics include: On unifying relational and object-oriented database systems;import is not inheritance why ...
ISBN:
(纸本)9783540556688
The proceedings contain 23 papers. The special focus in this conference is on object-orientedprogramming. The topics include: On unifying relational and object-oriented database systems;import is not inheritance why we need both: modules and classes;object-oriented multi-methods in cecil;aggregation in a behavior orientedobject model;reasoning and refinement in object-oriented specification languages;combining object-oriented and logic paradigms: a modal logic programming approach;an incremental class reorganization approach;system design by composing structures of interacting objects;unifying the design and implementation of user interfaces through the object paradigm;nesting actions through asynchronous message passing;inheritance of synchronization constraints in concurrent object-orientedprogramming languages;an eiffel environment to program distributed memory parallel computers;using object-orientedprogramming techniques for implementing ISDN supplementary services;an object model for engineering design;an object-oriented class library for scalable parallel heuristic search;integrating constraints with an object-oriented language;specifying reusable components using contracts;a type system for object-orientedprogramming based on abstract and concrete classes;making type inference practical;an object-oriented language-database integration model: the composition-filters approach;supporting physical independence in an object database server and developing a class hierarchy for object-oriented transaction processing.
This paper describes the use of the object-orientedprogramming language BETA for modelling and implementing a simple prototype of an ISDN D-channel layer 3 (I.451) entity. In particular, the implementation of ISDN su...
详细信息
Software components developed with an object-oriented language require frequent reorganizations before they become stable, reusable classes. We propose a new algoritlun that analyses the redefinitions carried out on i...
详细信息
暂无评论