Galois lattice as a framework to specify building class hierarchies algorithms

In the context of object-oriented systems, algorithms for building class hierarchies are currently receiving much attention. We present here a characterization of several global algorithms. A global algorithm is one which starts with only the set of classes (provided with all their properties) and directly builds the hierarchy. The algorithms scrutinized were developped each in a different framework. In this survey, they are explained in a single framework, which takes advantage of a substructure of the Galois lattice associated with the binary relation mapping the classes to their properties. Their characterization allows to figure the results of the algorithms without running them in simple cases. This study once again highlights the Galois lattice as a main and intuitive model for class hierarchies.

[1]  Samuel C. Lee,et al.  Generation and Reorganization of Subtype Hierarchies , 1996, J. Object Oriented Program..

[2]  Marianne Huchard,et al.  Computing interfaces in Java , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[3]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[4]  Karl J. Lieberherr,et al.  From objects to classes: algorithms for optimal object-oriented design , 1991, Softw. Eng. J..

[5]  Bjarne Stroustrup,et al.  The C++ programming language (3. ed.) , 1997 .

[6]  Rokia Missaoui,et al.  Design of Class Hierarchies Based on Concept (Galois) Lattices , 1998, Theory Pract. Object Syst..

[7]  Hafedh Mili,et al.  Building and maintaining analysis-level class hierarchies using Galois Lattices , 1993, OOPSLA '93.

[8]  Ivan Moore,et al.  A Simple and Efficient Algorithm for Inferring Inheritance Hierarchies , 1996 .

[9]  Guy W. Mineau,et al.  Structuring knowledge bases using automatic learning , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.

[10]  Marianne Huchard,et al.  An Environment for Building and Maintaining Class Hierarchies , 1999, ECOOP Workshops.

[11]  William R. Cook.  Interfaces and specifications for the Smalltalk-80 collection classes , 1992, OOPSLA 1992.

[12]  Rokia Missaoui,et al.  Incremental structuring of knowledge bases , 1998 .

[13]  Marianne Huchard,et al.  On automatic class insertion with overloading , 1996, OOPSLA '96.