A design framework for system re-engineering.

Liu, Xiaodong, Chen, Zhiqiang, Yang, Hongji, Zedan, Hussein and Chu, William (1997) A design framework for system re-engineering. In: APSEC'97/ICSC'97 - Fourth Asia-Pacific Software Engineering and International Computer Science Conference. IEEE Computer Society, Hong Kong, pp. 342-352. ISBN 0-8186-8271-X

Full text not available from this repository. (Request a copy)


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.

Item Type: Book Section
ISBN: 0-8186-8271-X
Additional Information: paper presented at Fourth Asia-Pacific Software Engineering and International Computer Science Conference, Clear Water Bay, Hong Kong, 2nd-5th December 1997
Uncontrolled Keywords: formal methods; re-engineering; wide spectrum language; real time systems; object orientation; interval temporal logic;
University Divisions/Research Centres: Faculty of Engineering, Computing and Creative Industries > School of Computing
Dewey Decimal Subjects: 000 Computer science, information & general works > 000 Computer science, knowledge & systems > 005 Computer programming, programs & data
Library of Congress Subjects: Q Science > QA Mathematics > QA76 Computer software
Item ID: 3231
Depositing User: Computing Research
Date Deposited: 21 Jul 2010 10:55
Last Modified: 16 May 2014 09:53

Actions (login required)

View Item View Item

Edinburgh Napier University is a registered Scottish charity. Registration number SC018373