Checking Class Schema Usefulness
Jean-Claude Royer, Computer Science Departement, École
des Mines de Nantes, France
|
 |
REFEREED
ARTICLE
PDF Version |
Abstract
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
|
 |
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 Jean-Claude.Royer@emn.fr.
|
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. http://www.jot.fm/issues/issue_2004_01/article4
|
