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

fYear

1997

fDate

2-5 Dec 1997

Firstpage

342

Lastpage

352

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/APSEC.1997.640191

Filename

640191