The Community for Technology Leaders
Green Image
Issue No. 11 - November (2004 vol. 30)
ISSN: 0098-5589
pp: 736-753
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.
Structured review, formal methods, UML, prototype verification system (PVS), OCL, model-based verification, validation and verification.

I. Traor? and D. B. Aredo, "Enhancing Structured Review with Model-Based Verification," in IEEE Transactions on Software Engineering, vol. 30, no. , pp. 736-753, 2004.
79 ms
(Ver 3.3 (11022016))