Skip to main content

Research Repository

Advanced Search

A design framework for system re-engineering.

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

Authors

Zhiqiang Chen

Hongji Yang

Hussein Zedan

William Chu



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, December). A design framework for system re-engineering

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



You might also like



Downloadable Citations