- 1、本文档共7页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
ML语言实现酒店管理系统
ML语言实现酒店管理系统 摘 要:随着现代信息技术的飞速发展,计算机在不同领域行业的应用越来越广泛和普及。大量地运用计算机进行信息管理和信息控制,很大程度地提高了工作效率。酒店管理系统就是典型的信息管理系统。本系统利用函数语言自身的一些优势,构建了一个灵活、高效、可维护性强的酒店管理系统。
关键词:函数语言;酒店管理系统;信息管理系统
中图分类号:TP311.52
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的数据结
文档评论(0)