CFP last date
20 January 2025
Call for Paper
February Edition
IJCA solicits high quality original research papers for the upcoming February edition of the journal. The last date of research paper submission is 20 January 2025

Submit your paper
Know more
The week's pick
Responsive image
SFLA-Based Line Balancing and Task Optimization in Master-Slave Controlled Hanger Transportation Systems for Garment Production

Duc Hoang Nguyen
Random Articles
Reseach Article

Validation of UML Class Model through Finite-State Machine

by Vipin Saxena, Santosh Kumar
journal cover thumbnail

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

@article{ 10.5120/5648-7831,
author = { Vipin Saxena, Santosh Kumar },
title = { Validation of UML Class Model through Finite-State Machine },
journal = { International Journal of Computer Applications },
issue_date = { March 2012 },
volume = { 41 },
number = { 19 },
month = { March },
year = { 2012 },
issn = { 0975-8887 },
pages = { 13-18 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume41/number19/5648-7831/ },
doi = { 10.5120/5648-7831 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T20:30:00.171292+05:30
%A Vipin Saxena
%A Santosh Kumar
%T Validation of UML Class Model through Finite-State Machine
%J International Journal of Computer Applications
%@ 0975-8887
%V 41
%N 19
%P 13-18
%D 2012
%I Foundation of Computer Science (FCS), NY, USA
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
  1. OMG, "Unified Modeling Language Specification", http://www. omg. org (Accessed on 12th Sept. 2012), 1997.
  2. OMG, "Unified Modeling Language (UML)–Version 1. 5", OMG document formal/2003-3-01, (2003), Needham, MA.
  3. G. Booch, J. Rumbaugh and I. Jacobson, "The Unified Modeling Language user Guide", Twelfth Indian Reprint, Pearson Education, 2004.
  4. G. Booch, J. Rumbaugh and I. Jacobson, "The Unified Modeling Language User Guide", China Machine Press, Beijing, 2006.
  5. Hopcroft, J. E. , Ullmann J. D. , "Introduction to Automata Theory", Languages, and Computation, Addison-Wesley, 1979.
  6. 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.
  7. 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.
  8. C. J. Mallery, "On the Feasibility of Using FSM Approaches to Test Large Web Applications", May 2005.
  9. 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).
  10. Chow T. S. , "Testing Software Design Modeled by Finite State Machines", IEEE Transactions on Software Engineering SE-4, 3(1978), 178- 187.
  11. 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.
  12. 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

Computer Science
Information Sciences

Keywords

Uml Fsm Class Diagram State Diagram Transition Table

Powered by PhDFocusTM