Formal Methods For The Re-Engineering of Computing Systems (1997)
| Venue: | In Proceedings of The 21st IEEE International Conference on Computer Software and Application (COMPSAC'97 |
| Citations: | 2 - 1 self |
BibTeX
@INPROCEEDINGS{Liu97formalmethods,
author = {X. Liu and H. Yang and H. Zedan},
title = {Formal Methods For The Re-Engineering of Computing Systems},
booktitle = {In Proceedings of The 21st IEEE International Conference on Computer Software and Application (COMPSAC'97},
year = {1997},
pages = {409--141},
publisher = {IEEE Computer Society}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present a short review of formal methods and their use in the re-engineering of computing systems. The paper considers 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. Keywords : formal methods, re-engineering, wide spectrum language, real-time systems, refinement, reverse engineering, logic. Contents 1 INTRODUCTION 2 2 CLASSIFICATION OF FORMAL METHODS 4 2.1 Model-based Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Logic-based Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.3 Algebraic Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.4 Process Algebra Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.5 Net-Based Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3 CRITERIA AND RESULTS 17 4 DISCUSS...
