Software engineering applications of logic file system: application to automated multi-criteria indexation of software components

ABSTRACT

Logic information systems use formal concept analysis in a novel way to manage information. A file system implementation has been designed under the name of Logic file system. It offers a flexible management of non-hierarchical data. We present several applications of Logic file system to software engineering: multi-criteria indexation of software components, multi-concern browsing of source files, and bug finding in test traces.We detail multi-criteria indexing of software components. Three independent indexing frameworks are developed and merged in a single multi-criteria framework. The three indexing frameworks capture formal criteria like type isomorphisms and inheritance relations, semi-formal criteria like naming conventions, and informal criteria like keywords of comments. We show how the logical orientation of Logic file system helps in capturing all these criteria in a single framework.

REFERENCES

• 1: L. Byrd. Understanding the Control Flow of Prolog Programs.In S.-Å. Tärnlund, editor, Proc. of the Logic Programming Workshop, Debrecen, 1980.
• 2: Tristan Denmat , Mireille Ducassé , Olivier Ridoux, Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA [doi>10.1145/1101908.1101979]
• 3: R. Di Cosmo. Deciding type isomorphisms in a type-assignment framework. Journal of Functional Programming, 3(4):485--525, 1993.
• 4: S. Ferré , O. Ridoux, Introduction to logical information systems, Information Processing and Management: an International Journal, v.40 n.3, p.383-419, January 2004 [doi>10.1016/S0306-4573(03)00018-9]
• 5: S. Ferré, O. Ridoux, and B. Sigonneau. Arbitrary relations in formal concept analysis and logical information systems. In F. Dau, M.-L. Mugnier, and G. Stumme, editors, ICCS, volume 3596 of LNCS. Springer, 2005.
• 6: Bernhard Ganter , C. Franzke , Rudolf Wille, Formal Concept Analysis: Mathematical Foundations, Springer-Verlag New York, Inc., Secaucus, NJ, 1997
• 7: James A. Jones , Mary Jean Harrold , John Stasko, Visualization of test information to assist fault localization, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida [doi>10.1145/581339.581397]
• 8: G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Videira Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In ECOOP '97, volume 1241 of LNCS. Springer-Verlag, 1997.
• 9: Jesse Liberty, Programming C#, O'Reilly & Associates, Inc., Sebastopol, CA, 2005
• 10: Linux cross-reference project. Available on http://lxr.linux.no/.
• 11: A. Mili , R. Mili , R. T. Mittermeir, A survey of software reuse libraries, Annals of Software Engineering, 5, p.349-414, 1998
• 12: S. Overhage and P. Thomas. WS-Specification: Specifying web services using UDDI improvements. In Web, Web-Services, and Database Systems, volume 2593 of LNCS. Springer, 2003.
• 13: Y. Padioleau and O. Ridoux. A logic file system. In USENIX Annual Technical Conference, 2003.
• 14: Y. Padioleau and O. Ridoux. A parts-of-file file system. In USENIX Annual Technical Conference, 2005.
• 15: R. Prieto-Díaz and P. Freeman. Classifying software for reusability. IEEE Software, 4(1):6--16, 1987.
• 16: Mikael Rittri, Using types as search keys in function libraries, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.174-183, September 11-13, 1989, Imperial College, London, United Kingdom [doi>10.1145/99370.99384]
• 17: G. Ruhe. Intelligent support for selection of COTS products. In Web, Web-Services, and Database Systems, volume 2593 of LNCS. Springer, 2003.
• 18: Colin Runciman , Ian Toyn, Retrieving re-usable software components by polymorphic type, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.166-173, September 11-13, 1989, Imperial College, London, United Kingdom [doi>10.1145/99370.99383]
• 19: Peri Tarr , Harold Ossher , William Harrison , Stanley M. Sutton, Jr., N degrees of separation: multi-dimensional separation of concerns, Proceedings of the 21st international conference on Software engineering, p.107-119, May 16-22, 1999, Los Angeles, California, United States [doi>10.1145/302405.302457]
• 20: C. J. van Rijsbergen, (invited paper) A new theoretical framework for information retrieval, Proceedings of the 9th annual international ACM SIGIR conference on Research and development in information retrieval, p.194-200, September 1986, Palazzo dei Congressi, Pisa, Italy [doi>10.1145/253168.253208]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.6 Programming Environments

General Terms:
Design

Keywords:
logic information system, software components