Issue No. 11 - November (2004 vol. 30)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSE.2004.86
Issa Traor? , IEEE
Demissie B. Aredo , IEEE
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.