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 (220kB) | 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 13:56
    Last Modified: 17 Sep 2013 14:17

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...

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