Foundational models of object-oriented constructs typically model objects as records with a structural type. However, many object-oriented languages are class-based; statically-typed formal models of these languages tend to sacrifice the foundational nature of the record-based models, and in addition cannot express dynamic class loading or creation. In this paper, we explore how to model static...

Foundational models of object-oriented constructs typically model objects as records with a structural type. However, many object-oriented languages are class-based; statically-typed formal models of these languages tend to sacrifice the foundational nature of the record-based models, and in addition cannot express dynamic class loading or creation. In this paper, we explore how to model static...

An object-oriented database model can support features such as abstract data types, methods, encapsulation, subtyping (or inheritance), complex structures, and object identity. The processing of queries in such a model also entails support for these features. Query optimization will require new techniques for supporting the object-oriented features. Although many of the problems that must be so...

We give an axiomatic deenition of the basic structure, called a class dictionary graph, used by object-oriented designers and programmers during the software development process. The contributions of this paper are twofold: An axiomatic foundation for object-oriented data modeling and eecient algorithms for checking whether a given data model satisses the axioms. The presented data model is the...

In this paper, we present an empirical analysis of the object-oriented database concurrency control mechanism named OC as specified in Olsen (1995). OC is a lock-based mechanism that is designed specifically to take advantage of the object-oriented database model as specified in Kim (1990). The OC strategy is two-phased and uses eight different kinds of locks. The eight types of locks are Inten...

UML, and other object-oriented approaches to system specification and design, are increasingly popular in industry. Many attempts have been made to formalise either the notations, the system models produced using these notations, or both. However, there have been no attempts to compare the expressiveness of the formal approaches. This paper compares Z and Object-Z approaches to object-oriented ...

The PM project is introduced. Its goal is the design of a distributed object-oriented operating system. One of the research activities is the design of an object model for distributed object-oriented programming. This position papers presents the PM Object Model approach to distribution, concurrency control and object interaction. The system consists of an application system, a distribution sys...

In this paper we present a new approach for embedding integrity constraints into object-oriented database systems (ODBMS), which can not be speciied implicitly by the structure or explicitly by key words of the system. For the design of an object-oriented schemas a variety of existing techniques can be used, which are mainly based on conceptual design using a semantic database model. The transf...