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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Schneider, P.P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
Brooks, R.: Towards a Theory of the Comprehension of Computer Programs. Int. J. of Man-Machine Studies, 543–554 (1963)
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)
Debrief, http://www.debrief.info , last accessed 25/10/2006
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)
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)
Johnson-Laird, P.N.: Mental Models: Towards a Cognitive Science of Language, Inference and Consciousness. Harvard University, Cambridge (1983)
Mayhauser, A.V., Vans, A.M.: Program Comprehension During Software Maintenance and Evolution. IEEE Computer, 44–55 (Aug. 1995)
IEEE Standard for Software Maintenance. IEEE, 1219-1998
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)
Johnson-Laird, P.N.: Mental Models: Towards a Cognitive Science of Language, Inference and Consciousness. Harvard University, Cambridge (1983)
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)
Kölsch, U., Witte, R.: Fuzzy Extensions for Reverse Engineering Repository Models. In: 10th Working Conference on Reverse Engineering (WCRE), Canada (2003)
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)
Niles, Pease, A.: Towards a Standard Upper Ontology. Proc. of the 2nd Int. Conf. on Formal Ontology in Information System (FOIS), Maine (2001)
Noy, N.F., Stuckenschmidt, H.: Ontology Alignment: An annotated Bibliography – Semantic Interoperability and Integration. Schloss Dagstuhl, Germany (2005)
Ballim, A. Wilks: Artificial Believers: The Ascription of Belief. Lawrence Erlbaum, Mawah (1991)
Riva, C.: Reverse Architecting: An Industrial Experience Report. In: IEEE WCRE, pp. 42–52. IEEE Computer Society Press, Los Alamitos (2000)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Rilling, J., Zhang, Y., Meng, W.J., Witte, R., Haarslev, V., Charland, P. (2007). A Unified Ontology-Based Process Model for Software Maintenance and Comprehension. In: Kühne, T. (eds) Models in Software Engineering. MODELS 2006. Lecture Notes in Computer Science, vol 4364. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69489-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-69489-2_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69488-5
Online ISBN: 978-3-540-69489-2
eBook Packages: Computer ScienceComputer Science (R0)