Research Output

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

  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

  • Type:

    Article

  • Date:

    30 November 1999

  • Publication Status:

    Published

  • Publisher

    Wiley

  • DOI:

    10.1002/1096-908X(200007/08)12:43.0.CO;2-X

  • Library of Congress:

    QA75 Electronic computers. Computer science

  • Dewey Decimal Classification:

    621.389 Computer engineering

Citation

Yang, H., Liu, X. & Zedan, H. (1999). Abstraction: a key notation for reverse engineering in a system re-engineering approach. Journal of Software: Evolution and Process. 12, 197-228. doi:10.1002/1096-908X(200007/08)12:43.0.CO;2-X. ISSN 2047-7481

Authors

Keywords

reverse engineering; re-engineering; wide spectrum language; abstraction; object oriented; interval temporal logic;

Available Documents