基于管理規(guī)則的配置方法和設(shè)備的制作方法
【專利摘要】一種系統(tǒng)包括用于應(yīng)用規(guī)則的規(guī)則引擎,其中該規(guī)則用于管理系統(tǒng)中的裝置。每個規(guī)則定義當(dāng)滿足至少一個條件時將被執(zhí)行的至少一個動作。為了定義規(guī)則,配置設(shè)備(200)包括:用于獲得用于每個裝置的可能的狀態(tài)和可執(zhí)行的功能的描述的裝置(208);用于將該描述轉(zhuǎn)換成語義表達(dá)的裝置(205,206);用于向用戶接口提供語義表達(dá)的裝置(205,201);允許用戶通過用戶接口根據(jù)基于狀態(tài)的語義表達(dá)的至少一個條件以及基于功能的語義表達(dá)的至少一個動作定義至少一個管理規(guī)則的裝置;以及將通過用戶接口語義地定義的每個管理規(guī)則轉(zhuǎn)換成能夠由規(guī)則引擎解釋的指令的裝置(204)。
【專利說明】基于管理規(guī)則的配置方法和設(shè)備
【技術(shù)領(lǐng)域】
[0001]本發(fā)明涉及基于管理規(guī)則來配置系統(tǒng)中裝置的管理,即監(jiān)測和控制,其中該管理規(guī)則限定當(dāng)滿足至少一個條件時將由系統(tǒng)執(zhí)行的至少一個動作。
【背景技術(shù)】
[0002]具有網(wǎng)絡(luò)接口的消費(fèi)電子裝置和可遠(yuǎn)距離控制的家庭自動化裝置變得越來越常見。這樣尤其能夠在居所或商業(yè)房屋中向用戶提供新服務(wù)。因此可建立管理系統(tǒng)(即用于監(jiān)控和控制)以管理這些新的服務(wù)。
[0003]這種管理系統(tǒng)能夠檢測其環(huán)境中存在的裝置和得到其描述。例如可以使用在ISO/IEC文件29341-1:2008中限定的UPnP(通用即插即用)標(biāo)準(zhǔn)。在該標(biāo)準(zhǔn)中,具體可使用SSDP(簡單服務(wù)發(fā)現(xiàn)協(xié)議)以發(fā)現(xiàn)管理系統(tǒng)的環(huán)境中存在的裝置。因此,根據(jù)UPnP協(xié)議,裝置通過SDDP NOTIFY類型的消息指示其存在。然后系統(tǒng)的控制點(diǎn)發(fā)送HTTP GET類型的請求并獲得呈XML (可擴(kuò)展標(biāo)記語言)形式的響應(yīng)、該裝置所能夠處于的狀態(tài)和該裝置能夠執(zhí)行的功能的描述。
[0004]利用其他通信技術(shù)和根據(jù)其他發(fā)現(xiàn)和命令協(xié)議可得到相似的結(jié)果,例如基于IEEE802.15.4規(guī)范的用于低速率無線個人局域網(wǎng)(LR-WPAN)的物理層和無線媒體接入控制的ZigBee (注冊商標(biāo))技術(shù)。
[0005]管理系統(tǒng)可通過管理規(guī)則(也被稱為商業(yè)規(guī)則)被配置。這些規(guī)則由至少一個條件和至少一個動作限定。因此,當(dāng)管理規(guī)則的條件滿足時,系統(tǒng)通過規(guī)則引擎(商業(yè)規(guī)則引擎)實施相關(guān)聯(lián)的動作。這種規(guī)則引擎的目的是將商業(yè)邏輯(即將實施的方案)與系統(tǒng)邏輯分離。因此商業(yè)邏輯可改變并保持與其應(yīng)用程序相分離。
[0006]因此,由于管理規(guī)則的限定和規(guī)則引擎的使用,用戶能夠定制管理該用戶可利用的裝置(例如關(guān)于家庭自動化或多媒體服務(wù))的系統(tǒng)的行為。
[0007]然而,限定這些管理規(guī)則需要專業(yè)技能以解釋在管理系統(tǒng)中產(chǎn)生的事件和消息并合適地對規(guī)則引擎進(jìn)行編程。因而,沒有這些專業(yè)技能的用戶在沒有幫助的情況下難以或甚至不可能限定新的管理規(guī)則及因此根據(jù)其希望的定制其環(huán)境。由于與編程規(guī)則引擎和解釋所產(chǎn)生的事件和消息所需要的專業(yè)技能相關(guān)的限制,所以現(xiàn)有技術(shù)的管理系統(tǒng)缺乏適應(yīng)性。
[0008]期望的是克服現(xiàn)有技術(shù)的各種缺點(diǎn)。
[0009]尤其期望的是提供一種解決方案,其允許用于基于管理規(guī)則、以不需要任何與規(guī)則引擎的編程和系統(tǒng)中產(chǎn)生的事件或消息的解釋相關(guān)技能的簡單方式管理系統(tǒng)中的裝置的配置。
【發(fā)明內(nèi)容】
[0010]本發(fā)明涉及用于基于管理規(guī)則管理系統(tǒng)中的裝置的配置方法,其中管理規(guī)則定義當(dāng)至少一個條件滿足時將由系統(tǒng)執(zhí)行的至少一個動作,該系統(tǒng)包括用于實施該管理規(guī)則的規(guī)則引擎。該方法使得配置設(shè)備獲得系統(tǒng)中的每個裝置能夠處于的狀態(tài)的描述,并獲得系統(tǒng)中的每個裝置能夠執(zhí)行的功能的描述。該方法還使得配置設(shè)備:將狀態(tài)和功能的描述轉(zhuǎn)換成各自的語義表達(dá);將狀態(tài)和功能的語義表達(dá)提供給用戶接口 ;允許用戶通過用戶接口根據(jù)基于狀態(tài)的語義表達(dá)的至少一個狀態(tài)以及基于功能的語義表達(dá)至少一個動作定義至少一個管理規(guī)則;以及將通過用戶接口語義地定義的每個管理規(guī)則轉(zhuǎn)換成能夠由規(guī)則引擎解釋的指令。
[0011]因此,由于狀態(tài)和動作的語義轉(zhuǎn)換,用戶可以不需要與規(guī)則引擎的編程相關(guān)或與系統(tǒng)中產(chǎn)生的事件或消息的解釋相關(guān)的任何技能的簡單方式定義管理規(guī)則。這是因為語義方法通過用戶接口允許用戶使用自然語言理解系統(tǒng)中的可能狀態(tài)和功能并允許其自然地定義將由系統(tǒng)應(yīng)用的管理規(guī)則。
[0012]根據(jù)【具體實施方式】中,當(dāng)狀態(tài)或功能與可取多個值的至少一個屬性相關(guān)聯(lián)時,配置設(shè)備根據(jù)該多個值將狀態(tài)或功能的描述轉(zhuǎn)換成語義表達(dá)。
[0013]因此,規(guī)則引擎的編程的技術(shù)特征更加不明顯。
[0014]根據(jù)具體的實施方式,配置設(shè)備根據(jù)用戶接口可得到的多個語言的選擇將狀態(tài)和功能的描述轉(zhuǎn)換成預(yù)定語言的語義表達(dá)。
[0015]因此,管理規(guī)則的定義對于用戶更自然。
[0016]根據(jù)【具體實施方式】,配置設(shè)備對于每種裝置根據(jù)其類型通過使用每個狀態(tài)或功能與對應(yīng)的語義表達(dá)的至少一個匹配詞典將狀態(tài)和功能的描述轉(zhuǎn)換成語義表達(dá)。
[0017]因此,可簡單快速地實施語義表達(dá)的轉(zhuǎn)換。
[0018]根據(jù)【具體實施方式】,配置設(shè)備允許用戶通過圖形接口基于系統(tǒng)的用戶配置激活的事件或時間標(biāo)記事件定義至少一個管理規(guī)則。
[0019]因此可向用于提供更大范圍的狀態(tài)。
[0020]根據(jù)【具體實施方式】,配置設(shè)備允許通過用戶接口廣播定義的管理規(guī)則,并且配置設(shè)備允許通過用戶接口廣播用于與定義的條件或動作相關(guān)的每個裝置的語義表達(dá),該語義表達(dá)對應(yīng)于與對應(yīng)于表示分別與定義的條件或動作相關(guān)的狀態(tài)或動作的詞語的語義表達(dá)相關(guān)聯(lián)。
[0021]因此,通過廣播(例如顯示)使用裝置的名稱和表示其狀態(tài)和功能的詞語的句子的一部分,管理規(guī)則的定義對用戶更自然。
[0022]根據(jù)具體的實施方式,配置設(shè)備允許基于每個定義的條件或動作對當(dāng)前定義的管理規(guī)則的顯示自動插入相關(guān)聯(lián)的語義表達(dá)。
[0023]因此,通過插入這些相關(guān)聯(lián)的語義表達(dá),以句子的形式實現(xiàn)了當(dāng)前定義的管理規(guī)則的廣播,從而管理規(guī)則的定義對用戶更自然。
[0024]根據(jù)【具體實施方式】,配置設(shè)備允許通過用戶接口選擇多個裝置并允許使該選擇的裝置與條件或動作相關(guān)聯(lián)。
[0025]因此,可加快和幫助某些管理規(guī)則的定義。
[0026]根據(jù)【具體實施方式】,用戶接口為圖形接口,并且配置設(shè)備允許通過該圖形接口顯示根據(jù)裝置的地理分布和/或根據(jù)裝置提供的服務(wù)形成的成組的裝置的表現(xiàn)。
[0027]因此,管理規(guī)則的定義變得更加方便。
[0028]根據(jù)【具體實施方式】,配置設(shè)備根據(jù)各種協(xié)議接收使用各種格式的裝置的狀態(tài)和功能的描述,并將接收到的描述轉(zhuǎn)換成相同格式的描述。
[0029]因此,可以使各種類型的裝置的管理集中在同一系統(tǒng)中,并且用戶可容易地定義
管理規(guī)則。
[0030]本發(fā)明涉及用于基于管理規(guī)則管理系統(tǒng)中的裝置的配置設(shè)備,其中管理規(guī)則定義當(dāng)至少一個條件滿足時將由系統(tǒng)執(zhí)行的至少一個動作,該系統(tǒng)包括用于實施每個管理規(guī)則的規(guī)則引擎。該配置設(shè)備包括:用于獲得系統(tǒng)中的每個裝置能夠處于的狀態(tài)的描述的部件,以及用于獲得系統(tǒng)中的每個裝置能夠執(zhí)行的功能的描述的部件。該配置設(shè)備還包括:用于將狀態(tài)和功能的描述轉(zhuǎn)換成各自的語義表達(dá)的部件;用于將狀態(tài)和動作的語義表達(dá)提供給用戶接口的部件;用于允許用戶通過用戶接口根據(jù)基于狀態(tài)的語義表達(dá)的至少一個條件和基于功能的語義表達(dá)的至少一個動作定義至少一個管理規(guī)則的部件;以及用于將通過用戶接口語義地定義的每個管理規(guī)則轉(zhuǎn)換成能夠由規(guī)則引擎解釋的指令的部件。
[0031]本發(fā)明還涉及用于定義用于管理系統(tǒng)中的裝置的管理規(guī)則的圖形接口,每個管理規(guī)則定義當(dāng)至少一個條件滿足時將由系統(tǒng)執(zhí)行的至少一個動作。該圖形接口包括:第一顯示區(qū)域,用于顯示裝置的表示并允許用戶選擇裝置中的至少之一;第二顯示區(qū)域,用于顯示表示所選擇的至少一個裝置能夠處于的各個狀態(tài)的語義表達(dá)并允許用戶做出選擇;第三顯示區(qū)域,用于顯示表示所選擇的至少一個裝置能夠執(zhí)行的功能的語義表達(dá);以及第四顯示區(qū)域,用于顯示當(dāng)前定義的管理規(guī)則。該圖形接口還使得第二顯示區(qū)域和第三顯示區(qū)域適于允許用戶根據(jù)基于在第一顯示區(qū)域中顯示的狀態(tài)的語義表達(dá)的至少一個條件和基于在第二顯示區(qū)域中顯示的功能的語義表達(dá)的至少一個動作定義至少一個管理規(guī)則。
[0032]本發(fā)明還涉及旨在由計算機(jī)系統(tǒng)或處理器讀取的計算機(jī)程序。該計算機(jī)程序包括用于當(dāng)該計算機(jī)程序由計算機(jī)系統(tǒng)或處理器執(zhí)行時在任何實施方式中實施上述方法的指令。本發(fā)明還涉及包括這種計算機(jī)程序的存儲方法。
[0033]附圖簡要說明
[0034]通過閱讀下面參照附圖給出的示例性實施方式的描述,本發(fā)明的上述及其他特征將更清楚地呈現(xiàn),在附圖中:
[0035]-圖1示意性地示出了可實施本發(fā)明的裝置管理系統(tǒng);
[0036]-圖2示意性地示出了用于配置管理系統(tǒng)的設(shè)備的架構(gòu);
[0037]-圖3示意性地示出了控制包括配置設(shè)備的管理系統(tǒng)的單元的架構(gòu);
[0038]-圖4示意性地示出了當(dāng)檢測到管理系統(tǒng)的拓?fù)浣Y(jié)構(gòu)改變時由配置設(shè)備實施的算法;
[0039]-圖5示意性地示出了當(dāng)將由管理系統(tǒng)應(yīng)用的管理規(guī)則被限定時由配置設(shè)備實施的算法;
[0040]-圖6示意性地示出了由圖1的管理系統(tǒng)實施以應(yīng)用管理規(guī)則的算法;
[0041]-圖7示意性地示出了允許用戶限定將由管理系統(tǒng)應(yīng)用的管理規(guī)則的圖形接口。
【具體實施方式】
[0042]圖1示意性地示出了可實施本發(fā)明的裝置管理系統(tǒng)100。
[0043]系統(tǒng)100允許在給定的環(huán)境中管理裝置。例如,本實施例為私人的家庭環(huán)境,但也可以是其他類型的環(huán)境,如商業(yè)環(huán)境。[0044]根據(jù)第一示例,系統(tǒng)100管理適于家庭自動化的裝置,如燈、窗簾或加熱裝置等,系統(tǒng)100的控制單元110可遠(yuǎn)距離控制和監(jiān)測這些裝置。根據(jù)第二示例,系統(tǒng)100管理提供多媒體服務(wù)的裝置,如數(shù)字記錄器、解碼盒(機(jī)頂盒)、攝像機(jī)等,這些裝置也可由控制單元110遠(yuǎn)距離地控制和監(jiān)測。
[0045]因此系統(tǒng)100取決于這些裝置提供的功能是否實際被激活,來管理可處于多種狀態(tài)的裝置。以家庭自動化為示例,燈類型的裝置可處于“開”狀態(tài)或“關(guān)”狀態(tài),并提供照明或不照明的功能。一些裝置由于可提供多種功能,所以其能夠處于很多種狀態(tài)。
[0046]根據(jù)通信技術(shù),控制單元110包括多個接口 111、112、113,無論這些接口是無線的或有線的。接口 111、112、113允許控制單元110與裝置根據(jù)各種協(xié)議和/或基于各種通信媒介進(jìn)行通信。因此控制單元110通過接口 111連接至裝置121,通過接口 112連接至裝置131、132、133以及通過接口 113連接至裝置122。
[0047]如下文將詳細(xì)描述的,在系統(tǒng)100中,控制單元110應(yīng)用由用戶定義的管理規(guī)則。
[0048]圖2示意性地示出了管理系統(tǒng)100的配置設(shè)備200的架構(gòu)。
[0049]配置設(shè)備200允許用戶定義將由控制單元110應(yīng)用的管理規(guī)則。配置設(shè)備200可包括在控制單元110中或與其分開。圖2中示出了第一種情況。在第二種情況中,控制單元110包括用于存儲由配置設(shè)備200提供的規(guī)則的存儲器和用于應(yīng)用規(guī)則的規(guī)則引擎。應(yīng)注意,在第二種情況中,配置設(shè)備200并不必須包括規(guī)則引擎,因為配置設(shè)備200僅用于定義管理規(guī)則而不用于應(yīng)用規(guī)則。
[0050]配置設(shè)備200包括格式化模塊210,其用于通過一組接口 305將根據(jù)各種協(xié)議所接收的消息形式的數(shù)據(jù)格式化。這組接口 305在圖3中被示出并對應(yīng)于控制單元110的所有接口 111、112、113。這是因為,為了使用戶能夠定義管理規(guī)則,配置設(shè)備200從系統(tǒng)1001中的裝置接收這些裝置所能夠處于的狀態(tài)的描述以及這些裝置能夠執(zhí)行的功能的描述。鑒于配置設(shè)備200可根據(jù)各種協(xié)議接收使用各種格式的描述,格式化模塊210將這些接收的描述轉(zhuǎn)換成相同的格式。這樣使得配置設(shè)備200能夠獲得呈一種格式且與使用的協(xié)議和通信技術(shù)獨(dú)立的功能和狀態(tài)的描述。然后格式化模塊210簡化了狀態(tài)和功能的描述到語義表達(dá)的之后轉(zhuǎn)換。應(yīng)注意,當(dāng)裝置使用相同的通信協(xié)議時,配置設(shè)備200可不包括格式化模塊210。
[0051]格式化模塊210還接收來自系統(tǒng)100中裝置的通知或事件,該通知或事件表示這些裝置的狀態(tài)變化。
[0052]配置設(shè)備200包括模塊208,其管理系統(tǒng)100中的所有裝置的列表及這些裝置提供的服務(wù)。配置設(shè)備200包括系統(tǒng)100中裝置的列表209、這些裝置能夠處于的狀態(tài)以及這些裝置提供的功能。管理模塊208用于根據(jù)來源于格式化模塊210的信息來管理列表209。管理模塊208還激活系統(tǒng)100的裝置的功能。
[0053]配置設(shè)備200還包括模塊207,其用于管理系統(tǒng)100中的裝置的實際狀態(tài)和監(jiān)測這些狀態(tài)。因此管理模塊207可獲得系統(tǒng)100的實際環(huán)境的描述。該環(huán)境的表示由管理模塊207根據(jù)由管理模塊208提供的信息維持,并且可選地由配置設(shè)備200的規(guī)則引擎202維持。
[0054]規(guī)則引擎202用于應(yīng)用管理規(guī)則,如可通過執(zhí)行下面參照圖5描述的算法獲得的管理規(guī)則。規(guī)則引擎202從管理模塊207接收與表示系統(tǒng)100中裝置狀態(tài)變化的事件發(fā)生相關(guān)的信息。當(dāng)狀態(tài)變化后管理規(guī)則的條件被滿足時,規(guī)則引擎202通過激活相關(guān)裝置的適當(dāng)功能來要求管理模塊208應(yīng)用由該管理規(guī)則所定義的每個動作。
[0055]規(guī)則引擎202 例如為根據(jù)文件 “JSR_94:Java SpecificationRequest94, versionl.1” 的 JRuleEngine 類型。
[0056]配置設(shè)備200還包括規(guī)則庫203。一旦限定了管理規(guī)則,其被以語義形式存儲以用于隨后的顯示。可在專用存儲單元(圖2中未示出)或在列表209中進(jìn)行該存儲,然后被擴(kuò)展以允許存儲呈語義形式的管理規(guī)則。轉(zhuǎn)換后,配置設(shè)備200還將管理規(guī)則存儲在規(guī)則庫203中。然后規(guī)則庫203由規(guī)則引擎202使用以當(dāng)系統(tǒng)100中發(fā)生狀態(tài)改變時來確定是否滿足管理規(guī)則的條件。
[0057]配置設(shè)備200還包括規(guī)則轉(zhuǎn)換器204。一旦管理規(guī)則被定義(如下文參照圖5所描述的),規(guī)則轉(zhuǎn)換器204將語義形式的管理規(guī)則轉(zhuǎn)換成能夠由規(guī)則引擎202解釋的指令。可使用查找表(LUT)實現(xiàn)這種轉(zhuǎn)換。然后規(guī)則轉(zhuǎn)換器204將轉(zhuǎn)換后的管理規(guī)則存儲在規(guī)則庫203 中。
[0058]配置設(shè)備200還可包括語義數(shù)據(jù)庫206,其作為根據(jù)裝置的類型用于每個裝置的每個狀態(tài)或功能與對應(yīng)的語義表達(dá)之間的匹配詞典。配置設(shè)備200可替代地或除語義數(shù)據(jù)庫206之外還可通過通信網(wǎng)絡(luò)使用遠(yuǎn)程數(shù)據(jù)庫(未示出)。這樣便于隨著市場上新裝置的出現(xiàn)而更新詞典。
[0059]語義數(shù)據(jù)庫206優(yōu)選包括多種語言的等同語義表達(dá)。
[0060]配置設(shè)備200還包括規(guī)則編輯器205。規(guī)則編輯器例如通過管理模塊207來獲得系統(tǒng)100中的裝置的列表。規(guī)則編輯器還例如通過管理模塊207來獲得系統(tǒng)100中每個裝置能夠處于的狀態(tài)的描述以及系統(tǒng)100中每個裝置能夠執(zhí)行的每個功能的描述。然后規(guī)則編輯器205使用語義數(shù)據(jù)庫206將這些描述轉(zhuǎn)換成語義表達(dá)。這樣允許用戶獲得自然語言的狀態(tài)和功能的描述。此外,當(dāng)語義數(shù)據(jù)庫206包括多種語言的等同語義表達(dá)時,規(guī)則編輯器205允許根據(jù)由用戶選擇的語言執(zhí)行轉(zhuǎn)換。
[0061]在【具體實施方式】中,當(dāng)狀態(tài)或功能與可取多個值的至少一個屬性相關(guān)聯(lián)時,配置設(shè)備200根據(jù)該多個值將狀態(tài)或功能的描述轉(zhuǎn)換成語義表達(dá)。例如,可根據(jù)多種配置(低強(qiáng)度,中等強(qiáng)度,高強(qiáng)度)接通燈類型的裝置。于是可定義兩種狀態(tài):“開”或“關(guān)”,并且對于“開”狀態(tài)具有表示強(qiáng)度的屬性。同樣地,該裝置可提供兩種功能,即增加強(qiáng)度和減小強(qiáng)度,其中每個具有表示將通過應(yīng)用該功能達(dá)到的強(qiáng)度的屬性。
[0062]配置設(shè)備200還包括用戶接口管理模塊201。管理模塊201用于使圖形接口模塊304與規(guī)則編輯器205相聯(lián)系。因此管理模塊201使規(guī)則編輯器205能夠向圖形接口模塊304提供狀態(tài)和功能的語義表達(dá)。管理模塊201還使規(guī)則編輯器205能夠向圖形接口模塊304提供系統(tǒng)100中裝置的列表。管理模塊201還允許用戶通過圖形接口模塊304根據(jù)基于狀態(tài)的語義表達(dá)的至少一個條件和基于功能的語義表達(dá)的至少一個動作來定義至少一個管理規(guī)則。然后管理模塊201向規(guī)則編輯器205提供每個定義后的條件和動作。
[0063]應(yīng)注意,其他架構(gòu)也可實現(xiàn)配置設(shè)備200或控制單元110。例如,可以將格式化模塊210和該組接口 305設(shè)置在第一平臺上而將其他模塊設(shè)置在第二平臺上。然后每個平臺均包括用于與其他平臺相聯(lián)系的模塊,以允許進(jìn)行管理系統(tǒng)100中的裝置所必需的數(shù)據(jù)的交換。然后可通過利用網(wǎng)絡(luò)協(xié)議(例如HTTP (超級文本傳輸協(xié)議)或SOAP (簡單對象訪問協(xié)議))來實現(xiàn)兩個平臺之間的接口。
[0064]圖2所示的架構(gòu)的一部分或全部以及下文參照圖4描述的算法中的一些或全部可通過由可編程器件(如DSP (數(shù)字信號處理器)、微控制器或CPU (中央處理單元)類型的處理器)執(zhí)行一組指令來以軟件的形式實施。
[0065]可替代地,圖2所示的架構(gòu)的一部分或全部以及下文參照圖4至圖6描述的算法中的一些或全部可通過專用器件或部件(如FPGA (現(xiàn)場可編程門陣列)或ASIC (專用集成電路))以硬件形式實施。
[0066]圖3示意性地示出了用于包括配置設(shè)備200的控制單元110的架構(gòu)。
[0067]控制單元110包括通過通信總線310連接的:
[0068]-處理器、微控制器或CPU300;
[0069]-隨機(jī)存取存儲器RAM301;
[0070]-只讀存儲器R0M302;
[0071]-存儲媒介讀取器303,如SD(安全數(shù)字)讀卡器;
[0072]-人機(jī)接口部件,更具體地用于管理圖形接口700的顯示的圖形接口模塊304,下文中參照圖7示出了一個示例;
[0073]-接口部件305,用于與系統(tǒng)100中的裝置進(jìn)行通信,具體包括接口111,112,113。
[0074]CPU300能夠執(zhí)行從R0M302、外部存儲器(未示出)、存儲介質(zhì)(如SD卡等)、或通信網(wǎng)絡(luò)裝載到RAM301中的指令。當(dāng)向控制單元110提供功率時,CPU300能夠從RAM301讀取指令并執(zhí)行這些指令。這些指令形成自計算機(jī)程序,使得通過CPU300實施下面將參照圖4至圖6描述的算法中的一些或全部。
[0075]圖4示意性地示出了當(dāng)檢測到管理系統(tǒng)的拓?fù)浣Y(jié)構(gòu)改變時由配置設(shè)備200實施的算法。當(dāng)裝置與系統(tǒng)100斷開連接時、當(dāng)裝置第一次連接至系統(tǒng)100時或當(dāng)裝置再次連接至系統(tǒng)100時,這種拓?fù)浣Y(jié)構(gòu)的改變就發(fā)生。
[0076]算法從步驟S401開始。在接下來的步驟S402中,配置設(shè)備200檢測系統(tǒng)100的拓?fù)浣Y(jié)構(gòu)的變化。在接下來的步驟S403中,配置設(shè)備200檢查相比于拓?fù)浣Y(jié)構(gòu)變化之前的環(huán)境是否已經(jīng)向系統(tǒng)100添加了裝置。如果是,則執(zhí)行步驟S405 ;否則,執(zhí)行步驟S404。
[0077]在步驟S404中,配置設(shè)備200確定哪個裝置已經(jīng)與系統(tǒng)100斷開連接并從裝置的列表209中將其移除。然后管理模塊207更新系統(tǒng)100的環(huán)境信息。該信息可傳給規(guī)則編輯器205,這樣規(guī)則編輯器205使用戶接口能夠相應(yīng)地更新。然后算法在步驟S409結(jié)束。
[0078]在步驟S405中,配置設(shè)備200獲得新連接或再次連接至系統(tǒng)100的裝置的名稱。其還獲得該裝置能夠處于的狀態(tài)以及該裝置能夠執(zhí)行的功能的描述。例如如上所述,基于UPnP標(biāo)準(zhǔn)的協(xié)議可用于該目的。
[0079]在接下來的步驟S406中,配置設(shè)備200執(zhí)行所獲得描述的格式化。因此,當(dāng)配置設(shè)備200適于根據(jù)各種協(xié)議接收使用各種格式的狀態(tài)和功能的描述時,配置設(shè)備200將這些接收的描述轉(zhuǎn)換成相同格式。因此獲得狀態(tài)和功能的同質(zhì)描述。
[0080]在接下來的步驟S407中,配置設(shè)備200通過規(guī)則編輯器205將狀態(tài)和功能的描述轉(zhuǎn)換成相應(yīng)的語義表達(dá)。因此規(guī)則編輯器205使用戶接口能夠相應(yīng)地更新。
[0081]在接下來的步驟S408中,配置設(shè)備200更新裝置209的列表。然后,在步驟S409中結(jié)束算法。[0082]圖5示意性示出了在管理規(guī)則的定義過程中由配置設(shè)備200實施的算法。
[0083]從步驟S504開始算法,在步驟S504中圖形接口 700的顯示被初始化。下文將參照圖7描述這種圖形接口的示例。
[0084]在接下來的步驟S502中,配置設(shè)備200檢測由用戶通過圖形接口 700選擇的系統(tǒng)100中的裝置。該選擇可通過指示器或觸摸屏實現(xiàn)。優(yōu)選地,配置設(shè)備200通過圖形接口700顯示根據(jù)裝置的地理分布和/或根據(jù)裝置提供的服務(wù)建立的成組的裝置。例如,圖形接口 700指示裝置列表中的每個裝置位于住所中的哪個房間和/或每個裝置與哪個服務(wù)(例如多媒體或家庭自動化)相關(guān)。配置設(shè)備200然后將該指示存儲在裝置的列表209中。
[0085]在接下來的步驟S503中,配置設(shè)備200檢測被選擇用于步驟S502中所選裝置的管理規(guī)則要素類型,即條件或動作。該選擇可這樣實現(xiàn),通過在圖形接口 700的用于限定管理規(guī)則的條件的第一區(qū)域710中或在圖形接口 700的用于限定管理規(guī)則的動作的第二區(qū)域720中拖放表示裝置的圖標(biāo)。
[0086]在接下來的步驟S504中,配置設(shè)備200獲得所選裝置能夠處于的狀態(tài)或該所選裝置能夠執(zhí)行的功能的語義描述。所獲得的描述取決于在步驟S503中選擇的管理規(guī)則要素的類型,即條件或動作。然后在接下來的步驟S505中,配置設(shè)備200相應(yīng)地更新顯示。因此,用戶獲得條件或動作的語義表達(dá)形式的顯示,基于所選裝置用戶可使用該條件或動作
定義管理規(guī)則。
[0087]在接下來的步驟S506中,配置設(shè)備200檢測來自步驟S505中顯示的狀態(tài)或功能中的狀態(tài)或功能的選擇。因此限定了條件或動作。這意味著用戶已經(jīng)分別選擇了用于限定管理規(guī)則的條件或動作。然后在接下來的步驟S507中,配置設(shè)備200相應(yīng)地更新顯示。然后圖形接口 700的用于顯示目前被限定的管理規(guī)則的區(qū)域730示出語義形式的條件或動作。
[0088]在【具體實施方式】中,配置設(shè)備200顯示與所選裝置名稱對應(yīng)的、與表示相關(guān)狀態(tài)或動作的詞語對應(yīng)的語義表達(dá)相關(guān)聯(lián)語義表達(dá)。以上文提到的燈為示例,“打開”作為條件或“打開燈”作為動作。
[0089]優(yōu)選地,配置設(shè)備200允許基于條件或動作對當(dāng)前限定的管理規(guī)則的顯示來自動插入相關(guān)聯(lián)的語義表達(dá)。以上文提到的燈為示例,顯示可使“如果燈被打開”用作條件或“那么打開燈”用作動作。還可插入其他相關(guān)聯(lián)的語義表達(dá)。例如,配置設(shè)備200可允許限定用于同一管理規(guī)則的多個狀態(tài)。這些狀態(tài)可以是用于觸發(fā)動作的替代選擇,在這種情況下,其由語義表達(dá)“或”分隔;另一方面,這些狀態(tài)可以是疊加的,在這種情況下,其由語義表達(dá)“和”分隔。同樣地,配置設(shè)備200可允許限定用于同一管理規(guī)則的多個動作。在這種情況下,各個動作由語義表達(dá)“和”分隔。
[0090]在接下來的步驟S508中,配置設(shè)備200檢查規(guī)則的定義是否結(jié)束。如果是,執(zhí)行步驟S509 ;否則,重復(fù)步驟S502。
[0091]在步驟S509中,配置設(shè)備200將呈語義形式的規(guī)則存儲在例如列表209中,并將管理規(guī)則轉(zhuǎn)換成能夠由規(guī)則引擎202解釋的指令。在接下來的步驟S510中,配置設(shè)備200將轉(zhuǎn)換的管理規(guī)則存儲在規(guī)則庫203中。然后,通過重復(fù)算法(如從步驟S501開始)可定義新的管理規(guī)則。
[0092]在【具體實施方式】中,配置設(shè)備200允許在步驟S502中通過圖形接口 700選擇多個裝置。然后使條件或動作與該選擇中的所有裝置相關(guān)聯(lián)。然后,在步驟S505中,僅顯示該選擇中的所有裝置共有的狀態(tài)或功能。優(yōu)選地在步驟S507,當(dāng)當(dāng)前定義的管理規(guī)則的顯示被更新時,顯示用于選擇的每個裝置的條件或動作。這樣便于隨后的管理規(guī)則轉(zhuǎn)換成能夠由規(guī)則引擎202解釋的指令。
[0093]在另一【具體實施方式】中,配置設(shè)備200允許用戶通過圖形接口基于時間標(biāo)記事件來定義至少一個管理規(guī)則的條件。然后系統(tǒng)100具有允許配置設(shè)備200檢查基于時間標(biāo)記事件的條件是否滿足的時鐘。
[0094]例如,用戶可相對于日期來定義條件、在該日期的給定時間表、無論什么日期的給定時間表、一周中的一天等。
[0095]根據(jù)一個變型實施方式,配置設(shè)備200允許用戶通過圖形接口基于系統(tǒng)100的用戶配置事件的激活來定義至少一個管理規(guī)則。無線射頻識別(RFID)技術(shù)可用于該目的。其允許將數(shù)據(jù)存儲在RFID標(biāo)簽上。例如可實施IS014443A&B。因此,用戶可通過將用于識別該用戶的RFID標(biāo)簽放置在對應(yīng)讀取器附近來激活其配置。同樣地,具有裝有NFC (近場通信)技術(shù)的終端(如移動電話)的用戶可通過使用其處于點(diǎn)對點(diǎn)模式的NFC終端或標(biāo)簽仿真來與裝有相應(yīng)讀取器的系統(tǒng)200交換用于識別該用戶的信息。其他技術(shù)可用于檢測系統(tǒng)100的用戶配置的激活。例如,在IEEE802.15.1中定義的藍(lán)牙(注冊商標(biāo))技術(shù)可用于檢測系統(tǒng)100的覆蓋區(qū)中存在的具體用戶的個人數(shù)字助手(PDA)或移動電話。
[0096]在一個示例性實施方式中,在安裝有系統(tǒng)100的前提下,用戶可限定與其存在或不存在相關(guān)的條件。
[0097]基于時間標(biāo)記事件或用戶配置激活的事件所定義的狀態(tài)可相互結(jié)合和/或與系統(tǒng)100中裝置的至少一個狀態(tài)相結(jié)合,以定義管理規(guī)則。
[0098]圖6示意性地示出了由控制單元110使用的算法,用于應(yīng)用如通過圖5中算法執(zhí)行所定義的管理規(guī)則。
[0099]算法從步驟S601開始。在接下來的步驟S602中,控制單元110檢測事件。該事件可涉及系統(tǒng)100中裝置狀態(tài)的變化,或如上所述的用戶配置的激活的事件或時間標(biāo)記事件。
[0100]在接下來的步驟S603中,控制單元110檢查之前限定的管理規(guī)則。更具體地,規(guī)則引擎202瀏覽規(guī)則庫203。在接下來的步驟S604中,控制單元110檢查檢測到的事件是否對應(yīng)于之前限定的管理規(guī)則的條件。如果是,則執(zhí)行步驟S605 ;然后在步驟S606處結(jié)束算法。
[0101]在前向鏈中利用規(guī)則引擎所操作的系統(tǒng)也可在后向鏈中利用規(guī)則引擎進(jìn)行操作,即為了給定的目的,規(guī)則引擎檢查條件是否被建立。
[0102]在步驟S605中,控制單元110執(zhí)行在條件或一組條件所滿足的管理規(guī)則中所定義的動作。更具體地,規(guī)則引擎202指示管理模塊208激活與該管理規(guī)則中定義的一個或多個動作相對應(yīng)的每個功能。然后在步驟S606中結(jié)束算法。
[0103]圖7示意性地示出了圖形接口 700的示例,其允許用戶定義管理規(guī)則。
[0104]圖形接口 700包括已經(jīng)提到的區(qū)域:區(qū)域710,用于定義管理規(guī)則的條件;區(qū)域720,用于定義管理規(guī)則的動作;以及區(qū)域730,用于顯示當(dāng)前被定義的管理規(guī)則。
[0105]圖形接口 700還包括區(qū)域740,其用于顯示表示系統(tǒng)100中裝置的圖標(biāo)742、746、747、748,這些裝置可以是條件或動作的對象。區(qū)域740可包括數(shù)多個子區(qū)域741、745,以根據(jù)系統(tǒng)100中裝置的地理分布和/或根據(jù)這些裝置提供的服務(wù)來顯示圖標(biāo)742、746、747、
748。
[0106]區(qū)域710包括子區(qū)域714,其用于放置表示系統(tǒng)100中的裝置的圖標(biāo)742、746、747,7480當(dāng)用戶在區(qū)域714中點(diǎn)擊和放置圖標(biāo)742、746、747、748時,區(qū)域710的另一子區(qū)域715被以相關(guān)裝置可處的每個狀態(tài)進(jìn)行更新。子區(qū)域715允許用戶在多個狀態(tài)中做出選擇,以向當(dāng)前定義的管理規(guī)則中增加一個或多個條件。
[0107]區(qū)域710還包括至少一個條件確認(rèn)按鈕(未示出),其允許選擇用于定義管理規(guī)則的條件。在一個優(yōu)選實施方式中,區(qū)域710包括兩個確認(rèn)按鈕:第一按鈕,用于增添當(dāng)前定義的管理規(guī)則的另一條件的可替代性條件,以及第二按鈕,用于增添當(dāng)前限定的管理規(guī)則的另一條件的可疊加條件。
[0108]區(qū)域720包括子區(qū)域724,其用于放置表示系統(tǒng)100中的裝置的圖標(biāo)742、746、747,7480當(dāng)用戶在區(qū)域724中點(diǎn)擊和放置圖標(biāo)742、746、747、748時,區(qū)域720的另一子區(qū)域725被利用由相關(guān)裝置可提供的功能的語義描述進(jìn)行更新。子區(qū)域725允許用戶在這些功能中做出選擇,以向當(dāng)前定義的管理動作中增添一個或多個動作。
[0109]區(qū)域720還包括動作確認(rèn)按鈕(未示出),其允許選擇用于定義管理規(guī)則的動作。如果一個動作已經(jīng)存在于當(dāng)前定義的管理規(guī)則中,確認(rèn)動作被疊加地增添給該已經(jīng)存在的動作。
[0110]圖形接口 700還可包括排他地被激活的標(biāo)簽711、712、713。標(biāo)簽711用于激活區(qū)域710,以限定與系統(tǒng)100的裝置的狀態(tài)相關(guān)的條件,或系統(tǒng)100的多個裝置的選擇。標(biāo)簽712用于激活區(qū)域710,以限定與時間標(biāo)記事件相關(guān)的條件。標(biāo)簽713用于激活區(qū)域710,以限定與用戶配置激活相關(guān)的條件。
[0111]圖形接口 700還可允許在區(qū)域740中選擇多個裝置,并同時將表示這些裝置的圖標(biāo)拖放到子區(qū)域714和724之一中。在這種情況下,子區(qū)域715和725分別由配置設(shè)備200利用所選擇的裝置共有的狀態(tài)和功能的語義表達(dá)進(jìn)行更新。
[0112]圖形接口 700還可包括語言選擇菜單。因此用戶可通過圖形接口 700從由配置設(shè)備200提供的組中選擇語言。然后配置設(shè)備200將狀態(tài)和功能的描述轉(zhuǎn)換成所選擇語言的語義表達(dá)。另外,當(dāng)其自動插入相關(guān)聯(lián)的語義表達(dá)時,配置設(shè)備200也在所選擇的語言中這樣做。
[0113]圖形接口 700還包括管理規(guī)則確認(rèn)按鈕(未示出),其確認(rèn)在區(qū)域730中示出的管理規(guī)則。然后管理規(guī)則以其語義形式存儲在例如列表209中,并轉(zhuǎn)換成規(guī)則引擎202能夠解釋的指令,如上文參照圖5所描述的。
[0114]用戶接口還可以是多模式的,并使用圖像和聲音輸入和輸出的組合。系統(tǒng)可依靠涵蓋裝置及其功能和狀態(tài)的語義術(shù)語,以限定優(yōu)選由語音識別引擎識別的詞語的詞典。因此用戶可說話,以向系統(tǒng)口述規(guī)則,然后該系統(tǒng)基于語義詞典以建立多用戶語音識別。反過來,當(dāng)規(guī)則被陳述時,系統(tǒng)可通過圖形接口部件730顯示由系統(tǒng)識別的語義規(guī)則。
[0115]用戶接口還可完全為語音類型。然后通過語音識別實現(xiàn)管理規(guī)則的定義,并且與系統(tǒng)100中裝置相關(guān)的信息的廣播,對應(yīng)于當(dāng)前定義的管理規(guī)則的狀態(tài)和功能的語義表達(dá)通過語音合成而非通過顯示而實現(xiàn)。
【權(quán)利要求】
1.一種配置方法,所述配置方法基于管理規(guī)則來管理系統(tǒng)(100)中的裝置(121 ;122 ;131 ;132 ;133),所述管理規(guī)則定義當(dāng)滿足至少一個條件時由所述系統(tǒng)執(zhí)行的至少一個動作,所述系統(tǒng)包括用于實施所述管理規(guī)則的規(guī)則引擎(202),所述方法使得配置設(shè)備(200): -向用戶接口(700)提供狀態(tài)和功能的語義表達(dá)(S505); -允許用戶通過用戶接口根據(jù)基于狀態(tài)的語義表達(dá)的至少一個條件和基于功能的語義表達(dá)的至少一個動作來定義至少一個管理規(guī)則(S506); -將通過所述用戶接口語義地定義的每個管理規(guī)則轉(zhuǎn)換成能夠由所述規(guī)則引擎解釋的指令(S509); 其特征在于,所述配置設(shè)備: -獲得所述系統(tǒng)中每個裝置能夠處于的狀態(tài)的描述(S405); -獲得所述系統(tǒng)中每個裝置能夠執(zhí)行的功能的描述(S405); -將狀態(tài)的描述和功能的描述轉(zhuǎn)換成各自的語義表達(dá),以向所述用戶接口提供狀態(tài)和功能的語義表達(dá)(S407)。
2.根據(jù)權(quán)利要求1所述的配置方法,其特征在于,當(dāng)狀態(tài)或功能與可取多個值的至少一個屬性相關(guān)聯(lián)時,所述配置設(shè)備根據(jù)所述多個值將狀態(tài)或功能的描述轉(zhuǎn)換成語義表達(dá)。
3.根據(jù)權(quán)利要求1或2所述的配置方法,其特征在于,所述配置設(shè)備根據(jù)通過所述用戶接口可得到的多種語言的選擇,將狀態(tài)和功能的描述轉(zhuǎn)換成預(yù)定語言的語義表達(dá)。
4.根據(jù)權(quán)利要求1至3中任一項所述的配置方法,其特征在于,所述配置設(shè)備通過使用至少一個詞典(206)將狀態(tài)和功能的描述轉(zhuǎn)換成語義表達(dá),其中所述至少一個詞典根據(jù)裝置的類型對于每個裝置將每個狀態(tài)或功能與對應(yīng)的語義表達(dá)進(jìn)行匹配。
5.根據(jù)權(quán)利要求1至4中任一項所述的配置方法,其特征在于,所述配置設(shè)備允許用戶通過所述用戶接口基于所述系統(tǒng)的用戶配置激活的事件或時間標(biāo)記事件,來定義至少一個管理規(guī)則的條件。
6.根據(jù)權(quán)利要求1至5中任一項所述的配置方法,其特征在于,所述配置設(shè)備通過所述用戶接口廣播當(dāng)前定義的管理規(guī)則,并且通過所述用戶接口對于每個與定義的條件或動作相關(guān)的裝置來廣播語義表達(dá),所述語義表達(dá)對應(yīng)于與表示分別與定義的條件或動作相關(guān)的狀態(tài)或動作的詞語對應(yīng)的語義表達(dá)相關(guān)聯(lián)的所述裝置的名稱。
7.根據(jù)權(quán)利要求6所述的配置方法,其特征在于,所述配置設(shè)備允許基于每個定義的條件或動作,對于當(dāng)前定義的管理規(guī)則的顯示自動插入相關(guān)聯(lián)的語義表達(dá)。
8.根據(jù)權(quán)利要求6或7所述的配置方法,其特征在于,所述配置設(shè)備能夠通過所述用戶接口選擇多個裝置,并能夠使被選擇的裝置與條件或動作相關(guān)聯(lián)。
9.根據(jù)權(quán)利要求1至8中任一項所述的配置方法,其特征在于,所述用戶接口為圖形接口,并且所述配置設(shè)備通過所述圖形接口顯示根據(jù)裝置的地理分布和/或根據(jù)裝置提供的服務(wù)所建立的成組的裝置表示。
10.根據(jù)權(quán)利要求1至9中任一項所述的配置方法,其特征在于,所述配置設(shè)備根據(jù)各種協(xié)議接收使用各種格式的裝置的狀態(tài)和功能的描述,并將接收到的描述轉(zhuǎn)換成相同格式的描述(S406),以獲得所述狀態(tài)和功能的描述。
11.一種配置設(shè)備(200),用于基于管理規(guī)則來管理系統(tǒng)(100)中的裝置(121 ;122 ;`131 ;132 ;133),所述管理規(guī)則定義當(dāng)滿足至少一個條件時將由所述系統(tǒng)執(zhí)行的至少一個動作,所述系統(tǒng)包括用于實施所述管理規(guī)則的規(guī)則引擎(202),所述配置設(shè)備包括: -提供裝置(201,205),向用戶接口提供狀態(tài)和功能的語義表達(dá); -定義裝置(201,205),允許用戶通過所述用戶接口根據(jù)基于狀態(tài)的語義表達(dá)的至少一個條件和基于功能的語義表達(dá)的至少一個動作,來定義至少一個管理規(guī)則; -轉(zhuǎn)換裝置(204),將通過所述用戶接口語義地定義的每個管理規(guī)則轉(zhuǎn)換成能夠由規(guī)則引擎解釋的指令; 其特征在于,所述配置設(shè)備還包括: -用于獲得所述系統(tǒng)中每個裝置能夠處于的狀態(tài)的描述的裝置(208,209,210); -用于獲得所述系統(tǒng)中每個裝置能夠執(zhí)行的功能的描述的裝置(208,209,210); -將狀態(tài)和功能的描述轉(zhuǎn)換成各自的語義表達(dá),以向所述用戶接口提供狀態(tài)和功能的語義表達(dá)的裝置(205,206 )。
12.根據(jù)權(quán)利要求11所述的配置設(shè)備,其特征在于,所述配置設(shè)備包括: -一組接口(305); -格式化模塊(210),當(dāng)通過所述一組接口根據(jù)各種協(xié)議接收狀態(tài)和功能的描述時,以相同格式轉(zhuǎn)換狀態(tài)和功能的描述; -用于管理所述裝置的列表(209)的模塊(208); -管理裝置的實際狀態(tài)的模塊(207),用于向所述規(guī)則引擎提供與事件發(fā)生有關(guān)的信息,所述事件表示所述裝置的狀態(tài)變化; -語義數(shù)據(jù)庫(206),根據(jù)裝置類型為每個裝置提供每個狀態(tài)或功能與對應(yīng)的語義表達(dá)之間的匹配; -規(guī)則編輯器(205),適于通過所述語義數(shù)據(jù)庫將狀態(tài)和功能的描述轉(zhuǎn)換成各自的語義表達(dá)。
13.一種計算機(jī)程序,其特征在于,所述計算機(jī)程序包括指令,所述指令用于當(dāng)所述計算機(jī)程序由所述配置設(shè)備的處理器執(zhí)行時,通過所述配置設(shè)備實施根據(jù)權(quán)利要求1-10中任一項所述的方法。
14.一種存儲裝置,其特征在于,所述存儲裝置存儲計算機(jī)程序,所述計算機(jī)程序包括指令,所述指令用于當(dāng)所述計算機(jī)程序由所述配置設(shè)備的處理器執(zhí)行時通過配置設(shè)備實施根據(jù)權(quán)利要求1-10中任一項所述的方法。
15.一種圖形接口(700),所述圖形接口用于定義管理規(guī)則,所述管理規(guī)則用于管理系統(tǒng)(100)中的裝置(121 ;122 ;131 ;132 ;133),每個管理規(guī)則定義當(dāng)滿足至少一個條件時由所述系統(tǒng)執(zhí)行的至少一個動作,其特征在于,所述圖形接口包括: 第一顯示區(qū)域(740),用于顯示裝置的表示,以及允許用戶選擇至少一個裝置; -第二顯示區(qū)域(710),用于顯示表示被選擇的至少一個裝置能夠處于的各自狀態(tài)的語義表達(dá),并且允許用戶進(jìn)行選擇; -第三顯示區(qū)域(720),用于顯示表示所選擇的至少一個裝置能夠執(zhí)行的功能的語義表達(dá); -第四顯示區(qū)域(730),用于顯示當(dāng)前定義的管理規(guī)則; 其中所述第二顯示區(qū)域和所述第三顯示區(qū)域適于允許用戶根據(jù)基于在所述第一顯示區(qū)域中顯示的狀態(tài)的語義表達(dá)的至少一個條件和根據(jù)基于在所述第二顯示區(qū)域中顯示的功能的語義表達(dá)的至少一個動 作,來定義至少一個管理規(guī)則。
【文檔編號】H04L12/28GK103477590SQ201280014213
【公開日】2013年12月25日 申請日期:2012年2月15日 優(yōu)先權(quán)日:2011年3月22日
【發(fā)明者】埃里克·馬塞拉 申請人:薩熱姆通信寬帶簡易股份有限公司