Abstraction: a key notation for reverse engineering in a system re-engineering approach.

Yang, Hongji, Liu, Xiaodong and Zedan, Hussein (2000) Abstraction: a key notation for reverse engineering in a system re-engineering approach. Journal of Software Maintenance: Research and Practice, 12 (4). pp. 197-228.

[img] PDF
Restricted to Registered users only
Available under License Creative Commons Attribution Non-commercial.

Download (226kB) | Request a copy


This paper advocates that extracting formal specification semantically consistent to the original legacy system will facilitate further redesign and forward engineering greatly. The three parts of reengineering could be integrated on the basis of a wide spectrum language. The key approach to comprehension and the production of formal specification is a notion of abstraction. Transformation can help to change the original source code into alternative forms, but with the same semantics. Abstraction is often interpreted as the act of hiding irrelevant details. What constitute as relevant details is often left open to different interpretations. A unified approach for reverse engineering is described within which the notion of abstraction is classified and precisely defined. Abstraction rules are given and applied to various case studies

Item Type: Article
Electronic ISSN: 2047-7481
Uncontrolled Keywords: reverse engineering; re-engineering; wide spectrum language; abstraction; object oriented; interval temporal logic;
University Divisions/Research Centres: Faculty of Engineering, Computing and Creative Industries > School of Computing
Dewey Decimal Subjects: 600 Technology > 620 Engineering > 621 Electronic & mechanical engineering > 621.3 Electrical & electronic engineering > 621.38 Electronics & Communications engineering > 621.389 Computer engineering
Library of Congress Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Item ID: 3225
Depositing User: Computing Research
Date Deposited: 23 Jul 2010 12:56
Last Modified: 17 Sep 2013 13:17

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics

Edinburgh Napier University is a registered Scottish charity. Registration number SC018373