The week's pick
Random Articles
Reseach Article
Validation of UML Class Model through Finite-State Machine
| International Journal of Computer Applications |
| Foundation of Computer Science (FCS), NY, USA |
| Volume 41 - Number 19 |
| Year of Publication: 2012 |
| Authors: Vipin Saxena, Santosh Kumar |
10.5120/5648-7831
|
Vipin Saxena, Santosh Kumar . Validation of UML Class Model through Finite-State Machine. International Journal of Computer Applications. 41, 19 ( March 2012), 13-18. DOI=10.5120/5648-7831
Abstract
The Unified Modeling Language (UML) is an independent to programming language which has a collection of modeling tools through which software engineers and researcher represent the complex research problems in the diagrammatic form. The various tools represent the static as well as the dynamic behavior of an object-oriented software system. The state chart diagram is a well known tool of UML which shows the dynamic behavior of states of an object-oriented system. The entire life of an object is represented by this tool. The state transformation of an object is depending on the three major components like transition function, action and possible inputs. The paths through which an object changes its state are determined by the state chart diagrams. These paths can be represented in the graphical form with the use of Finite State Machine (FSM). The graphical representation is very useful for determining the correctness of the diagram. In the present work, an approach to validate the UML class model through FSM is described with a creation of the transition table. For testing purpose, some test cases are generated to test the correctness of UML state chart diagram by taking a real case study of Life Insurance Corporation (LIC) of India. An approach to verify the correctness of UML diagram is presented.
References
- OMG, "Unified Modeling Language Specification", http://www. omg. org (Accessed on 12th Sept. 2012), 1997.
- OMG, "Unified Modeling Language (UML)–Version 1. 5", OMG document formal/2003-3-01, (2003), Needham, MA.
- G. Booch, J. Rumbaugh and I. Jacobson, "The Unified Modeling Language user Guide", Twelfth Indian Reprint, Pearson Education, 2004.
- G. Booch, J. Rumbaugh and I. Jacobson, "The Unified Modeling Language User Guide", China Machine Press, Beijing, 2006.
- Hopcroft, J. E. , Ullmann J. D. , "Introduction to Automata Theory", Languages, and Computation, Addison-Wesley, 1979.
- Lee D. , Yannakakis M. , "Principles and Methods of testing Finite State Machines- A Survey", Proceeding of the IEEE, Vol. 84, No. 8, 1996, pp. 1090-1126.
- Luo G. , Von Bochmann G. , Petrenko A. F. , "Test Selection based on Communicating Nondeterministic Finite State Machines using a Generalized Wp-Method", IEEE Trans Software Engineering Vol. 20, No. 2, 1994, pp 149-162.
- C. J. Mallery, "On the Feasibility of Using FSM Approaches to Test Large Web Applications", May 2005.
- E. Roche and Y. Schabes, "Introduction to Finite-State Devices in Natural Language Processing", Mitsubishi Electric Research Laboratories, June 1996, (Accessed on http://www. merl. com).
- Chow T. S. , "Testing Software Design Modeled by Finite State Machines", IEEE Transactions on Software Engineering SE-4, 3(1978), 178- 187.
- Clifford E. Cummings, "The Fundamentals of Efficient Synthesizable Finite State Machine Design using NC-Verilog and BuildGates", International Cadence User Group 2002 San Jose, CA, Rev 1. 2.
- Bilung Lee and Edward A. Lee, "Interaction of Finite State Machines and Concurrency Models", Proceeding of Thirty Second Annual Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, California, November 1998.
Index Terms
Keywords