Object Technologies for Advanced Software

This volume constitutes the proceedings of the First International Symposiumorganized by the Japan Society for Software Science and Technology. The symposium was held in Kanazawa, Japan, November 4-6, 1993 and attracted many researchers from academia and industry as well as ambitioned practitioners. Object technologies, in particular object-oriented programming, object-oriented databases, and software object bases, currently attract much attention and hold a great promise of future research and development in diverse areas of advanced software. The volume contains besides 6 invited presentations by renown researchers and 25 contributed papers carefully selected by an internationalprogram committee from a total of 92 submissions.

Inhalt
Uniting functional and object-oriented programming.- Traces (A cut at the make isn't generic problem).- Gluons: A support for software component cooperation.- TAO: An object orientation kernel.- Change management and consistency maintenance in software development environments using object oriented attribute grammars.- Design of an integrated and extensible C++ programming environment.- Metalevel decomposition in AL-1/D.- Definition of a reflective kernel for a prototype-based language.- Kernel structuring for object-oriented operating systems: The Apertos approach.- Object database systems: Functional architecture.- Maintaining behavioral consistency during schema evolution.- An object-centered approach for manipulating hierarchically complex objects.- Towards the unification of views and versions for object databases.- Abstract view objects for multiple OODB integration.- An object-oriented query model supporting views.- Refactoring and aggregation.- Transverse activities: Abstractions in object-oriented programming.- Dynamic extensibility in a statically-compiled object-oriented language.- Managing change in persistent object systems.- An object-oriented pattern matching language.- CLOG: A class-based logic language for object-oriented databases.- Name management and object technology for advanced software.- Constraints in object-oriented analysis.- Integration of the tool (AWB) supporting the O* method in the PCTE-based software engineering environment.- Minimizing dependency on class structures with adaptive programs.- First class messages as first class continuations.- A typing system for a calculus of objects.- A type mechanism based on restricted CCS for distributed active objects.- Adding implicit invocation to languages: Three approaches.- Requirementsand early experiences in the implementation of the SPADE repository using object-oriented technology.- Object-oriented formal specification development using VDM.