A design framework for system re-engineering.

Liu, Xiaodong; Chen, Zhiqiang; Yang, Hongji; Zedan, Hussein; Chu, William

Abstract

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.

Citation

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). https://doi.org/10.1109/APSEC.1997.640191

• Start Date: Dec 2, 1997
• End Date: Dec 5, 1997
• Publication Date: 1997
• Deposit Date: Jul 21, 2010
• Peer Reviewed: Peer Reviewed
• Pages: 342-352
• Book Title: APSEC'97/ICSC'97 - Fourth Asia-Pacific Software Engineering and International Computer Science Conference
• ISBN: 0-8186-8271-X
• DOI: https://doi.org/10.1109/APSEC.1997.640191
• Keywords: formal methods; re-engineering; wide spectrum language; real time systems; object orientation; interval temporal logic
• Public URL: http://researchrepository.napier.ac.uk/id/eprint/3231
• Publisher URL: http://doi.ieeecomputersociety.org/10.1109/APSEC.1997.640191