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

Authors: Shinpei Ogata, Yoshitaka Aoki, Hirotaka Okuda, Saeko Matsuura

Abstract:

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.

Keywords: CRUD, Model Checking, Model Driven Development, Requirements Analysis, Unified Modeling Language, UPPAAL.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1333114

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.