摘 要：隨著現(xiàn)代信息技術(shù)的飛速發(fā)展，計(jì)算機(jī)在不同領(lǐng)域行業(yè)的應(yīng)用越來(lái)越廣泛和普及。大量地運(yùn)用計(jì)算機(jī)進(jìn)行信息管理和信息控制，很大程度地提高了工作效率。酒店管理系統(tǒng)就是典型的信息管理系統(tǒng)。本系統(tǒng)利用函數(shù)語(yǔ)言自身的一些優(yōu)勢(shì)，構(gòu)建了一個(gè)靈活、高效、可維護(hù)性強(qiáng)的酒店管理系統(tǒng)。

關(guān)鍵詞：函數(shù)語(yǔ)言；酒店管理系統(tǒng)；信息管理系統(tǒng)

中圖分類(lèi)號(hào)：TP311.52

1 酒店管理系統(tǒng)分析

酒店管理信息系統(tǒng)具有高效、方便、準(zhǔn)確的優(yōu)勢(shì)，有利于酒店實(shí)現(xiàn)以“客人為中心”的服務(wù)。建設(shè)酒店管理信息系統(tǒng)是提高酒店經(jīng)營(yíng)管理效率的重要手段。而我國(guó)的酒店管理信息系統(tǒng)存在著一些較為突出的問(wèn)題，主要是因?yàn)橛脩粜枨蠓治霾痪唧w，導(dǎo)致開(kāi)發(fā)的信息系統(tǒng)功能不全面。應(yīng)該在用戶需求分析及可行性分析的基礎(chǔ)上設(shè)計(jì)符合特定酒店需要的酒店管理信息系統(tǒng)，并以安全性控制為手段保障酒店管理信息系統(tǒng)的正常運(yùn)轉(zhuǎn)。

本系統(tǒng)在詳細(xì)分析用戶需求的基礎(chǔ)上提出了具體的系統(tǒng)目標(biāo)：（1）酒店工作人員，可以通過(guò)系統(tǒng)進(jìn)行預(yù)訂、退房等操作，也可隨時(shí)查看客戶客房的信息。這些功能可以保障工作人員滿足客戶的基本需求也方便對(duì)整個(gè)酒店進(jìn)行管理。（2）系統(tǒng)也應(yīng)當(dāng)滿足客戶的基本需求，例如客戶應(yīng)當(dāng)能夠隨時(shí)要求酒店進(jìn)行清潔、維修等具體服務(wù)。

本系統(tǒng)采用函數(shù)語(yǔ)言（ML）實(shí)現(xiàn)酒店管理系統(tǒng)的開(kāi)發(fā)，函數(shù)語(yǔ)言具有閉包、高階函數(shù)、詞法作用域的特性，使得語(yǔ)言在安全性、效率優(yōu)化等方面還有很大的潛力可以挖掘；并且函數(shù)語(yǔ)言跟動(dòng)態(tài)腳本語(yǔ)言類(lèi)似，程序的升級(jí)靈活，無(wú)需重新編譯。自我升級(jí)也是一款智能服務(wù)系統(tǒng)所必須的基礎(chǔ)。

2 系統(tǒng)網(wǎng)絡(luò)設(shè)計(jì)

本系統(tǒng)采用Oracle提供數(shù)據(jù)服務(wù)。服務(wù)器端和客戶端均用sml環(huán)境運(yùn)行。系統(tǒng)采用了ML函數(shù)語(yǔ)言進(jìn)行開(kāi)發(fā)。

3 ML語(yǔ)言實(shí)現(xiàn)的酒店管理系統(tǒng)

3.1 系統(tǒng)分析

我們經(jīng)過(guò)一段時(shí)間努力開(kāi)發(fā)了一套包括預(yù)定、退房、房務(wù)等功能的信息管理系統(tǒng)。通過(guò)系統(tǒng)的實(shí)際運(yùn)行，證明該系統(tǒng)能進(jìn)行預(yù)定、退房。并能及時(shí)準(zhǔn)確反映客人基本信息及客房信息，方便酒店管理人員操作本系統(tǒng)對(duì)整個(gè)酒店進(jìn)行管理。客戶也可以隨時(shí)通過(guò)系統(tǒng)對(duì)服務(wù)器發(fā)送請(qǐng)求。

本系統(tǒng)假設(shè)一個(gè)酒店的有三種不同類(lèi)型的房間，這三種房間分別有2張床（double beds），一張queen bed，一張king bed。客戶可以預(yù)定一個(gè)或多個(gè)房間在某一個(gè)特定的晚上，預(yù)定信息還應(yīng)該包括客戶的ID、客戶的名字、入住的天數(shù)、房間的類(lèi)型、押金金額，當(dāng)系統(tǒng)收到預(yù)定信息時(shí)，系統(tǒng)將會(huì)檢查是否有足夠的房間滿足客戶的需求，如果滿足系統(tǒng)將自動(dòng)接受預(yù)定，并且酒店相應(yīng)的房間數(shù)量會(huì)減少。相反，就會(huì)拒絕預(yù)定。當(dāng)客戶離開(kāi)酒店時(shí)，系統(tǒng)將會(huì)增加客戶占用的房間數(shù)目?？蛻粢部梢栽谌胱∑陂g離開(kāi)酒店。

