In this paper a run-time model is proposed. The run-time model enforces integrity constraints for attributes that are derived from composition and inheritance hierarchies. The run-time model is designed for enforcing the logical integrity constraints in object-oriented databases during the run-time. A new technique called detection method is designed to check the object meta data to detect and ...

We apply the predicative programming formal method of [2] in specifying and designing a solution to the invoicing case study. The method is used in an object-oriented style: first-class citizens of the descriptions are classes and objects. We discuss some of the advantages to using the predicative method in its object-oriented style, as well as its limitations in this problem domain.

This paper presents a new method to identify classes during object-oriented software development. The approach uses process mapping and clustering technique for achieving unambiguous transition from requirements to the definition of object-oriented classes. We draw analogy between forming cells in cellular manufacturing and class formation in object-oriented software development and accordingly...