The Formal Design Model of an Automatic Teller Machine (ATM)
Salem S. M. Khalifa and Kamarudin Saadan
University Sains Islam Malaysia, Faculty of Science & Technology,Bandar Baru Nilai, 71800 Nilai, Negeri Sembilan, Malaysia
Abstract—Automated teller machines (ATM) have become a part and parcel of supermarkets, convenience stores, travel centers and banking. ATM is a real-time system that is very
complex in design and application. This paper presents the formal design, requirement, a distributed approach for the ATM networks, and type of the ATM system.
Index Terms—ATM, real-time systems, formal design models, system behaviour specification, Distributed Database System (DDS).
Cite: Salem S. M. Khalifa and Kamarudin Saadan, "The Formal Design Model of an Automatic Teller Machine (ATM)," Lecture Notes on Information Theory, Vol.1, No.1, pp. 56-59, March 2013. doi: 10.12720/lnit.1.1.56-59
complex in design and application. This paper presents the formal design, requirement, a distributed approach for the ATM networks, and type of the ATM system.
Index Terms—ATM, real-time systems, formal design models, system behaviour specification, Distributed Database System (DDS).
Cite: Salem S. M. Khalifa and Kamarudin Saadan, "The Formal Design Model of an Automatic Teller Machine (ATM)," Lecture Notes on Information Theory, Vol.1, No.1, pp. 56-59, March 2013. doi: 10.12720/lnit.1.1.56-59