Title :
Formal methods for the re-engineering of computing systems: a comparison
Author :
Liu, X. ; Yang, H. ; Zedan, H.
Author_Institution :
Software Technol. Res. Lab., De Montfort Univ., Leicester, UK
Abstract :
The paper presents a short review of formal methods and their use in the re-engineering of computing systems. Five classes of formal notations and theories, namely state/model-based, logic-based, algebraic-based, process algebra and net-based formalisms together with combined formalisms are considered, analysed and compared. Conclusions obtained focus on proposing an approach to building a practical re-engineering system
Keywords :
formal specification; process algebra; program verification; systems analysis; systems re-engineering; algebraic-based formalisms; computing systems; formal methods; formal notations; formal theories; logic-based formalisms; model-based formalisms; net-based formalisms; process algebra; re-engineering; state-based formalisms; Accidents; Algebra; Costs; Educational institutions; Guidelines; Laboratories; Production systems; Prototypes; Specification languages; Systems engineering and theory;
Conference_Titel :
Computer Software and Applications Conference, 1997. COMPSAC '97. Proceedings., The Twenty-First Annual International
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-8105-5
DOI :
10.1109/CMPSAC.1997.625024