本系統(tǒng)使用signature HOTELRESERVATION聲明所有可操作函數(shù)，使用者可以直接調(diào)用這些函數(shù)實(shí)現(xiàn)相應(yīng)的操作。在本系統(tǒng)的設(shè)計(jì)中，每一個(gè)函數(shù)可視為一個(gè)模塊，這些模塊分別對(duì)應(yīng)不同的操作（預(yù)定、退房、客戶信息、客房管理）。

Signature的結(jié)構(gòu)：

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

本系統(tǒng)采用兩種數(shù)據(jù)結(jié)構(gòu)：resrecord保存所有的預(yù)定信息，ressys保存所有與酒店有關(guān)的信息，房間數(shù)量，預(yù)定記錄。預(yù)定記錄以list的形式保存在數(shù)據(jù)結(jié)構(gòu)ressys中。定義一個(gè)數(shù)據(jù)類(lèi)型roomconfig來(lái)區(qū)別房間類(lèi)型。

rerecord的數(shù)據(jù)結(jié)構(gòu)：

type resrecord = {id ： int，firstname ： string，lastname ： string，date ： int，night ： int，occupant ： int，roomconfigure ： roomconfig}

resssys的數(shù)據(jù)結(jié)構(gòu)：

type ressys = {double ： int list ， queen ： int list ，king ： int list ，res_record： resrecord list，room_record ： roomrecord list}

在處理客房信息時(shí)，我們定義了一個(gè)新的數(shù)據(jù)結(jié)構(gòu)roomrecord，其中保存了房間的狀態(tài)，例如客戶請(qǐng)求、清潔、維修等信息。這個(gè)數(shù)據(jù)結(jié)構(gòu)也是以list的形式保存在ressys中的。

type roomrecord = {request ： int ， clean ： int ， revise ： int }

客戶則可以在客戶端發(fā)送具體的請(qǐng)求。請(qǐng)求通過(guò)網(wǎng)絡(luò)傳送給服務(wù)器，具體的客戶請(qǐng)求信息會(huì)被保存在roomrecord這一結(jié)構(gòu)體中。

3.2 系統(tǒng)結(jié)構(gòu)

（1）系統(tǒng)啟動(dòng)：系統(tǒng)自動(dòng)加載不同類(lèi)型的房間，房間數(shù)目。（2）預(yù)定操作：系統(tǒng)首先檢查剩余的房間數(shù)目是否滿足要求，如果滿足則減去相應(yīng)的房間。（3）退房操作：系統(tǒng)計(jì)算房費(fèi)，增加相應(yīng)的可以入住的房間。（4）客戶信息：輸入客戶的ID或者姓名可以返回客戶的全部預(yù)定信息，并且返回已入住的天數(shù)及剩余的預(yù)定天數(shù)。（5）客房管理：給定房間的類(lèi)型和特定的日期檢查當(dāng)天空房的數(shù)目；可以查看一個(gè)特定房間的狀態(tài)（客戶請(qǐng)求、清潔、維修等信息）

4 異常處理

系統(tǒng)申明了一些異常處理操作：

exception Overflow

exception Noroom

exception Alreadyreserved

exception Idnotfound

下面分別介紹每個(gè)操作所對(duì)應(yīng)的情況：

Overflow：進(jìn)入預(yù)定模塊，當(dāng)所有房間都被占用，系統(tǒng)將自動(dòng)提示Overflow的錯(cuò)誤信息。

Noroom：預(yù)訂時(shí)，當(dāng)房間數(shù)目不足，系統(tǒng)會(huì)發(fā)出Noroom的錯(cuò)誤。

Alreadyreserved：當(dāng)客戶用同一ID預(yù)定時(shí)，如果此ID可預(yù)訂房間已經(jīng)達(dá)到限制數(shù)量，系統(tǒng)將提示Alreadyreserved的錯(cuò)誤。

Idnotfound：當(dāng)工作人員查詢用戶的入住信息時(shí)，輸入相應(yīng)的ID號(hào)，如果沒(méi)有找到ID，則報(bào)此錯(cuò)誤。

系統(tǒng)中Idnotfound錯(cuò)誤的檢測(cè)：

fun cancel （canres ： ressys） （canid ： int） = let

val sid2 = （searchid （#res_record canres） canid）；

in

if（sid2 = true） then

raise Idnotfound

5 技術(shù)特征

本體統(tǒng)具有如下特點(diǎn)：（1）系統(tǒng)設(shè)計(jì)全面，功能全面，考慮到了預(yù)定退房所需要的各種操作，酒店工作人員可以隨時(shí)對(duì)當(dāng)天的住房情況進(jìn)行查詢。（2）加入客房管理模塊，可以對(duì)所有客房的狀態(tài)進(jìn)行監(jiān)控，方便工作人員進(jìn)行酒店管理。（3）可以隨時(shí)查詢已入住的客戶信息，方便工作人員督促客戶繳納押金，辦理退房手續(xù)。（4）整個(gè)系統(tǒng)是在sml環(huán)境下運(yùn)行，系統(tǒng)具有函數(shù)語(yǔ)言本身的一些優(yōu)勢(shì)：靈活，高效，可維護(hù)性強(qiáng)等。

參考文獻(xiàn)：

[1]王晴.管理信息系統(tǒng)在酒店管理中的應(yīng)用研究[N].科技創(chuàng)新導(dǎo)報(bào)，2008.

作者單位：北京航空航天大學(xué)，北京 100191；清華大學(xué) Intel聯(lián)合研究中心，北京 100084