A unified ontology-based process model for software maintenance and comprehension

Authors:
Juergen Rilling;Yonggang Zhang;Wen Jun Meng;René Witte;Volker Haarslev;Philippe Charland
Affiliations:
Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada;Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada;Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada;Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada;Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada;System of Systems Section, Defence R&D Canada Valcartier, Canada
Venue:
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Year:
2006

Citing 13
Cited 2

Mental models: towards a cognitive science of language, inference, and consciousness

Mental models: towards a cognitive science of language, inference, and consciousness
LaSSIE: a knowledge-based software information system

Communications of the ACM - Special issue on software engineering
Towards a standard upper ontology

Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
A collaborative demonstration of reverse engineering tools

ACM SIGAPP Applied Computing Review
Artificial Believers: The Ascription of Belief

Artificial Believers: The Ascription of Belief
Program Comprehension During Software Maintenance and Evolution

Computer
RACER System Description

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Augmenting abstract syntax trees for program understanding

ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Reverse Architecting: An Industrial Experience Report

WCRE '00 Proceedings of the Seventh Working Conference on Reverse Engineering (WCRE'00)
Information Retrieval Models for Recovering Traceability Links between Code and Documentation

ICSM '00 Proceedings of the International Conference on Software Maintenance (ICSM'00)
Fuzzy Extensions for Reverse Engineering Repository Models

WCRE '03 Proceedings of the 10th Working Conference on Reverse Engineering
Ontology-Based Software Analysis and Reengineering Tool Integration: The OASIS Service-Sharing Methodology

ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
The Description Logic Handbook

The Description Logic Handbook

Bridging metamodels and ontologies in software engineering

Journal of Systems and Software
Reflecting on ontologies: towards ontology-based agent-oriented software engineering

AOW '09 Proceedings of the Fifth Australasian Ontology Workshop - Volume 112

Quantified Score

Hi-index	0.00

Visualization

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.