Title :
A design framework for system re-engineering
Author :
Liu, X. ; Chen, Z. ; Yang, H. ; Zedan, H. ; Chu, William C.
Author_Institution :
Software Technol. Res. Lab., De Montfort Univ., UK
Abstract :
Discusses the current situation of formal methods and their use in the re-engineering of computing systems, especially real-time systems. Based on the analysis results, 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 the Object-Action Model, the syntax and semantics of the Object-oriented Temporal Agent Model (ObTAM) and the Timed Guarded Command Language (TGCL). A small case study shows an optimistic future for 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
Keywords :
formal specification; logic programming languages; object-oriented methods; real-time systems; software agents; specification languages; systems re-engineering; temporal logic; 4-sector Wide Spectrum Language; ObTAM; Object-Action Model; Object-oriented Temporal Agent Model; TGCL; Timed Guarded Command Language; abstraction rules; algebraic laws; case study; computing systems; formal methods; interval temporal logic; real-time systems; semantics; syntax; system reengineering design framework; transformation rules; work flow; Accidents; Computer architecture; Costs; Design engineering; Educational institutions; Kernel; Laboratories; Logic; Object oriented modeling; Real time systems;
Conference_Titel :
Software Engineering Conference, 1997. Asia Pacific ... and International Computer Science Conference 1997. APSEC '97 and ICSC '97. Proceedings
Print_ISBN :
0-8186-8271-X
DOI :
10.1109/APSEC.1997.640191
