Previous article

Next article

Checking Class Schema Usefulness

Jean-Claude Royer, Computer Science Departement, École des Mines de Nantes, France


PDF Icon
PDF Version


In this paper we introduce a structural and object-oriented model. We present applications of this model to the checking of some ill-formed classes. We focus on static class diagrams mixing inheritance and composition relations. We consider an approach based on the notion of class usefulness, i.e. finitely generated and with at least one defined value. We show that this allows us to eliminate some wrong class designs or wrong schema designs. We present a general process to check this and a static algorithm which applies to the UML language.

Note: Due to the typographical sophistication of this article, no HTML version is available. Please use the PDF version.



About the author

space Jean-Claude Royer is currently a Professor in Ecole des Mines de Nantes. He is member of the EMN/INRIA OBASCO project and member of the LINA laboratory. His researches focus on object-oriented programming, component and formal specifications of mixed systems. He can be reached at

Cite this article as follows: Jean-Claude Royer: “Checking Class Schema Usefulness", in Journal of Object Technology, vol. 3, no. 1, January-February 2004, pp. 157-176.

Previous article

Next article