Multi-Aspect System Analysis Using State Machines Extracted from Specifications in VDM–SL
抄録
Model-oriented formal specification languages such as VDM-SL is useful to describe functional requirements of the target systems. However, since single-aspect analysis is not enough to make reliable specifications, we also use other approaches such as model checking to analyze dynamic aspects of the system as a part of multi-aspect analysis. In this paper, we discuss our approach to extract state machines from specifications in VDM-SL.We can analyze both static and dynamic aspect by using these two different kinds of specification languages, model-oriented and state-machine languages in an integrated manner.
The 8th International Symposium on Future Software Technology (ISFST-2004), October 20(Wed) - 22(Fri), 2004, Xian, China
収録刊行物
-
- The Proceedings of ISFST-2004
-
The Proceedings of ISFST-2004 200-205, 2004-10-21
Software Engineers Association