A Validation Technique for UML Activity Model

Abstract

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.