Formal Verification of Finger Print ATM Transaction through Real Time Constraint Notation RTCN
In this paper we propose the Formal Verification of existing models like in banking sector ie ATM Transaction through biometric (Finger Print) with the help of Real Time Constraint Notation. Finger print recognition is most popular and commonest method of using the biometrics. In the finger print technology, the uniqueness of epidermis of fingers is utilized for identification of user. The user has to keep its finger on a sensory pad, which reads the ridges of epidermis of finger and try to match it with available data of the finger with the bank.
Sequence Diagrams (SDs), Finite State Machine (FSM) have proven useful for describing transaction-oriented systems, and can form a basis for creating state charts. However, Finger Print ATM system require special support for branching, state information, and composing SDs.
Keywords: SD_Sequence Diagram, FPI_Finger Print Impression, DB_Data Base,OCL_Object Constraint Language, FSM_Finite State Machine
Download Full-Text
