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...

Object Oriented Data Modeling is gaining popularity because of its elegance in representing real world situations. On the other hand, Integrity constraints traditionally form an essential part of schema definition. In this context, Modeling of constraints in Object Oriented Model has been the focus of attention of many researchers in recent times. Integrating data from many heterogeneous source...

Petri net is used widely to analyze and model various systems formally. Recently, many Petri nets mania devote their e€orts to enhancing and extending the expressive power of Petri nets. One such e€ort is to extend Petri nets with object-oriented concepts. An object-oriented paradigm provides excellent concepts to model real-world problems. Object-oriented concepts allow us to build software sy...

Several methods for object-oriented system development have been published by the scientiic community. Recently, industrial software developers are also attracted by the object-oriented paradigm and consider switching from structured analysis and structured design to an object-oriented approach to system development. A question commonly asked by industry is, how both approaches compare on indus...

For the right application, the use of programming paradigms such as functional or logic programming can enormously increase productivity in software development. But these powerful paradigms are tied to exotic programming languages, while the management of software development dictates standardization on a single language. This dilemma can be resolved by using object-oriented programming in a n...

For the right application, the use of programming paradigms such as functional or logic programming can enormously increase productivity in software development. But powerful paradigms may come with exotic programming languages, while the management of software development dictates language standardization. This dilemma can be resolved by using component technology at the system design level. H...