A Validation Technique for UML Activity Model

In the current scenario of modeling, object-oriented modeling has completely replaced the structured modeling approach. Software industries are slowly-slowly shifting their old structured based softwares into the object-oriented based softwares, for e.g. Foxpro has been changed into the Visual Foxpro. From the literature, it is observed that various researchers are proposing the software models based on the object-oriented technology. It is a big challenge whether the proposed design is correct or reliable for a long time. For solution of this problem, the present work deals with a proposal of Unified Modeling Language (UML) model for a real case study of Mobile Bill Deposit System (MBDS) By the use of UML, class and activity models are designed for static and dynamic representation of the problem. For validation purpose the activity model is validated by the use of Finite State Machine (FSM) technique and results are presented in the form of test cases. When the size of the model becomes complex then presented technique shall help for validation of the complex model.

[1]  Grzegorz J. Nalepa,et al.  Using UML state diagrams for visual modeling of business rules , 2008, 2008 International Multiconference on Computer Science and Information Technology.

[2]  T.M. Welte.  Using State Diagrams for Modeling Maintenance of Deteriorating Systems , 2009, IEEE Transactions on Power Systems.

[3]  Zarina Shukur,et al.  A Design of an Assessment System for UML Class Diagram , 2007, 2007 International Conference on Computational Science and its Applications (ICCSA 2007).

[4]  Loo Yim Ling,et al.  Design of Tool for Generating UML Analysis Class Diagram , 2008, 2008 International Conference on Computational Intelligence for Modelling Control & Automation.

[5]  Ahmad Alsaadi.  Checking Data Integrity via the UML Class Diagram , 2006, 2006 International Conference on Software Engineering Advances (ICSEA'06).

[6]  Jun Fang,et al.  Rank-directed layout of UML class diagrams , 2012, SoftwareMining '12.

[7]  Santosh Kumar,et al.  Object-Oriented Database Connectivity for Hand Held Devices , 2012 .

[8]  Yiwen Liang,et al.  Reason on UML Diagrams with Answer Set Programming , 2008, 2008 International Conference on Computer Science and Software Engineering.

[9]  Lisane B. de Brisolara,et al.  Generating Java Code from UML Class and Sequence Diagrams , 2011, 2011 Brazilian Symposium on Computing System Engineering.

[10]  Oscar Cordón,et al.  Human Gait Modeling Using a Genetic Fuzzy Finite State Machine , 2012, IEEE Transactions on Fuzzy Systems.

[11]  Yan Ha,et al.  Allocation of Classes in Distributed Object-Oriented Databases , 2009, 2009 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing.

[12]  Pawan Kumar Chaurasia,et al.  Mobile Based Electricity Bill Deposit System through UML , 2011, J. Softw. Eng. Appl..

[13]  Marco Furini,et al.  International Journal of Computer and Applications , 2010 .

[14]  Mohammad N. Alanazi.  Basic Rules to Build Correct UML Diagrams , 2009, 2009 International Conference on New Trends in Information and Service Science.

[15]  Angelo Gargantini,et al.  Experiments on the test case length in specification based test case generation , 2009, 2009 ICSE Workshop on Automation of Software Test.

[16]  Reda Alhajj,et al.  Reengineering relational databases to object-oriented: constructing the class hierarchy and migrating the data , 2001, Proceedings Eighth Working Conference on Reverse Engineering.