Abstract
Information technology of today is often concerned with information that is not only large in quantity but also complex in structure. Understanding this structure is important in many domains – many quantitative approaches such as data mining have been proposed to address this issue. This paper presents a conceptual approach based on Formal Concept Analysis. Using software source code as an example of a complex structure we present a framework for conceptually analysing relational structures. In our framework, a browsable space of sub-contexts is automatically derived from a database of relations augmented by a rule engine and schema information. Operations are provided for the user to navigate between sub-contexts. We demonstrate how the use of these operations can lead to quick identification of an area of software source code that establishes an unecessary dependency between software parts.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Becker, P., Hereth Correia, J.: The ToscanaJ suite for implementing Conceptual Information Systems. In: Formal Concept Analysis – State of the Art. Springer, Heidelberg (2004) (to appear)
Codd, E.F.: A relational model of data for large shared data banks. Communications of the ACM 13(6), 377–387 (1970)
Cole, R., Stumme, G.: CEM - a Conceptual Email Manager. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS (LNAI), vol. 1867, pp. 438–452. Springer, Heidelberg (2000)
Cole, R., Tilley, T.: Conceptual analysis of software structure. In: Proceedings of Fifteenth International Conference on Software Engineering and Knowledge Engineering, SEKE 2003, USA, June 2003, pp. 726–733. Knowledge Systems Institute (2003)
Fowler, M.: Refactoring, Improving the Design of Existing Code. Addison-Wesley, Reading (1999)
Godin, R., Mili, H.: Building and maintaining analysis-level class hierarchies using galois lattices. In: Proceedings of the OOPSLA 1993 Conference on Object-oriented Programming Systems, Languages and Applications, pp. 394–410 (1993)
Godin, R., Mili, H., Mineau, G.W., Missaoui, R., Arfi, A., Chau, T.-T.: Design of class hierarchies based on concept (galois) lattices. Theory and Application of Object Systems (TAPOS) 4(2), 117–134 (1998)
Ganter, B., Wille, R.: Conceptual scaling. In: Roberts, F. (ed.) Applications of combinatorics and graph theory to the biological and social sciences, pp. 139–167. Springer, New York (1989)
Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (1999)
Halpin, T.: Conceptual schema and relational database design, 2nd edn. Prentice-Hall, Inc., Englewood Cliffs (1996)
Kuipers, T., Moonen, L.: Types and concept analysis for legacy systems. Technical Report SEN-R0017, Centrum voor Wiskunde en Informatica (July 2000)
Smith, P.: An Introduction to Knowledge Engineering. International Thompson Computer Press (1996)
Snelting, G.: Concept analysis - a new framework for program understanding. In: SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), Montreal, Canada, June 1998, pp. 1–10 (1998)
Snelting, G., Tip, F.: Understanding class hierarchies using concept analysis. In: ACM Transactions on Programming Languages and Systems, May 2000, pp. 540–582 (2000)
Stumme, G.: Local scaling in conceptual data systems. In: Eklund, P., Mann, G.A., Ellis, G. (eds.) ICCS 1996. LNCS (LNAI), vol. 1115, pp. 308–320. Springer, Heidelberg (1996)
Stumme: Hierarchies of conceptual scales. In: Proc. Workshop on Knowledge Acquisition Modeling and Management, Banff, October 16-22, vol. 2, pp. 78–95 (1999)
Stumme, G.: Conceptual On-Line Analytical Processing. In: Ghandeharizadeh, S., Tanaka, K., Kambayashi, Y. (eds.) Information Organization and Databases, ch. 14, pp. 191–203. Kluwer, Boston (2000)
Tilley, T., Cole, R., Becker, P., Eklund, P.: A survey of formal concept analysis support for software engineering activities. In: Stumme, G. (ed.) Proceedings of the First International Conference on Formal Concept Analysis - ICFCA 2003, February 2003. Springer, Heidelberg (2003) (to appear)
Tonella, P.: Concept analysis for module restructuring. IEEE Transactions on Software Engineering 27(4), 351–363 (2001)
Vogt, F., Wille, R.: Toscana — a graphical tool for analyzing and exploring data. In: Tamassia, R., Tollis, I.G. (eds.) Graph Drawing, pp. 226–233. Springer, Heidelberg (1995)
Wille, R.: Conceptual structures of multi-contexts. In: Eklund, P., Ellis, G., Mann, G. (eds.) Conceptual Structures: Knowledge Representation as Interlingua. LNCS (LNAI), vol. 1114, pp. 23–39. Springer, Heidelberg (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cole, R., Becker, P. (2005). Navigation Spaces for the Conceptual Analysis of Software Structure. In: Ganter, B., Godin, R. (eds) Formal Concept Analysis. ICFCA 2005. Lecture Notes in Computer Science(), vol 3403. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32262-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-32262-7_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24525-4
Online ISBN: 978-3-540-32262-7
eBook Packages: Computer ScienceComputer Science (R0)