A Design Framework for System Re-Engineering

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by X. Liu Articles by Z. Chen Articles by H. Yang Articles by H. Zedan Articles by William C. Chu

Fourth Asia-Pacific Software Engineering and International Computer Science Conference (APSEC'97 / ICSC'97)

Clear Water Bay, HONG KONG

December 02-December 05

ISBN: 0-8186-8271-X

	ASCII Text	x
	X. Liu, Z. Chen, H. Yang, H. Zedan, William C. Chu, "A Design Framework for System Re-Engineering," Asia-Pacific Software Engineering Conference, pp. 342, Fourth Asia-Pacific Software Engineering and International Computer Science Conference (APSEC'97 / ICSC'97), 1997.

	BibTex	x
	@article{ 10.1109/APSEC.1997.640191, author = {X. Liu and Z. Chen and H. Yang and H. Zedan and William C. Chu}, title = {A Design Framework for System Re-Engineering}, journal ={Asia-Pacific Software Engineering Conference}, volume = {0}, year = {1997}, isbn = {0-8186-8271-X}, pages = {342}, doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1997.640191}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Asia-Pacific Software Engineering Conference TI - A Design Framework for System Re-Engineering SN - 0-8186-8271-X SP EP A1 - X. Liu, A1 - Z. Chen, A1 - H. Yang, A1 - H. Zedan, A1 - William C. Chu, PY - 1997 KW - formal methods KW - re-engineering KW - wide spectrum language KW - real-time systems KW - object orientation KW - Interval Temporal Logic. VL - 0 JA - Asia-Pacific Software Engineering Conference ER -

X. Liu, De Montfort University

Z. Chen, De Montfort University

H. Yang, De Montfort University

H. Zedan, De Montfort University

William C. Chu, Feng Chia University

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.1997.640191

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.

Index Terms:

formal methods, re-engineering, wide spectrum language, real-time systems, object orientation, Interval Temporal Logic.

Citation:

X. Liu, Z. Chen, H. Yang, H. Zedan, William C. Chu, "A Design Framework for System Re-Engineering," apsec, pp.342, Fourth Asia-Pacific Software Engineering and International Computer Science Conference (APSEC'97 / ICSC'97), 1997

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.