Research Output
A design framework for system re-engineering.
  We discuss the current situation of formal methods and their use in the re-engineering of computing systems, especially real time systems. Based on the analysis result, a solution which uses a consistent 4-sector Wide Spectrum Language (WSL) is proposed, which presently includes the general architecture and work flow, the structure of Object-Action Model, the syntax and semantics of Object Oriented Temporal Agent Model (ObTAM) and Timed Guarded Command Language (TGCL). A small case study shows an optimistic future of our WSL technique. Further research will aim to build the complete semantic kernel of the WSL and its associated algebraic laws, including transformation rules and abstraction rules.

  • Date:

    31 December 1997

  • Publication Status:


  • Publisher

    IEEE Computer Society

  • DOI:


  • Library of Congress:

    QA76 Computer software

  • Dewey Decimal Classification:

    005 Computer programming, programs & data


Liu, X., Chen, Z., Yang, H., Zedan, H., & Chu, W. (1997). A design framework for system re-engineering. In APSEC'97/ICSC'97 - Fourth Asia-Pacific Software Engineering and International Computer Science Conference, 342-352.



formal methods; re-engineering; wide spectrum language; real time systems; object orientation; interval temporal logic;

Monthly Views:

Available Documents