The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (2004 vol.30)
pp: 736-753
ABSTRACT
In this paper, we propose a development framework that extends the scope of structured review by supplementing the structured review with model-based verification. The proposed approach uses the Unified Modeling Language (UML) as a modeling notation. We discuss a set of correctness arguments that can be used in conjunction with formal verification and validation (V&V) in order to improve the quality and dependability of systems in a cost-effective way. Formal methods can be esoteric; consequently, their large scale application is hindered. We propose a framework based on the integration of lightweight formal methods and structured reviews. Moreover, we show that structured reviews enable us to handle aspects of V&V that cannot be fully automated. To demonstrate the feasibility of our approach, we have conducted a study on a security-critical system—a patient document service (PDS) system.
INDEX TERMS
Structured review, formal methods, UML, prototype verification system (PVS), OCL, model-based verification, validation and verification.
CITATION
Issa Traor?, Demissie B. Aredo, "Enhancing Structured Review with Model-Based Verification", IEEE Transactions on Software Engineering, vol.30, no. 11, pp. 736-753, November 2004, doi:10.1109/TSE.2004.86
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool