Support software evolution with abstration rules and programming knowledge patterns

Authors:
Guifa Teng;Xiaodong Liu
Affiliations:
Department of Computer Science, Agricultural University of Heibei, Baoding, China;School of Computing, Napier University, Edinburgh, UK
Venue:
Focus on computational neurobiology
Year:
2004

Citing 11
Cited 0

Executing temporal logic programs

Executing temporal logic programs
Latex: a document preparation system

Latex: a document preparation system
Predicate calculus and program semantics

Predicate calculus and program semantics
A beginner's book to TEX

A beginner's book to TEX
A specification-oriented semantics for the refinement of real-time systems

Theoretical Computer Science
A Discipline of Programming

A Discipline of Programming
The Latex Companion

The Latex Companion
Reusing Analogous Components

IEEE Transactions on Knowledge and Data Engineering
Formal Methods for the Re-Engineering of Computing Systems: A Comparison

COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Refining Interval Temporal Logic Specifications

ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
Tackling the Abstraction Problem for Reverse Engineering in a System Re-engineering Approach

ICSM '98 Proceedings of the International Conference on Software Maintenance

Quantified Score

Hi-index	0.02

Visualization

Abstract

This paper advocates that reengineering is an effective means of legacy system evolution. Extracting formal specification semantically consistent to the original legacy system will facilitate further redesign and forward engineering greatly. The key technology is abstraction, which is often interpreted as the act of hiding irrelevant details.Programming knowledge refers to the "technique" or "convention" that a programmer used to implement an application. The structure of an existing program was heavily affected by this kind of knowledge. A set of programming knowledge patterns are developed to discover the programming knowledge embedded in legacy systems. Implementation details can be eliminated effectively with these patterns and relevant abstraction rules.A unified reengineering approach with a focus on reverse engineering is proposed. The approach is based on three points: the construction of a wide spectrum language based reengineering framework, the development of abstraction rules and programming knowledge patterns.