1系统分析
本系统假设一个酒店的有三种不同类型的房间，这三种房间分别有2张床（doublebeds），一张queenbed，一张kingbed。客户可以预定一个或多个房间在某一个特定的晚上，预定信息还应该包括客户的ID、客户的名字、入住的天数、房间的类型、押金金额，当系统收到预定信息时，系统将会检查是否有足够的房间满足客户的需求，如果满足系统将自动接受预定，并且酒店相应的房间数量会减少。相反，ML语言实现的酒店管理系统杨添琦/北京航空航天大学王元达/清华大学Intel联合研究中心摘要：随着现代信息技术的飞速发展，计算机在不同领域行业的应用越来越广泛和普及。大量地运用计算机进行信息管理和信息控制，很大程度地提高了工作效率。酒店管理系统就是典型的信息管理系统。本系统利用函数语言自身的一些优势，构建了一个灵活、高效、可维护性强的酒店管理系统。关键词：函数语言；酒店管理系统；信息管理系统就会拒绝预定。当客户离开酒店时，系统将会增加客户占用的房间数目。客户也可以在入住期间离开酒店。本系统使用signatureHOTELRESERVATION声明所有可操作函数，使用者可以直接调用这些函数实现相应的操作。在本系统的设计中，每一个函数可视为一个模块，这些模块分别对应不同的操作（预定、退房、客户信息、客房管理）。Signature的结构：signatureHOTELRESERVATIONS=sigdatatyperoomconfig=DOUBLE|QUEEN|KING;valempty:int->int->int->ressysvalreserve:ressys->resrecord->ressysvalcancel:ressys->int->ressysvalgetInventory:ressys->roomconfig->int->intvalgetInventorySpan:ressys->roomconfig->int->int->boolvalcompletedStays:ressys->int->intvalremoveCompletedStays:ressys->int->ressys本系统采用两种数据结构：resrecord保存所有的预定信息，ressys保存所有与酒店有关的信息，房间数量，预定记录。预定记录以list的形式保存在数据结构ressys中。定义一个数据类型roomconfig来区别房间类型。rerecord的数据结构：typeresrecord={id:int,firstname:string,lastname:string,date:int,night:int,occupant:int,roomconfigure:roomconfig}resssys的数据结构：typeressys={double:intlist,queen:intlist,king:intlist,res_record:resrecordlist，room_record:roomrecordlist}在处理客房信息时，我们定义了一个新的数据结构roomrecord，其中保存了房间的状态，例如客户请求、清洁、维修等信息。这个数据结构也是以list的形式保存在ressys中的。typeroomrecord={request:int,clean:int,revise:int}客户则可以在客户端发送具体的请求。请求通过网络传送给服务器，具体的客户请求信息会被保存在roomrecord这一结构体中。
2系统结构
（1）系统启动：系统自动加载不同类型的房间，房间数目。（2）预定操作：系统首先检查剩余的房间数目是否满足要求，如果满足则减去相应的房间。（3）退房操作：系统计算房费，增加相应的可以入住的房间。（4）客户信息：输入客户的ID或者姓名可以返回客户的全部预定信息，并且返回已入住的天数及剩余的预定天数。（5）客房管理：给定房间的类型和特定的日期检查当天空房的数目；可以查看一个特定房间的状态（客户请求、清洁、维修等信息）。
3异常处理
系统申明了一些异常处理操作：exceptionOverflowexceptionNoroomexceptionAlreadyreservedexceptionIdnotfound下面分别介绍每个操作所对应的情况：Overflow：进入预定模块，当所有房间都被占用，系统将自动提示Overflow的错误信息。Noroom：预订时，当房间数目不足，系统会发出Noroom的错误。Alreadyreserved：当客户用同一ID预定时，如果此ID可预订房间已经达到限制数量，系统将提示Alreadyreserved的错误。Idnotfound：当工作人员查询用户的入住信息时，输入相应的ID号，如果没有找到ID，则报此错误。系统中Idnotfound错误的检测：funcancel(canres:ressys)(canid:int)=letvalsid2=(searchid(#res_recordcanres)canid);inif(sid2=true)thenraiseIdnotfound
4技术特征
本体统具有如下特点：（1）系统设计全面，功能全面，考虑到了预定退房所需要的各种操作，酒店工作人员可以随时对当天的住房情况进行查询。（2）加入客房管理模块，可以对所有客房的状态进行监控，方便工作人员进行酒店管理。（3）可以随时查询已入住的客户信息，方便工作人员督促客户缴纳押金，办理退房手续。（4）整个系统是在sml环境下运行，系统具有函数语言本身的一些优势：灵活，高效，可维护性强等。
作者：杨添琦 王元达 单位：北京航空航天大学 清华大学Intel联合研究中心
