ML语言实现的酒店管理系统-6页精选文档

ML语言实现的酒店管理系统
1 酒店管理系统分析
酒店管理信息系统具有高效、方便、准确的优势，有利于酒店实现以“客人为中心”的服务。

建设酒店管理信息系统是提高酒店经营管理效率的重要手段。

而我国的酒店管理信息系统存在着一些较为突出的问题，主要是因为用户需求分析不具体，导致开发的信息系统功能不全面。

应该在用户需求分析及可行性分析的基础上设计符合特定酒店需要的酒店管理
信息系统，并以安全性控制为手段保障酒店管理信息系统的正常运转。

本系统在详细分析用户需求的基础上提出了具体的系统目标：（1）酒店工作人员，可以通过系统进行预订、退房等操作，也可随时查看客户客房的信息。

这些功能可以保障工作人员满足客户的基本需求也方便对整个酒店进行管理。

（2）系统也应当满足客户的基本需求，例如客户应当能够随时要求酒店进行清洁、维修等具体服务。

本系统采用函数语言（ML）实现酒店管理系统的开发，函数语言具有闭包、高阶函数、词法作用域的特性，使得语言在安全性、效率优化等方面还有很大的潜力可以挖掘；并且函数语言跟动态脚本语言类似，程序的升级灵活，无需重新编译。

自我升级也是一款智能服务系统所必须的基础。

2 系统网络设计
本系统采用Oracle提供数据服务。

服务器端和客户端均用sml环境运行。

系统采用了ML函数语言进行开发。

3 ML语言实现的酒店管理系统
3.1 系统分析
我们经过一段时间努力开发了一套包括预定、退房、房务等功能的信息管理系统。

通过系统的实际运行，证明该系统能进行预定、退房。

并能及时准确反映客人基本信息及客房信息，方便酒店管理人员操作本系统对整个酒店进行管理。

客户也可以随时通过系统对服务器发送请求。

本系统假设一个酒店的有三种不同类型的房间，这三种房间分别有2张床（double beds），一张queen bed，一张king bed。

客户可以预定一个或多个房间在某一个特定的晚上，预定信息还应该包括客户的ID、客户的名字、入住的天数、房间的类型、押金金额，当系统收到预定信息时，系统将会检查是否有足够的房间满足客户的需求，如果满足系统将自动接受预定，并且酒店相应的房间数量会减少。

相反，就会拒绝预定。

当客户离开酒店时，系统将会增加客户占用的房间数目。

客户也可以在入住期间离开酒店。

本系统使用signature HOTELRESERVATION声明所有可操作函数，使用者可以直接调用这些函数实现相应的操作。

在本系统的设计中，每一个函数可视为一个模块，这些模块分别对应不同的操作（预定、退房、客户信息、客房管理）。

Signature的结构：
signature HOTELRESERVATIONS =
sig
datatype roomconfig = DOUBLE
| QUEEN
| KING
val empty ： int->int->int->ressys
val reserve ： ressys -> resrecord -> ressys
val cancel ： ressys -> int -> ressys
val getInventory ： ressys -> roomconfig -> int -> int
val getInventorySpan ： ressys -> roomconfig -> int -> int -> bool
val completedStays ： ressys -> int -> int
val removeCompletedStays ： ressys -> int -> ressys
本系统采用两种数据结构：resrecord保存所有的预定信息，ressys 保存所有与酒店有关的信息，房间数量，预定记录。

预定记录以list的形式保存在数据结构ressys中。

定义一个数据类型roomconfig来区别房间类型。

rerecord的数据结构：
type resrecord = {id ： int，firstname ： string，lastname ：string，date ： int，night ： int，occupant ： int，roomconfigure ：roomconfig}
resssys的数据结构：
type ressys = {double ： int list ， queen ： int list ，king ：int list ，res_record： resrecord list，room_record ： roomrecord list}
在处理客房信息时，我们定义了一个新的数据结构roomrecord，其中保存了房间的状态，例如客户请求、清洁、维修等信息。

这个数据结构也
是以list的形式保存在ressys中的。

type roomrecord = {request ： int ， clean ： int ， revise ：int }
客户则可以在客户端发送具体的请求。

请求通过网络传送给服务器，具体的客户请求信息会被保存在roomrecord这一结构体中。

3.2 系统结构
（1）系统启动：系统自动加载不同类型的房间，房间数目。

（2）预定操作：系统首先检查剩余的房间数目是否满足要求，如果满足则减去相应的房间。

（3）退房操作：系统计算房费，增加相应的可以入住的房间。

（4）客户信息：输入客户的ID或者姓名可以返回客户的全部预定信息，并且返回已入住的天数及剩余的预定天数。

（5）客房管理：给定房间的类型和特定的日期检查当天空房的数目；可以查看一个特定房间的状态（客户请求、清洁、维修等信息）
4 异常处理
系统申明了一些异常处理操作：
exception Overflow
exception Noroom
exception Alreadyreserved
exception Idnotfound
下面分别介绍每个操作所对应的情况：
Overflow：进入预定模块，当所有房间都被占用，系统将自动提示Overflow的错误信息。

Noroom：预订时，当房间数目不足，系统会发出Noroom的错误。

Alreadyreserved：当客户用同一ID预定时，如果此ID可预订房间已经达到限制数量，系统将提示Alreadyreserved的错误。

Idnotfound：当工作人员查询用户的入住信息时，输入相应的ID号，如果没有找到ID，则报此错误。

系统中Idnotfound错误的检测：
fun cancel （canres ： ressys）（canid ： int） = let
val sid2 = （searchid （#res_record canres） canid）；
in
if（sid2 = true） then
raise Idnotfound
5 技术特征
本体统具有如下特点：（1）系统设计全面，功能全面，考虑到了预定退房所需要的各种操作，酒店工作人员可以随时对当天的住房情况进行查询。

（2）加入客房管理模块，可以对所有客房的状态进行监控，方便工作人员进行酒店管理。

（3）可以随时查询已入住的客户信息，方便工作人员督促客户缴纳押金，办理退房手续。

（4）整个系统是在sml环境下运行，系统具有函数语言本身的一些优势：灵活，高效，可维护性强等。

希望以上资料对你有所帮助，附励志名言3条：
1、要接受自己行动所带来的责任而非自己成就所带来的荣耀。

2、每个人都必须发展两种重要的能力适应改变与动荡的能力以及为长期目标延缓享乐的能力。

3、将一付好牌打好没有什么了不起能将一付坏牌打好的人才值得钦佩。