Object Technologies for Advanced Software First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings

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.

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.