An Automation of Check Focusing on CRUD for Requirements Analysis Model in UML

A key to success of high quality software development is to define valid and feasible requirements specification. We have proposed a method of model-driven requirements analysis using Unified Modeling Language (UML). The main feature of our method is to automatically generate a Web user interface mock-up from UML requirements analysis model so that we can confirm validity of input/output data for each page and page transition on the system by directly operating the mock-up. This paper proposes a support method to check the validity of a data life cycle by using a model checking tool “UPPAAL" focusing on CRUD (Create, Read, Update and Delete). Exhaustive checking improves the quality of requirements analysis model which are validated by the customers through automatically generated mock-up. The effectiveness of our method is discussed by a case study of requirements modeling of two small projects which are a library management system and a supportive sales system for text books in a university.

Authors:

• Shinpei Ogata
• Yoshitaka Aoki
• Hirotaka Okuda
• Saeko Matsuura

Keywords:

• CRUD
• Model Checking
• Model Driven Development
• Requirements Analysis
• Unified Modeling Language
• UPPAAL.

References:

[1] Paulo, Rogerio; Carvalho, Adriano,Towards model-driven design of
substation automation systems, 8th International Conference and
Exhibition on CIRED, pp.1-5, 2005.
[2] Monteiro, R.; Araujo, J.; Amaral, V.; Patricio, P., Mdgore: Towards
Model-Driven and Goal-Oriented Requirements Engineering , 18th IEEE
International Requirements Engineering Conference , pp. 405-406, 2010.
[3] Forward, A.; Badreddin, O.; Lethbridge, T.C. Towards combining model
driven with prototype driven system development, 21st IEEE
International Symposium on Rapid System Prototyping (RSP),
pp.1-7,2010.
[4] Rational Software Modeler, http://www-06.ibm.com/software/jp/rational
/products/design/rsm/.
[5] S. Ogata, and S. Matsuura, "A UML-based Requirements Analysis with
Automatic Prototype System Generation," Communication of SIWN,
Vol.3, Jun. 2008, pp.166-172.
[6] S. Ogata. and S. Matsuura, "A Method of Automatic Integration Test
Case Generation from UML-based Scenario," WSEAS
TRANSACTIONS on INFORMATION SCIENCE and
APPLICATIONS, Issue 4, Vol.7, Apr 2010, pp.598-607 .
[7] UML, http://www.uml.org/
[8] UPPAAL, http://www.uppaal.com/, 2010.
[9] Thomas A. Henzinger. Symbolic model checking for real-time systems.
Information and Computation, 1994, 111:193-244.
[10] ACM SIGSOFT, Special Issue on Rapid Prototyping, ACM SIGSOFT
Software Engineering Notes, Vol.7, No.5, 1982.
[11] astah*, http://www.change-vision.com/
[12] van den Brink, H.; van der Leek, R.; Visser, J., Quality Assessment for
Embedded SQL, Proc. of Seventh IEEE International Working
Conference on Source Code Analysis and Manipulation, 2007 (SCAM
2007), pp.163-170, 2007.
[13] Li, H., Krishnamurthi, S. and Fisler, K.: Verifying cross-cutting features
as open systems, in international conference on Foundation of Software
Engineering ,2002
[14] Sciascio, E. D., Donini, F. M., Mongiello, M., and Piscitelli, G.: Web
Applications Design and Maintenance Using Symbolic Model Checking,
Proc. of the 7th European Conference on Software Maintenance and
Reengineering (CSMR 2003), 2003, pp. 63?72.
[15] Corbett, J., Dwyer, M., Hatcliff, J., Laubach, S., Pasareanu, C., Robby
and Zheng, H.: Bandera: extracting _nite-state models from Java source
code, Proc. the 22nd Int'l Conf. on on Softw. Eng. (ICSE 2000),
pp.439-448 (2000).
[16] Wiegers, K. E., Software Requirements, Microsoft Press, 2003.