文章基本信息

标题：Formal Verification of Finger Print ATM Transaction through Real Time Constraint Notation RTCN
作者：Vivek Kumar Singh Tripathi S.P R P Agarwal Singh J.B.
期刊名称：International Journal of Computer Science Issues
印刷版ISSN：1694-0784
电子版ISSN：1694-0814
出版年度：2011
卷号：8
期号：3
出版社：IJCSI Press
摘要：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.
关键词：SD_Sequence Diagram; FPI_Finger Print Impression; DB_Data Base;OCL_Object Constraint Language; FSM_Finite State Machine