skip to main content
10.5555/782185.782238dlproceedingsArticle/Chapter ViewAbstractPublication PagescasconConference Proceedingsconference-collections
Article
Free access

Modeling and querying software repositories

Published: 31 October 1994 Publication History

Abstract

Modeling and querying software repositories is an integral part of reverse engineering legacy software systems. Current data models and query languages for software repositories lack generality, extensibility, and sufficient formalism. In this paper, we propose an algebraic framework that provides both an extensible data model capable of modeling software information at multiple levels of abstraction, as well as an algebraic applicative query language that can be used effectively to express queries on the data model. We demonstrate the power of the algebraic framework by expressing a wide variety of queries drawn from reverse engineering literature. The algebraic approach combines issues of formal elegance, expressive power, and query processing and optimization within a single framework.

References

[1]
{1} V.R. Basili and H.D. Mills. Understanding and Documenting Programs. IEEE Transactions on Software Engineering, 8(3):270-283, 1982.
[2]
{2} T. Biggerstaff, B.G. Mitbander, and D. Webster. The Concept Assignment Problem in Program Understanding. In Proc. of the 15th International Conference on Software Engineering, pages 482-498, 1993.
[3]
{3} R. Brooks. Towards a Theory of Comprehension of Computer Programs. International Journal of Man Machine Studies, 18:543-554, 1983.
[4]
{4} Y. Chen, M.Y. Nishimoto, and C.V. Ramamoorthy. The C Information Abstraction System. IEEE Transactions on Software Engineering, 16(3):325-334, March 1990.
[5]
{5} L. Cleveland. A Program Understanding Support Environment. IBM Systems Journal, 28(2):324-344, 1989.
[6]
{6} E.F. Codd. A relational model for large shared data banks. Communications of the ACM, 13(6):377-387, 1970.
[7]
{7} T.A. Corbi. Program Understanding: Challenge for the 1990s. IBM Systems Journal, 28(2):294-306, 1989.
[8]
{8} G.B. Kotik and L.Z. Markosian. Automating Software Analysis and Testing Using a Program Transformation System. In Proceedings of ACM SIGSOFT, pages 75-84, 1989.
[9]
{9} H.A. Muller, M.A Orgun, S.R. Tilley, and J.S. Uhl. A Reverse Engineering Approach to Subsystem Structure Identification. Software Maintenance: Research and Practice, 5(4):181-204, December 1993.
[10]
{10} S. Paul and A. Prakash. A Framework for Source Code Search Using Program Patterns. IEEE Transactions on Software Engineering, June 1994.
[11]
{11} S. Paul and A. Prakash. Supporting Queries on Source Code: A Formal Framework. International Journal of Software Engineering and Knowledge Engineering, September 1994. Special Issue on Reverse Engineering, To appear.
[12]
{12} S. Paul, A. Prakash, E. Buss, and J. Henshaw. Theories and Techniques of Program Understanding. In Proc. of the CAS Conference. IBM Canada Ltd. Laboratory, Centre for Advanced Studies, 1991.
[13]
{13} D.E. Perry. Software Interconnection Models. In Proc. of the 9th International Conference on Software Engineering, pages 61-69, 1987.
[14]
{14} D.J. Robson, K.H. Bennet, B.J. Cornelius, and M. Munro. Approaches to Program Comprehension. Journal of Systems and Software, 14:79-84, 1991.
[15]
{15} L.M. Wills. Automated Program Recognition by graph parsing. PhD thesis, MIT, 1992.
[16]
{16} E. Yourdon. RE-3. American Programmer, 2(4):3-10, April 1989.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image DL Hosted proceedings
CASCON '94: Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
October 1994
781 pages

Sponsors

  • Industry Canada
  • Natural Sciences and Engineering Research Council
  • IBM Canada: IBM Canada
  • NRC: National Research Council - Canada

Publisher

IBM Press

Publication History

Published: 31 October 1994

Qualifiers

  • Article

Acceptance Rates

Overall Acceptance Rate 24 of 90 submissions, 27%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 238
    Total Downloads
  • Downloads (Last 12 months)35
  • Downloads (Last 6 weeks)8
Reflects downloads up to 19 Feb 2025

Other Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media