Galois Lattice as a Framework to Specify Building Class Hierarchies Algorithms

M. Huchard; H. Dicky; H. Leblanc

RAIRO - Theoretical Informatics and Applications (2010)

  • Volume: 34, Issue: 6, page 521-548
  • ISSN: 0988-3754

Abstract

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

How to cite

top

Huchard, M., Dicky, H., and Leblanc, H.. "Galois Lattice as a Framework to Specify Building Class Hierarchies Algorithms." RAIRO - Theoretical Informatics and Applications 34.6 (2010): 521-548. <http://eudml.org/doc/222045>.

@article{Huchard2010,
abstract = { 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. },
author = {Huchard, M., Dicky, H., Leblanc, H.},
journal = {RAIRO - Theoretical Informatics and Applications},
keywords = {Object-oriented systems; class hierarchy; Galois lattice; class hierarchy construction algorithms.; object-oriented systems; algorithms for building class hierarchies; global algorithms},
language = {eng},
month = {3},
number = {6},
pages = {521-548},
publisher = {EDP Sciences},
title = {Galois Lattice as a Framework to Specify Building Class Hierarchies Algorithms},
url = {http://eudml.org/doc/222045},
volume = {34},
year = {2010},
}

TY - JOUR
AU - Huchard, M.
AU - Dicky, H.
AU - Leblanc, H.
TI - Galois Lattice as a Framework to Specify Building Class Hierarchies Algorithms
JO - RAIRO - Theoretical Informatics and Applications
DA - 2010/3//
PB - EDP Sciences
VL - 34
IS - 6
SP - 521
EP - 548
AB - 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.
LA - eng
KW - Object-oriented systems; class hierarchy; Galois lattice; class hierarchy construction algorithms.; object-oriented systems; algorithms for building class hierarchies; global algorithms
UR - http://eudml.org/doc/222045
ER -

References

top
  1. M. Barbut and B. Monjardet, Ordre et classification : Algèbre et combinatoire. Hachette (1970).  
  2. J.-B. Chen and S.C. Lee, Generation and reorganization of subtype hierarchies. J. Object Oriented Programming 8 (1996).  
  3. N. Chevalier, M. Dao, C. Dony, M. Huchard, H. Leblanc and T. Libourel, An environment for building and maintaining class hierarchies, in ECOOP 99 Workshop - Object-Oriented Architectural Evolution (1999).  
  4. W.R. Cook, Interfaces and Specifications for the Smalltalk-80 Collection Classes, in Special issue of Sigplan Notice - Proceedings of ACM OOPSLA'92 (1992) 1-15.  
  5. B.A. Davey and H.A. Priestley, Introduction to Lattices and Orders. Cambridge University Press (1990).  
  6. H. Dicky, C. Dony, M. Huchard and T. Libourel, On automatic class insertion with overloading, Special issue of Sigplan Notice - Proceedings of ACM OOPSLA'96, Vol. 31 (1996) 251-267.  
  7. R. Godin and H. Mili, Building and Maintaining Analysis-Level Class Hierarchies Using Galois Lattices, in Special issue of Sigplan Notice - Proceedings of ACM OOPSLA'93, Vol. 28 (1993) 394-410.  
  8. R. Godin, H. Mili, G. Mineau and R. Missaoui, Conceptual Clustering methods based on Galois lattices and applications. Revue d'intelligence artificielle 9 (1995).  
  9. R. Godin, G. Mineau and R. Missaoui, Incremental structuring of knowledge bases, in Proc. of International KRUSE symposium: Knowledge Retrieval, Use, and Storage for Efficiency. Springer-Verlag, Lecture Notes in Artificial Intelligence 9 (1995) 179-198.  
  10. R. Godin, H. Mili, G. Mineau, R. Missaoui, A. Arfi and T.T. Chau, Design of Class Hierarchies Based on Concept (Galois) Lattices. Theory And Practice of Object Systems 4 (1998).  
  11. M. Huchard and H. Leblanc, Computing Interfaces in Java, in Proc. of IEE International conference on Automated Software Engineering (ASE'2000). Grenoble, France (2000) 317-320.  
  12. K.J. Lieberherr, P. Bergstein and I. Silva-Lepe, From objects to classes: Algorithms for optimal object-oriented design. J. Software Engrg. (1991) 205-228.  
  13. G. Mineau, J. Gecsei and R. Godin, Structuring Knowledge Bases Using Automatic Learning, in Proc. of the sixth International Conference on Data Engineering (1990) 274-280.  
  14. I. Moore and T. Clement, A Simple and Efficient Algorithm for Inferring Inheritance Hierarchies, in TOOLS Europe 1996 Proceedings. Prentice-Hall (1996).  
  15. B. Stroustrup, The C++ programming language, third edition. Addison-Wesley (1998).  
  16. R. Wille, Restructuring lattice theory: An approach based on hierarchies of concepts, Ordered Sets, edited by I. Rivals (1982) 23.  

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.