A Unified Ontology-Based Process Model for Software Maintenance and Comprehension

  • Juergen Rilling
  • Yonggang Zhang
  • Wen Jun Meng
  • René Witte
  • Volker Haarslev
  • Philippe Charland
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4364)

Abstract

In this paper, we present a formal process model to support the comprehension and maintenance of software systems. The model provides a formal ontological representation that supports the use of reasoning services across different knowledge resources. In the presented approach, we employ our Description Logic knowledge base to support the maintenance process management, as well as detailed analyses among resources, e.g., the traceability between various software artifacts. The resulting unified process model provides users with active guidance in selecting and utilizing these resources that are context-sensitive to a particular comprehension task. We illustrate both, the technical foundation based on our existing SOUND environment, as well as the general objectives and goals of our process model.

Keywords

Software maintenance process modeling ontological reasoning software comprehension traceability text mining 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Antoniol, G., Canfora, G., Casazza, G., De Lucia, A.: Information retrieval models for recovering traceability links between code and documentation. In: Proceedings of IEEE International Conference on Software Maintenance, San Jose, CA, IEEE Computer Society Press, Los Alamitos (2000)Google Scholar
  2. 2.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Schneider, P.P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)MATHGoogle Scholar
  3. 3.
    Brooks, R.: Towards a Theory of the Comprehension of Computer Programs. Int. J. of Man-Machine Studies, 543–554 (1963)Google Scholar
  4. 4.
    Cunningham, H., Maynard, D., Bontcheva, K., Tablan, V.: GATE: A Framework and Graphical Development Environment for Robust NLP Tools and Applications. In: Proceedings of the 40th Anniversary Meeting of the ACL (ACL’02), Philadelphia, July 2002 (2002)Google Scholar
  5. 5.
    Debrief, http://www.debrief.info, last accessed 25/10/2006
  6. 6.
    Devanbu, P., Brachman, R.J., Selfridge, P.G., Ballard, B.W.: LaSSIE: a Knowledge-based Software Information System. Com. of the ACM 34(5), 36–49 (1991)Google Scholar
  7. 7.
    Haarslev, V., Möller, R.: RACER System Description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701–705. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  8. 8.
    Johnson-Laird, P.N.: Mental Models: Towards a Cognitive Science of Language, Inference and Consciousness. Harvard University, Cambridge (1983)Google Scholar
  9. 9.
    Mayhauser, A.V., Vans, A.M.: Program Comprehension During Software Maintenance and Evolution. IEEE Computer, 44–55 (Aug. 1995)Google Scholar
  10. 10.
    IEEE Standard for Software Maintenance. IEEE, 1219-1998 Google Scholar
  11. 11.
    Jin, D., Cordy, J.R.: Ontology-Based Software Analysis and Reengineering Tool Integration: The OASIS Service-Sharing Methodology. In: 21st IEEE ICSM, IEEE Computer Society Press, Los Alamitos (2005)Google Scholar
  12. 12.
    Johnson-Laird, P.N.: Mental Models: Towards a Cognitive Science of Language, Inference and Consciousness. Harvard University, Cambridge (1983)Google Scholar
  13. 13.
    Keller, M.I., Madachy, R.J., Raffo, D.M.: Software Process Simulation Modeling: Why? What? How? Journal of Systems and Software 46(2/3) (1999)Google Scholar
  14. 14.
    Kölsch, U., Witte, R.: Fuzzy Extensions for Reverse Engineering Repository Models. In: 10th Working Conference on Reverse Engineering (WCRE), Canada (2003)Google Scholar
  15. 15.
    Meng, W., Rilling, J., Zhang, Y., Witte, R., Charland, P.: An Ontological Software Comprehension Process Model. In: 3rd Int. Workshop on Metamodels, Schemas, Grammars, and Ontologies for Reverse Engineering (ATEM 2006), Genoa, October 1st, pp. 28–35 (2006)Google Scholar
  16. 16.
    Niles, Pease, A.: Towards a Standard Upper Ontology. Proc. of the 2nd Int. Conf. on Formal Ontology in Information System (FOIS), Maine (2001)Google Scholar
  17. 17.
    Noy, N.F., Stuckenschmidt, H.: Ontology Alignment: An annotated Bibliography – Semantic Interoperability and Integration. Schloss Dagstuhl, Germany (2005)Google Scholar
  18. 18.
    Ballim, A. Wilks: Artificial Believers: The Ascription of Belief. Lawrence Erlbaum, Mawah (1991)Google Scholar
  19. 19.
    Riva, C.: Reverse Architecting: An Industrial Experience Report. In: IEEE WCRE, pp. 42–52. IEEE Computer Society Press, Los Alamitos (2000)Google Scholar
  20. 20.
    Storey, M.-A., Sim, S.E., Wong, K.: A Collaborative Demonstration of Reverse Engineering tools. ACM SIGAPP Applied Computing Review 10(1), 18–25 (2002)CrossRefGoogle Scholar
  21. 21.
    Welty, C.: Augmenting Abstract Syntax Trees for Program Understanding. In: Proc. of Int. Conf. on Automated Software Engineering, pp. 126–133. IEEE Computer Society Press, Los Alamitos (1997)CrossRefGoogle Scholar
  22. 22.
    Zhang, Y., Witte, R., Rilling, J., Haarslev, V.: An Ontology-based Approach for Traceability Recovery. In: International Workshop on Metamodels, Schemas, Grammars, and Ontologies for Reverse Engineering (ATEM 2006), Genoa, October 1st, pp. 36–43 (2006)Google Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Juergen Rilling
    • 1
  • Yonggang Zhang
    • 1
  • Wen Jun Meng
    • 1
  • René Witte
    • 1
  • Volker Haarslev
    • 1
  • Philippe Charland
    • 2
  1. 1.Department of Computer Science, and Software Engineering, Concordia University, MontrealCanada
  2. 2.System of Systems Section, Defence R&D Canada Valcartier, Val-BélairCanada

Personalised recommendations