| Formal concept analysis (FCA) was elaborated by Professor Wille of German in the eighties of the twentieth century. With the development of the research, applying FCA to object-oriented programming has become a notable research topic in computer science domain. It is also our concern.Concept lattice is also called Galois lattice. It is the core data structure of FCA that represents the order relationship between the concepts concretely and iconically. Another, it is also an important knowledge expression structure. This paper mainly studies some basic problems of concept lattice. The following is the paper's creative research works.(1) The constructing method of the concept lattice. This paper presents an algorithm of generating concepts rapidly that based on closed set system. The benefit of this method is easy to generate concepts and understand.(2) The object-oriented formal context is proposed for the first time.The approach is semantically well-founded in concept analysis: given a binary relationship between objects and attributes,formal concept analysis is a powerful technique to organize pairs of related sets of objects and attributes into a concept lattice,where higher level concepts represent general features shared by many objects,while lower lever concepts represent the object-specific features. In the approach,a class hierarchy is processed along with a set of application that use it.The benefit of this analysis is a class hierarchy,which is guranteed to be behaviorally equivalent to the original hierarchy,but in which object only contains the members that are required. Naturally,The approach is regarded as a tool for finding imperfections in the design of class hierarchies, and can also provide valuable insights in restructuring proposals.(3) Class context is proposed in the object-oriented program.According to the relation of accesses between member functions and member variables,the lattice is constructed.It helps to visualize class members . |
PDF Full Text Request