ATM服务支撑系统(SP,Service Provider)是一个由ATM厂商为其产品各模块(循环模块,打印模块,读卡模块等)提供的、符合WOSA/CEN XFS标准的、供银行ATM应用程序完成ATM业务动作(取款,存款,打印收据等)的支撑系统。当前,在ATM服务支撑系统软件设计和实现过程中面临着各种挑战。ATM物理模块多,每个模块的业务逻辑多且复杂。ATM服务支撑系统除了要考虑业务逻辑数据以外,还需要实时高效的获取和控制ATM的各个机械模块状态数据。使用传统的面向过程或者是简单的面向对象方法实现系统都会是一件高度复杂的事情。因此,本论文欲研究设计并实现一个高可扩展性,高性能,高可维护性的ATM服务支撑系统。本文的研究工作主要有以下几个方面:1.根据WOSA/XFS 3.10标准需求分析WOSA/XFS系列标准是全球金融设备行业的一套标准协议,叙述了金融设备的通用需求。基于WOSA/XFS系列标准,本文首先完成对ATM的需求分析。该需求分析可用于设计ATM服务支撑系统需要实现的功能和服务支撑系统的整体架构。2.服务支撑系统Framework设计和实现基于ATM的复杂特性,服务支撑系统框架使用分层结构进行设计,提供系统的可扩展性。完成了包括XFS Manager层、命令调度层、有限状态机层和设备模块层的设计和实现。用于为ATM服务支撑系统提供构造基础,使得开发和维护ATM服务支撑系统更加高效。3.为循环机模块的业务构造状态迁移图基于服务支撑系统框架的有限状态机层,完成对循环机个功能的状态迁移图的设计。状态迁移图是从粗粒度反应出设备在各种事件激励下的一个状态变化流。完整的状态迁移图能指导模块SP的开发,并且在出现异常时能快速定位。4.根据状态迁移图使用有限状态机实现循环机模块的服务支撑系统基于ATM的功能的状态迁移图,完成对模块服务支撑系统实现层的快速、高效的开发。本课题将以循环机模块为例来使用有限状态机Framework实现其业务,包括存钱、取钱、回收等。因此,本文所提出的高扩展、高可维护性的ATM服务支撑系统将对ATM行业领域发展具有重大且深远的意义。