專利名稱：：用于普適計算應(yīng)用的組成模型和組成確認算法的制作方法
技術(shù)領(lǐng)域：
：本說明涉及普適計算(ubiquitouscomputing)技術(shù)。
背景技術(shù)：
：在普適計算環(huán)境中，很多不同的計算技術(shù)被集成在人類環(huán)境中，并在人們工作上或家里的日常生活中給人們提供有用的服務(wù)。這些環(huán)境涉及被叫做“智能項目技術(shù)(smartitemstechnology)”、“智能環(huán)境(IntelligentAmbience)”或“可穿戴計算(WearableComputing)”的系統(tǒng)和基礎(chǔ)設(shè)施。在普適計算應(yīng)用環(huán)境中，高度分布式的應(yīng)用以各種協(xié)同操作的異構(gòu)設(shè)備(例如PDA、智能電話、傳感器設(shè)備、RFID標(biāo)簽、嵌入式設(shè)備、PC、服務(wù)器、GPS衛(wèi)星、計算網(wǎng)絡(luò)、電話、電視，等等)或服務(wù)(例如各種軟件程序、例程、平臺和可執(zhí)行代碼)的形式運行，使用各種不同的通訊技術(shù)和協(xié)議來發(fā)掘其計算能力。單獨的設(shè)備運行部件或服務(wù)，所述部件或服務(wù)可被組合一即“組裝”——到更復(fù)雜的服務(wù)或應(yīng)用中。這樣的基于部件或服務(wù)的開發(fā)普適應(yīng)用的方法支持跨越可用設(shè)備集合的功能分布，實現(xiàn)了部件在不同的/新的應(yīng)用中更好的重用性，并支持通過將整個功能劃分為多個具有明確定義的接口的部件來開發(fā)普適應(yīng)用，所述多個具有明確定義的接口的部件可以被分別開發(fā)和測試。普適計算環(huán)境的一個例子是智能項目基礎(chǔ)設(shè)施(smartitemsinfrastructure，“SII”)。智能項目技術(shù)可以包括例如射頻識別(RFID)系統(tǒng)、嵌入式系統(tǒng)或傳感器網(wǎng)絡(luò)，并且可被用于例如提供具有對真實世界數(shù)據(jù)的快速存取的商業(yè)軟件應(yīng)用。例如，智能項目技術(shù)可被用于支持RFID標(biāo)簽的檢測、讀取或?qū)懭?，以及支持與無線傳感器網(wǎng)絡(luò)和嵌入式系統(tǒng)的通訊及對其的控制。在很多實例中，智能項目可以包括具有本地處理能力、存儲器和/或通訊能力的設(shè)備，所述設(shè)備能夠提供關(guān)于設(shè)備及其屬性的數(shù)據(jù)，或者提供關(guān)于智能項目的當(dāng)前狀態(tài)或環(huán)境的信息。因此，一些這樣的設(shè)備可以在后端或者底層商業(yè)應(yīng)用的服務(wù)部件的執(zhí)行使用，并且特別地，這可以被以協(xié)作的方式完成，例如通過形成移動自組織網(wǎng)絡(luò)(mobilead-hocnetwork)來收集、處理或發(fā)送商業(yè)數(shù)據(jù)。智能項目設(shè)備的例子包括RFID標(biāo)簽，它可以是有源或無源的，并且它可以被附著到對象上，并用來提供和所述對象有關(guān)的產(chǎn)品或處理信息。智能項目設(shè)備的其他例子包括例如環(huán)境傳感器(例如溫度、濕度或振動傳感器)的各種傳感器，所述傳感器能夠在一個或更多個傳感器網(wǎng)絡(luò)中與彼此通訊。這些以及其他類型的智能項目設(shè)備還可以包括嵌入式系統(tǒng)，嵌入式系統(tǒng)一般指任何其中包括專用處理器和/或程序的系統(tǒng)，和/或系統(tǒng)被封裝在被控制的設(shè)備中的系統(tǒng)。通過自動實時對象跟蹤，智能項目技術(shù)可以給商業(yè)提供準(zhǔn)確且及時的關(guān)于商業(yè)業(yè)務(wù)的數(shù)據(jù)，并且還可以幫助使得商業(yè)業(yè)務(wù)合理化和自動化。因此，可以獲得成本降低和額外的商業(yè)收益(例如得到提高的資產(chǎn)可視化、改善的響應(yīng)性和擴展的商業(yè)機會)。
發(fā)明內(nèi)容在第一個總的方面中，一種對基于部件的應(yīng)用建模的方法包括對所述應(yīng)用的部件的通訊能力建模，對用于相互鏈接所述應(yīng)用的部件的計劃建模、對由多個構(gòu)成部件組成的復(fù)合部件的通訊能力建模，和，確定在所述應(yīng)用中被相互連接的部件是否是兼容的以便能有效地通訊。實施方案可以包括下列特征中的一個或更多個。例如，所述部件可以包括軟件模塊或異構(gòu)的計算設(shè)備(例如RFID設(shè)備)。所述方法還可以包括確定所述復(fù)合部件是否被良好地形成。對所述應(yīng)用的部件的通訊能力建模可以包括將通訊概念映射到與所述部件相關(guān)聯(lián)的屬性。所述方法可以包括對處于通過相互鏈接的部件的通訊路徑端點的部件的端到端通訊概念建模，并確定處于所述路徑的端點的所述部件的所述端到端通訊概念是否是兼容的。對所述應(yīng)用的部件的通訊能力建?？梢园óa(chǎn)生所述部件的接口端口的模型。對由多個構(gòu)成部件組成的復(fù)合部件的通訊能力建?？梢园ê喜⑺鰳?gòu)成部件的接口端口的模型。對所述應(yīng)用的部件的通訊能力建?？梢园▽Σ考念愋偷耐ㄓ嵞芰?，并且確定在所述應(yīng)用中相互鏈接的部件是否是兼容的以便能有效地通訊可以包括確定按部件的類型建模的通訊技術(shù)是否是兼容的。對所述應(yīng)用的部件的通訊能力建模可以包括對部件的實例的通訊能力建模，并且確定在所述應(yīng)用中相互鏈接的部件是否是兼容的以便能有效地通訊可以包括確定部件的所述實例是否是兼容的。所述方法可以包括將通訊能力與OSI層相關(guān)聯(lián)。在另一個總的方面，用于對基于部件的應(yīng)用建模的系統(tǒng)包括存儲設(shè)備和處理器。所述存儲設(shè)備包括所述應(yīng)用的部件的通訊能力的模型和用于相互鏈接所述應(yīng)用的部件的計劃的模型。所述處理器被配置為對由多個構(gòu)成部件組成的復(fù)合部件的通訊能力建模，和確定在所述應(yīng)用中被相互連接的部件是否是兼容的以便能有效地通訊。實施方案可以包括下列特征中的一個或更多個。例如，所述部件可以包括異構(gòu)的計算設(shè)備(例如RFID設(shè)備)。所述處理器還可以被配置為確定所述復(fù)合部件是否被良好地形成。所述存儲設(shè)備還可以包含處于通過相互鏈接的部件的通訊路徑端點的部件的端到端通訊概念的模型，并且所述處理器還可以被配置為確定處于所述路徑的端點的所述部件的所述端到端通訊概念是否是兼容的。所述處理器還可以被配置為產(chǎn)生所述部件的接口端口的模型，并且所述處理器還可以被配置為合并所述構(gòu)成部件的接口端口的模型，以便對所述復(fù)合部件的通訊能力建模。所述處理器可以被配置為對部件的類型的通訊能力建模，以便對所述應(yīng)用的部件的通訊能力建模，并且所述處理器可以被配置為確定部件的類型是否是兼容的，以便確定在所述應(yīng)用中所述相互鏈接的部件是否是兼容的以便能有效地通訊。所述處理器可以被配置為對部件的實例的通訊能力建模，以便對所述應(yīng)用的部件的通訊能力建模，并且所述處理器可以被配置為確定相互鏈接的部件是否是兼容的以便能有效地通訊，以便確定部件的實例是否是兼容的。在下面的附圖和描述中給出了一個或更多個實施方案的細節(jié)。從這些描述和附圖以及權(quán)利要求，其他的特征將很清楚。圖1是組成模型和確認方案可在其中被利用的智能項目基礎(chǔ)設(shè)施的框圖。圖2是設(shè)備通訊的開放系統(tǒng)互連(OpenSystemInterconnection，“OSI”)模型的框圖。圖3是所選擇的用來從本體類別方面描述應(yīng)用的物理層的通訊概念的框圖。圖4是所選擇的用來從本體類別方面描述應(yīng)用的數(shù)據(jù)鏈路層的通訊概念的框圖。圖5是所選擇的用來從本體類別方面描述應(yīng)用的網(wǎng)絡(luò)層的通訊概念的框圖。圖6是所選擇的用來從本體類別方面描述應(yīng)用的傳輸層的通訊概念的框圖。圖7是在組成模型中使用的部件、端口和連接器的框圖。圖8A是用于從構(gòu)成部件組成合成應(yīng)用的過程的流程圖。圖8B是用于從構(gòu)成部件組成合成應(yīng)用的過程的流程圖。圖9A是用于從構(gòu)成部件組成合成應(yīng)用的過程的流程圖。圖9B是用于從構(gòu)成部件組成合成應(yīng)用的過程的流程圖。圖10是用于從構(gòu)成部件組成并驗證合成模型的過程的流程圖。圖11是用于從構(gòu)成部件組成并驗證合成模型的系統(tǒng)的框圖。具體實施例方式如這里所描述的，描述了一種用于在智能設(shè)備中分布的基于服務(wù)或部件的應(yīng)用的組成模型。而且，描述了用于確認所提出的組成計劃的確認方案?？梢允褂盟瞿Ｐ蛠砝斫馐欠褚约叭绾慰梢詫悩?gòu)的部件鏈接在一起成為普適計算系統(tǒng)。用來組裝合成應(yīng)用的模型的基本構(gòu)建單元(buildingblock)是代表軟件服務(wù)和模塊、計算設(shè)備和通訊中間件的部件。在模型中，每一個部件具有由其端口定義的接口，并且所述端口擁有關(guān)于部件所使用的通訊技術(shù)的豐富描述。端口可以是到部件的功能的接口的一部分，或者，它可以代表到另一個端口的連接。通過參考在接口本體中被建模的通訊方面(communicationaspect)的類別來描述部件，所述接口本體是模型框架的一部分。在模型中所使用的本體中，以子類和超類組織的類別以及由本體給出的限制實現(xiàn)了在不同粒度層次上對網(wǎng)絡(luò)的描述。此外，對處于不同層的通訊方面之間的語義關(guān)系建模。利用這個信息，在確認過程中可以指定和考慮關(guān)于通訊策略的應(yīng)用限制，并且可以將本體擴展，以便覆蓋將來的基于用來定義領(lǐng)域特定的本體的元模型(meta-model)的通訊
技術(shù)領(lǐng)域：
。在描述合成應(yīng)用的組成計劃中，部件通過其端口相互鏈接，并且通過在相互鏈接的構(gòu)建單元上連續(xù)地施加組成操作，從所述計劃導(dǎo)出合成應(yīng)用的模型。在每一個步驟，組成操作取兩個被鏈接的部件作為輸入，并生成作為結(jié)果的合成部件的模型。使用被鏈接的部件所要求和提供的通訊技術(shù)來導(dǎo)出作為結(jié)果的合成部件的能力和限制。為了檢驗合成部件的良好形成性(well-formedness)，組成操作檢驗兩個被鏈接的端口是否都定義了它們?yōu)榻换プ饔枚枰娜客ㄓ嵏拍?。這些通訊概念的例子是協(xié)議、無線電頻率或用于錯誤校正的手段。依據(jù)哪些種類的部件被交互鏈接以及涉及到的部件的屬性，可以導(dǎo)出需要被采用的概念。因此，通過評估所要求的通訊方面的兼容性和存在性，可以確認端口到端口的交互作用。除了實現(xiàn)點到點連接的交互作用技術(shù)以外，通過描述處于通訊端點的端口的方面，也可以檢驗端到端通訊的方面。組成操作可以負責(zé)生成對通訊網(wǎng)絡(luò)中的任意層通訊概念的等價限制，所述限制被添加到作為結(jié)果的、在端到端連接中涉及到的部件中的端口。組成操作的基本輸出是作為結(jié)果的合成部件的模型。此外，如果組成被充分地定義或者如果需要額外的部件來構(gòu)建可工作的部件安排，則包括這樣的信息。此外，如果組成無效，則組成部件可以返回關(guān)于故障原因的信息。圖1是組成模型和確認方案可在其中被利用的智能項目基礎(chǔ)設(shè)施100的框圖。智能項目基礎(chǔ)設(shè)施100包括設(shè)備層102、設(shè)備級服務(wù)層104、商業(yè)過程橋接層106、系統(tǒng)連接層108和企業(yè)應(yīng)用層110。設(shè)備層102可被視為包含了各種設(shè)備，所述設(shè)備使用各種不同的硬件、軟件和通訊協(xié)議，跨越許多的群、局域網(wǎng)和/或物理位置進行通訊。同時，層106、108和110可以被視為商業(yè)數(shù)據(jù)處理系統(tǒng)或服務(wù)的一部分，或被視為與它們相關(guān)聯(lián)。因此，設(shè)備層102包含實際的智能項目設(shè)備，以及它們之間的任何通訊。設(shè)備層102還負責(zé)將任何被提供的硬件服務(wù)展現(xiàn)給相鄰的較高層，即設(shè)備級服務(wù)層104。這些設(shè)備可以包括例如RFID設(shè)備112、嵌入式系統(tǒng)114，傳感器網(wǎng)絡(luò)116，以及將會適合的任何其他新的或正在出現(xiàn)的技術(shù)118。例如，對于RFID設(shè)備(112)，移動標(biāo)簽可以被附著于真實世界對象，然后被RFID讀取器讀出(并且作為選擇，被寫入)。在使用有源標(biāo)簽的實施方案中，有源標(biāo)簽也可以提供額外的傳感器數(shù)據(jù)(例如當(dāng)前值或過去值)。在RFID中，通訊一般由讀取器開始，而標(biāo)簽與彼此可以或不可以直接通訊。按處理標(biāo)簽數(shù)據(jù)的程度，這樣的RFID讀取器可以是可配置的，例如可以被配置為執(zhí)行被寫入數(shù)據(jù)的驗證，或者如果表面上丟失的標(biāo)簽實際上在給定的時間窗內(nèi)再次出現(xiàn)，則避免報告該標(biāo)簽的消失。用于和嵌入式系統(tǒng)114通訊的技術(shù)可以隨著嵌入式系統(tǒng)設(shè)備的類型改變。例如，嵌入式系統(tǒng)可以代表從小規(guī)模、單片微型計算機一直到繁復(fù)的PC硬件的任何東西。因此，例如對于具有移動電話能力或者更多能力(例如能夠運行Java虛擬機(JavaVirtualMachineTM))的設(shè)備，實施方案可以在JavaTM中執(zhí)行或基于OSGi。仍如這里所描述的那樣，傳感器網(wǎng)絡(luò)116可以包括任意數(shù)量的傳感器類型，所述傳感器可以包括集成處理能力，并且可以執(zhí)行對等通訊。在另一個例子中，當(dāng)設(shè)備層102包含無線傳感器網(wǎng)絡(luò)116時，它可以包括需要被管理的特征。例如，網(wǎng)絡(luò)中的傳感器節(jié)點117可以包括實現(xiàn)對等通訊的集成處理能力，所以傳感器節(jié)點117能夠執(zhí)行簡單的商業(yè)邏輯。為了控制節(jié)點117的行為，可以將程序邏輯從基礎(chǔ)設(shè)施100的較高層次向下推進到它們。不同的特定于設(shè)備類型的方式實施的輕量級服務(wù)可被用來封裝該程序邏輯并將其配備在傳感器節(jié)點117上。每一個硬件平臺提供的基本功能可以被封裝在所謂的“使能服務(wù)”中，以便實現(xiàn)對傳感器節(jié)點的統(tǒng)一和簡化的訪問，所述訪問使用服務(wù)接口。在傳感器節(jié)點117上可以安裝和運行其他的服務(wù)(例如管理和商業(yè)服務(wù))。一般來說，管理和商業(yè)服務(wù)在被從基礎(chǔ)設(shè)施100的較高層次接收到節(jié)點117上以后在運行時被實例化?？刂乒芾砗蜕虡I(yè)服務(wù)的接收和實例化的服務(wù)是“使能”服務(wù)，并且一般被預(yù)先安裝在節(jié)點117上。設(shè)備級服務(wù)層104管理設(shè)備層102使用的可配備服務(wù)。因此，層104包括服務(wù)映射器140、系統(tǒng)監(jiān)視器142以及服務(wù)貯藏庫144a和設(shè)備貯藏庫144b。服務(wù)貯藏庫144a和設(shè)備貯藏庫144b可以存儲至少兩個種類的服務(wù)和設(shè)備——復(fù)合和原子服務(wù)(compoundandatomicservice)及設(shè)備。復(fù)合服務(wù)一般依賴于其他的服務(wù)來完成其任務(wù)，并且可以不具有其自身的直接可執(zhí)行代碼；再者，復(fù)合服務(wù)可以包括被存儲在對應(yīng)的服務(wù)描述中的可執(zhí)行服務(wù)組成描述。因此，復(fù)合服務(wù)可以具有一個服務(wù)可執(zhí)行內(nèi)容(executable)——即服務(wù)組成描述。反之，原子服務(wù)一般不使用其他的服務(wù)，并且具有其自身的直接可執(zhí)行代碼。而且，因為原子服務(wù)可在不同的平臺上配備，所以原子服務(wù)可以具有多于一個的服務(wù)可執(zhí)行內(nèi)容，例如可以具有和每一個不同的平臺均相關(guān)聯(lián)的服務(wù)可執(zhí)行內(nèi)容。類似地，原子設(shè)備一般是獨立的服務(wù)，而復(fù)合設(shè)備由兩個或更多個構(gòu)成原子設(shè)備組成。服務(wù)貯藏庫144a和設(shè)備貯藏庫144b還可以存儲服務(wù)和設(shè)備元數(shù)據(jù)，其中這些服務(wù)元數(shù)據(jù)被詳細地描述，并且可以包括服務(wù)或設(shè)備名稱、標(biāo)識符、版本或銷售商，或者可以描述服務(wù)或設(shè)備的運行時要求，例如包括技術(shù)配備要求(例如要求高帶寬或最小的處理功率)、語義要求(例如接收設(shè)備具有串行連接、具有用于控制正常的線功率的電池備份，和/或很多設(shè)備鄰居)和空間要求(例如接收設(shè)備處于地下室中或處于指定建筑物的南側(cè))。在運行時，系統(tǒng)監(jiān)視器142監(jiān)視當(dāng)前系統(tǒng)狀態(tài)?？梢杂煞?wù)在設(shè)計時的開發(fā)者設(shè)定是否以及如何將服務(wù)狀態(tài)的任意部分暴露給系統(tǒng)監(jiān)視器。這個狀態(tài)可用性信息此后對于系統(tǒng)管理器和服務(wù)映射器140部件來說均可用。仍如上面所描述的那樣，服務(wù)映射器140接收配備請求，然后通過例如將服務(wù)元數(shù)據(jù)和設(shè)備元數(shù)據(jù)匹配來確定對應(yīng)的服務(wù)應(yīng)該被配備在哪個(哪些)設(shè)備上，所述設(shè)備元數(shù)據(jù)可以包括智能項目設(shè)備和相關(guān)的本地網(wǎng)絡(luò)的當(dāng)前狀態(tài)。仍舊如這里所描述的那樣，服務(wù)映射器140也可以對某些事件或者條件做出反應(yīng)，所述事件和條件包括網(wǎng)絡(luò)狀態(tài)上的改變(如系統(tǒng)監(jiān)視器142發(fā)現(xiàn)的那樣)，并且此后可以決定重新映射服務(wù)還是添加或去掉服務(wù)的實例，以便更好地完成給定的配備請求/要求。商業(yè)過程橋接層106包括被設(shè)計成匯集來自處于設(shè)備層102的設(shè)備的數(shù)據(jù)，并將所述來自設(shè)備層102的數(shù)據(jù)變換為商業(yè)相關(guān)信息的服務(wù)，所述數(shù)據(jù)被通過設(shè)備級服務(wù)層104提供。在這么做時，發(fā)送到后端企業(yè)應(yīng)用系統(tǒng)的數(shù)據(jù)量可以被減少，并且可以針對不同的企業(yè)應(yīng)用系統(tǒng)執(zhí)行商業(yè)邏輯。例如，可以使用一個或更多個規(guī)則處理器120解析進入的消息，支持基本操作服務(wù)(例如項目移動、關(guān)聯(lián)、解除關(guān)聯(lián)或設(shè)備讀取/寫入)，并支持信息查詢。規(guī)則處理器120處理用戶定義的商業(yè)規(guī)則，所述規(guī)則定義或參考任何其他的應(yīng)該被執(zhí)行或咨詢的基本操作服務(wù)。使用這樣的規(guī)則和基本操作服務(wù)提供了靈活的框架，以便使系統(tǒng)100適應(yīng)不同的商業(yè)場景。規(guī)則處理器120可以使用數(shù)據(jù)貯藏庫122用于追蹤所有感興趣的物理對象，例如追蹤被跟蹤的給定對象的當(dāng)前狀態(tài)、位置、時間標(biāo)記或相關(guān)聯(lián)的商業(yè)交易，以及追蹤預(yù)期將來的動作是什么。例如可以每日或每月地定期報告來自數(shù)據(jù)貯藏庫122的匯集信息。層102、104和106的操作的一個例子包括“貨物接收”場景。例如，將對象遞送到接收者的提供者可以將例如電子產(chǎn)品代碼(ElectronicProductCodes，EPC)的對象標(biāo)識符與先進裝運通知單(AdvancedShipmentNotification，ASN)一起發(fā)送，所述先進裝運通知單包含貨物中所有對象的列表。ASN可以被存儲在數(shù)據(jù)貯藏庫122中。當(dāng)貨物到達并通過設(shè)備層102的RFID讀取器時，例如在接收碼頭閘門(dockdoor)處，EP被RFID讀取器讀取，并被發(fā)送到規(guī)則處理器120。規(guī)則處理器查找消息所來自的讀取器的ID，確定讀取器的位置和角色，然后調(diào)用適當(dāng)?shù)呢撠?zé)處理接收到的貨物的基本操作服務(wù)。該操作服務(wù)將獲得的EPC和來自先前的ASN的期望EPC比較，并且如果發(fā)現(xiàn)匹配，則向企業(yè)應(yīng)用132報告，遞送已經(jīng)到達并且完成。然后，被執(zhí)行的基本服務(wù)還可以更新數(shù)據(jù)貯藏庫122中的數(shù)據(jù)。上面所描述的服務(wù)以及用于接收和發(fā)送涉及到的消息的服務(wù)可以由服務(wù)管理器126管理?？梢允褂孟到y(tǒng)連接層108中的部件來連接不同的應(yīng)用系統(tǒng)，并支持系統(tǒng)和數(shù)據(jù)集成。例如，消息和數(shù)據(jù)可以被信息交換和變換模塊128路由到正確的后端系統(tǒng)，并且還可以被變換，從而實現(xiàn)語義正確的集成。在消息路由和變換服務(wù)之上，系統(tǒng)連接層108還可以包含外部的服務(wù)貯藏庫130。當(dāng)給定的SII服務(wù)被從開發(fā)環(huán)境配備到設(shè)備級服務(wù)層104的服務(wù)貯藏庫144a或設(shè)備貯藏庫144b時，可以向外部服務(wù)貯藏庫130登記外部服務(wù)描述。貯藏庫130包含基礎(chǔ)設(shè)施100提供的可從基礎(chǔ)設(shè)施100外部訪問的所有服務(wù)的注冊。企業(yè)應(yīng)用層132包括例如負責(zé)控制和管理企業(yè)商業(yè)應(yīng)用的傳統(tǒng)企業(yè)IT系統(tǒng)。覆蓋特定商業(yè)過程的企業(yè)應(yīng)用可以不是單個程序而可以由一起工作以便實現(xiàn)期望功能的不同服務(wù)組成。這些服務(wù)可以由同一企業(yè)系統(tǒng)提供，或者由企業(yè)應(yīng)用層110內(nèi)的另一個企業(yè)系統(tǒng)提供(可能位于商業(yè)伙伴的位置)，或者由來自較低層的系統(tǒng)(例如，由設(shè)備層102的智能項目設(shè)備)提供。最后，在圖1中，開發(fā)工具134可以指用于生成企業(yè)應(yīng)用132和其他應(yīng)用/服務(wù)的工具。使用與基礎(chǔ)設(shè)施100集成的開發(fā)環(huán)境可以支持以類似于企業(yè)應(yīng)用空間中已知的開發(fā)工具的方式實施基本服務(wù)。此外，開發(fā)工具134可以允許生成要求的服務(wù)元數(shù)據(jù)，以及將現(xiàn)有服務(wù)包括在新應(yīng)用中。在一個實施例中，確認過程可以被實施為可如開發(fā)工具134一樣可用的設(shè)計時工具。此外，開發(fā)工具134允許開發(fā)者指定某個服務(wù)應(yīng)該在哪里運行，以便配置各個服務(wù)實例，并以期望的方式配備服務(wù)。即，開發(fā)者可以使用開發(fā)工具134開發(fā)服務(wù)元數(shù)據(jù)/可執(zhí)行內(nèi)容136，然后可以提供服務(wù)和設(shè)備元數(shù)據(jù)/可執(zhí)行內(nèi)容中被期望的那些，以便存儲在服務(wù)貯藏庫144a和設(shè)備貯藏庫144b中，和/或由服務(wù)映射器140同時或以后映射/重新映射。在圖1中所示的基礎(chǔ)設(shè)施100中，很多不同的單個設(shè)備和服務(wù)(這里統(tǒng)稱為“部件”)可以被鏈接在一起。圖1示出了普適計算基礎(chǔ)設(shè)施的一個例子，但是其他的基礎(chǔ)設(shè)施也可以由很多異構(gòu)部件組成。不同的部件可以使用不同的技術(shù)和協(xié)議通訊，對此參照圖2來描述。圖2是設(shè)備通訊的開放系統(tǒng)互連模型200的圖示，在所述模型中定義了7個通訊層。所述基礎(chǔ)設(shè)施的部件為了在所述基礎(chǔ)設(shè)施內(nèi)交換數(shù)據(jù)，它們必須能夠在圖2中所示的全部7層抽象概念上通訊。物理層202是OSI模型200中的最低層。在物理層202的層次，定義了例如電氣標(biāo)準(zhǔn)和定時問題(timingissue)的通訊接口。如圖3中所示，在物理層202中，部件的粗粒度屬性可以按本體類別定義，例如“方向”302、“信號編碼”304和“通訊媒介”306，并且可以被集成在部件的物理層模型中。部件的物理層模型可以用與部件相關(guān)聯(lián)的元數(shù)據(jù)的形式存儲。關(guān)于部件的物理層的屬性的信息還可以按類別和子類定義。部件的類別和子類可以以樹狀結(jié)構(gòu)排列，所以樹的較高層次繼承了在子類中定義的信息。因此，在一個例子中，物理文件層中關(guān)于部件的信息可以指示該部件使用無線通訊媒介并且使用了EM波來載送信號。“方向”類別302可以是處理部件在物理層次上信息流的方向的高層次類別。部件的通訊的方向可以按本體子類定義，例如“單向”310和“雙向”312，并且如果通訊的方向是單向的，則還可以按例如“進”320和“出”322的本體子類定義通訊的方向。部件方向類別的實例就與另一個部件的兼容性而言可能不是自反的(reflexive)。例如，單向的向外通訊端口不能被插入另一個相同種類的端口，因為第二端口不能從第一個接收信息，兩個端口都只能發(fā)送但是不能接收。“信號編碼”類別304能夠定義在傳輸中信號(例如二進制0)如何被編碼。例如，可以基于信號的電氣值是在某個閾值之上還是之下確定信號的二進制值，并且這可以在“信號編碼”子類中被建模。兩個部件的兼容性可能依賴于為其“通訊媒介”類別306定義的值。例如，依賴于部件的移動性要求，具有固定電纜鏈接的設(shè)備可能是可接受的或不可接受的。因此，可以按“無線”314和“固定”316子類定義“通訊媒介”類別，“無線”314和“固定”316子類可以進一步分別被按子類“EM波”324、“聲”326和“光”328以及按子類“電纜”330和“光纜”332定義。此外，如果要求某個用于無線通訊的頻率，則可以將頻率定義為“無線”和“固定”子類314和316兩者中的任意一個的子類，或者被定義為兩者的子類。如圖4中所示，數(shù)據(jù)鏈路層204的服務(wù)應(yīng)對物理層202以上的數(shù)據(jù)交換?？梢酝ㄟ^例如本體類別“流控制”402、“錯誤處理”404、“數(shù)據(jù)交換”406和“介質(zhì)訪問控制”408定義在數(shù)據(jù)鏈路層中處理的問題?？蛇x擇的高層次本體類別是“流控制”402。部件的流控制機制可以按子類“基于速率”410和“基于信用”412分類?；谛庞玫目刂葡到y(tǒng)保證不發(fā)送多于接收器準(zhǔn)備好獲得的數(shù)據(jù)。如果接收器的緩沖器非常有限，則這種策略可被優(yōu)選并在應(yīng)用限制中形成要求。因此，可以包括子類“基于信用”412和“基于速率”410作為類別“流控制”402的子類。但是，“流控制”類別不是強制性的，因為無需它就可以執(zhí)行兩個部件之間的通訊。另一種可選擇的服務(wù)類別是“錯誤處理”404。例如，可以用幾種一般的方法在數(shù)據(jù)鏈路層中應(yīng)對錯誤。比如，可以采用冗余編碼來實現(xiàn)數(shù)據(jù)恢復(fù)機制414，或者不同的服務(wù)可以僅檢測錯誤并將消息丟棄，以便避免被破壞的數(shù)據(jù)416，或者，如果檢測到破壞，則可以明確地重新請求數(shù)據(jù)418。因為這些不同的策略影響服務(wù)的質(zhì)量，所以它們可能經(jīng)受非功能應(yīng)用限制，并且因而被包括在模型中?！皵?shù)據(jù)交換”406類別可以是數(shù)據(jù)鏈路層204的強制性類別，因為它的子類定義了關(guān)于不同部件之間的通訊策略的細節(jié)。數(shù)據(jù)交換類別的主要子類是“面向連接”420和“無連接”422通訊，選擇哪一個能夠影響延遲、相同順序傳輸和完整性的問題?？梢园磾?shù)據(jù)交換是“被確認的”424或“未被確認的”426將“無連接”子類420進一步定義，并且，如果是后者，則按交換是否是“廣播”428進一步定義。類別“介質(zhì)訪問控制”408解決了沖突檢測430和沖突處理432的問題。此外，如果可以通過數(shù)據(jù)評估方案434或載波感測436實現(xiàn)沖突檢測430，并且沖突處理432可能涉及概率性的方法438或確定性的方法440。如圖5中所示，網(wǎng)絡(luò)層206涉及信息通過通訊網(wǎng)絡(luò)的傳輸。和OSI模型200的較低層202和204相反，在網(wǎng)絡(luò)層中，可以將連接實現(xiàn)為跨過多跳。即，通訊各方在彼此之間可能不具有物理鏈接，但是可以通過相互鏈接的部件的鏈連接。網(wǎng)絡(luò)層206中的服務(wù)使得數(shù)據(jù)包能夠通過這個鏈從起點傳播到期望的目的地。對于接口模型，可以定義本體類別“路由”502、“錯誤處理”504和“端點”506。如“路由”類別502所刻畫的那樣，網(wǎng)絡(luò)層的基本任務(wù)是定義包路由?！奥酚伞钡念~外子類可以包括用于指示路由方案是固定的“靜態(tài)路由”512和用于指示路由方案可以改變的“自適應(yīng)路由”514。雖然第一子類的機制只能在靜態(tài)網(wǎng)絡(luò)中采用，但“自適應(yīng)路由”類別514代表了適應(yīng)網(wǎng)絡(luò)變化的方法?！白赃m應(yīng)路由”類別514還可以被類別“連接改變”516、“設(shè)備遷移”518和“路由器遷移”520進一步描述。子類“連接改變”516代表了對改變同等對象(peer)之間的連接做出反應(yīng)的方法，如果網(wǎng)絡(luò)在某個鏈接上擁塞或者如果連接中斷，則上述方法允許找到新的路由。當(dāng)設(shè)備能夠從一個網(wǎng)絡(luò)移動到另一個時，例如當(dāng)蜂窩電話從一個網(wǎng)關(guān)漫游到另一個時，使用子類“設(shè)備遷移”518的技術(shù)。類別“路由器遷移”520覆蓋了允許路由器在網(wǎng)絡(luò)中漫游的技術(shù)，所述技術(shù)在自組織網(wǎng)絡(luò)中特別有用，在自組織網(wǎng)絡(luò)中路由器是動態(tài)部件。通常采用網(wǎng)絡(luò)層的錯誤處理504來保證數(shù)據(jù)轉(zhuǎn)移中的完整性或者保持通過網(wǎng)絡(luò)經(jīng)不同路由傳播的包的順序。這些方面由子類“被保證的完整性”522和“有序的傳輸”524代表。網(wǎng)絡(luò)層的協(xié)議也可以針對破壞檢驗被傳輸?shù)臄?shù)據(jù)，因此，子類“破壞檢測”526被包括在概念模型中。在網(wǎng)絡(luò)層中數(shù)據(jù)傳輸?shù)膯栴}由類別“數(shù)據(jù)交換”528描述。和在數(shù)據(jù)鏈路層204中一樣，這個類別具有兩個子類“面向連接”530和“無連接”532，它們代表被同樣地命名的通訊策略。在這個抽象概念層次上，尋址機制(addressingmechanisms)可能對網(wǎng)絡(luò)中的通訊可能性有重大影響，因此，包括尋址子類“單播”534、“多播”536和“廣播”538作為“無連接”532的子類。使用子類“單播”534的協(xié)議的處理能夠?qū)⑿畔⒁淮无D(zhuǎn)移到一個特定資源。相反，可以使用子類“廣播”538中的協(xié)議將信息發(fā)送到網(wǎng)絡(luò)的所有參與者?！岸嗖ァ弊宇?36代表和廣播協(xié)議類似的協(xié)議，但是多播協(xié)議可以將信息發(fā)送到全部網(wǎng)絡(luò)成員的專門子集。類別“端點”506存有通訊的所有可能端點。這是指在網(wǎng)絡(luò)中使用的尋址方案，例如，對于IP協(xié)議，“端點”是所有IP地址的類別。傳輸層208建立在網(wǎng)絡(luò)層206之上，并提供從跨越網(wǎng)絡(luò)的端到端的連接。在傳輸層中提供的服務(wù)也可以在網(wǎng)絡(luò)層中被找到，但是，在這兩層中抽象概念的層次是不同的。使用網(wǎng)絡(luò)層206的功能，傳輸層208的服務(wù)只需要在處于連接端點的機器上運行，并且不影響路由器。如圖6中所示，傳輸層208包括類別“端點”602、“流控制”604和“數(shù)據(jù)傳輸”606。類別“端點”602存有通訊的所有可能的端點，并且類似于網(wǎng)絡(luò)層206中被同樣地命名的類別。這個類別指的是用于應(yīng)用的虛擬連接端點的尋址方案，例如，對于TCP協(xié)議，“端點”是所有TCP端口的類別。和在網(wǎng)絡(luò)層206上一樣，在傳輸層208上的錯誤處理可以保證相同順序傳輸和數(shù)據(jù)轉(zhuǎn)移的完整性，或者檢測數(shù)據(jù)破壞。就功能來說，類別“流控制”604的概念和在數(shù)據(jù)鏈路層204中找到的流控制機制的概念類似，這很自然，因為兩種層都處理點到點連接數(shù)據(jù)鏈路層204在物理層次上處理點到點連接，而傳輸層206在邏輯層次上處理點到點連接。因此，和數(shù)據(jù)鏈路層204上的“流控制”類別402相似，傳輸層208中的“流控制”類別604包括子類“基于信用”和“基于規(guī)則”。類別“數(shù)據(jù)傳輸”606指在傳輸層中可能采用的通訊策略。兩個子類“面向連接”和“無連接”對應(yīng)于較低層上相同名稱的子類(例如數(shù)據(jù)鏈路層204中的子類420和422和網(wǎng)絡(luò)層206中的子類540和542)。盡管已經(jīng)描述了幾個本體類別和子類，但是很多其他的類別和子類也是可能的，并且能夠被在組成和確認模型中定義和使用。再次參考圖2，很明顯，通訊問題被在模型200的較低的4個OSI層202-208中解決。會話層210、表示層212和應(yīng)用層214指抽象概念的較高層次，它們一般應(yīng)對應(yīng)用語義的事務(wù)。因此，這里描述的組成模型集中在較低層次的通訊問題上，同時對于在較高層次上的擴展是開放的。使用這里所描述的部件(例如參考圖1)和不同抽象層次上的通訊(例如參考圖2到圖6)概念以及用來生成接口描述的頂層本體的概念，在下面進一步的細節(jié)中描述了專用于普適計算系統(tǒng)(例如智能項目應(yīng)用)的組成模型。在面向部件的體系結(jié)構(gòu)中，系統(tǒng)被建模為部件的組成。部件封裝功能并在部件之間提供良好定義的接口、被調(diào)用端口。利用交互作用部件(連接器)可以實現(xiàn)從部件組成系統(tǒng)，所述交互作用部件相互鏈接相應(yīng)部件的端口。因為部件能夠跨越設(shè)備邊界交互作用，所以組成受到由于軟件能力所致的通訊問題以及所利用的硬件的影響。因此，各個部件和部件群的通訊能力被反映在解決這些問題的部件模型中。在模型中，所有協(xié)議層，包括物理層上的多部件系統(tǒng)地址通訊問題的協(xié)同工作的能力的考慮得到說明。因此，端口、連接器、部件被詳細地建模(例如利用描述其方面、屬性、能力和實例的元數(shù)據(jù))，以便解決智能項目領(lǐng)域的問題。端口、連接器和部件的這些增強的表示能夠影響應(yīng)用怎樣被基于模型組成(即在組成過程中，模型的構(gòu)建單元的語義方面怎樣被實例化、包封和組合)。因為智能項目基礎(chǔ)設(shè)施使用很多不同的部件和交互作用機制(例如使用專用協(xié)議和專用頻率的RFID芯片和實施用于無線網(wǎng)絡(luò)的IEEE802.11標(biāo)準(zhǔn)的PDA)并且不能假設(shè)部件、端口、連接器之間的兼容性，并且部件(即組成模型的構(gòu)建單元)被建模為“信息豐富”的部件，所述部件管理和所述部件相關(guān)以及和兩個或更多個部件的組成相關(guān)的硬件、軟件和通訊協(xié)議。參考圖7，當(dāng)連接第一設(shè)備702和第二設(shè)備752時，設(shè)備接口如圖7中所示包裝部件的端口。因此，設(shè)備702和752之間的連接建立在主設(shè)備上實施的通訊能力之上，所示通訊能力由設(shè)備硬件以及在設(shè)備上運行的軟件確定。為了解決這些交互作用方面，在組成模型中，將部件、端口和連接器建模為具有豐富的描述部件、端口和連接器的功能和能力的細節(jié)的特征，因為其涉及智能項目基礎(chǔ)設(shè)施。例如，部件704可以代表軟件部件712(例如服務(wù))、處于位置706的平臺(例如操作系統(tǒng))、設(shè)備702、軟件端口708、設(shè)備端口710或那些實體的嵌套組合。端口720能夠具有所有用來組裝它的部件部分的組合通訊能力，即，設(shè)備752的端口可以包括關(guān)于該設(shè)備所使用的軟件端口756和設(shè)備端口758的信息。連接器730描述“端口”之間的連接，并且如下面更詳細地描述的那樣，在目標(biāo)設(shè)定中可被理解為通訊信道的具體實例化。端口708、710、756和758代表到部件的接口，并且可以定義很多屬性來對端口建模。例如，端口756可以是軟件端口并且端口758可以是設(shè)備端口，并且這些本體概念到端口屬性的映射可以由函數(shù)has_type在形式上描述，該函數(shù)被定義為has_typePRT->{“sotftware”，”device”}。在另一個例子中，端口708、710、756和758可以具有它們允許的數(shù)據(jù)流方向(例如“進”、“出”或“雙向”)，并且這個概念到端口的屬性的映射可以由函數(shù)has_dataflow在形式上描述，該函數(shù)被定義為has_dataflowPRT->{“in”、“out”，“bidirectional”}?？梢越o端口定義很多其他額外的屬性，并且使用這些屬性來將語義擴展綁定到端口描述，所述端口描述可以被描述通訊概念的實現(xiàn)的屬性(例如，存儲在端口的元數(shù)據(jù)中)表示。例如，端口作為移動電話網(wǎng)關(guān)運行的概念可以通過本體類別“通訊媒介”、“無線”和“EM波”表示，并且移動電話網(wǎng)關(guān)端口的模型可以用指明該端口準(zhǔn)確地代表了所述概念的元數(shù)據(jù)屬性填充。為了保證組合模型的準(zhǔn)確性，有必要實現(xiàn)端口所需要的每一個概念(例如通過定義和概念對應(yīng)的元數(shù)據(jù)值)。在將端口元數(shù)據(jù)直接綁定到另一個端口、部件或連接的元數(shù)據(jù)時可以要求實現(xiàn)，或者，連接或綁定可以發(fā)生在更高的協(xié)議層次。從通訊概念到端口元數(shù)據(jù)的這種映射可被用來指定在連接中如何采用特定端口，即可以使用哪種技術(shù)來將端口綁定到另一個部件。例如，當(dāng)對由多個嵌入式設(shè)備組成的系統(tǒng)建模時，系統(tǒng)的一個部件可能是工作于低功率、只傳送模式的傳感器，并且其他部件可能是分配代碼給所述傳感器的第一硬連線、低功率控制器和第二可配置控制器。在工作于低功率模式中時，傳感器和第一控制器的端口的元數(shù)據(jù)可能指示傳感器端口的通訊協(xié)議和第一控制器端口的通訊協(xié)議匹配，所以控制器可以被鏈接到傳感器，以便從所述傳感器接收數(shù)據(jù)。相反，第二控制器的端口的元數(shù)據(jù)可能指示與所述傳感器的通訊根本不可能，或者指示當(dāng)控制器在低功率狀態(tài)中使用時不可能。因此，使用部件及其端口的元數(shù)據(jù)，在通訊和實例層次而非(或者除此以外還有)在類型層確定了傳感器—控制器兼容性。在另一個例子中，在無線通訊中，可以利用例如通訊頻率、調(diào)制技術(shù)、握手協(xié)議等的概念確定綁定技術(shù)。因此，涉及端口屬性的元數(shù)據(jù)與保證組成中的有效綁定的概念相關(guān)聯(lián)。部件704可以是軟件部件、中間件(例如操作系統(tǒng))、設(shè)備或這些元件的組合。兩個或更多個部件可以被合并在一起形成組合，并且提供新的接口來訪問由所述組合產(chǎn)生的部件。例如，軟件應(yīng)用部件706和平臺部件712可以被合并，并且作為結(jié)果的組合部件的接口可以是端口708。當(dāng)對由多個部件組成的系統(tǒng)或應(yīng)用建模時，用來確認組成計劃的部件模型存有作為被建模的系統(tǒng)或應(yīng)用的一部分的所有類型的部件，即所有的軟件部件類型(包括中間件)和所有的設(shè)備部件類型。類型自身被定義為具有相同屬性的所有部件的集合。例如，相同類別的兩個RFID標(biāo)簽或者具有相同硬件的兩個PDA將是相同的設(shè)備部件類型。但是，部件的實例化和具體設(shè)備或軟件被配備的副本相關(guān)，所以相同類型的兩個部件在被建模的系統(tǒng)或應(yīng)用中在實例層次上可能不同。部件704提供了一組端口，利用所述端口，部件704能夠和其他部件連接。在形式上，這可以被表示為將部件映射到端口集合。因此，當(dāng)考慮被建模的系統(tǒng)中部件的協(xié)同工作能力時，可以按部件映射到的端口群分析部件類型。在模型中可以使用連接器730來相互鏈接部件。因此，連接器代表通訊信道的抽象概念，通過在組合應(yīng)用中實際使用這個信道來實例化所述通訊信道。連接器的實例指向相應(yīng)連接的源頭和目的地，并且這個信息可以被作為與連接器相關(guān)聯(lián)的元數(shù)據(jù)存儲。從與連接器鏈接的端口的屬性可以獲得連接器730額外的元數(shù)據(jù)。例如，無線連接器要求其鏈接到的端口具有無線通訊的能力。部件704、端口720和連接器730包含通訊概念和子概念的較深的層次結(jié)構(gòu)，因此可被用作普適計算應(yīng)用的組成模型的基本構(gòu)建單元，所述組成模型可被用來驗證所提出的應(yīng)用的可行性。除了使用每一個部件、端口和連接器的基本通訊細節(jié)的定義來對應(yīng)用建模以外，也可以定義較高層次的概念來代表應(yīng)用的一部分。這些較高層次的概念可以按“規(guī)范”定義，所述“規(guī)范”代表預(yù)先定義的概念以及描述那些概念的屬性的值的集合。因此，可在應(yīng)用的模型中使用“規(guī)范”，以便在接口描述中實現(xiàn)某個層次的抽象概念而不是將通訊概念分割為更詳細的子概念，規(guī)范可被用來描述概念和子概念的特性。例如，可以定義規(guī)范“EPCglobal”來代表RFID標(biāo)簽的通訊方面，例如在智能項目基礎(chǔ)設(shè)施中使用的RFID標(biāo)簽的通訊頻率和信號編碼。參考圖8A和圖8B，可以從應(yīng)用的構(gòu)成部分的各個部件模型(即部件704、端口720和連接器730構(gòu)建單元)構(gòu)造合成應(yīng)用的模型。用于組合各個部件模型的組成計劃被構(gòu)造，然后通過連續(xù)地組合在組成計劃中被鏈接的部件，生成了合成應(yīng)用模型。因此，如圖8A中所示，第一部件802可以具有端口804。第二部件806可以具有被連接到端口804的第一端口808和第二端口810。第三部件812可以具有被連接到端口810的端口814。組成計劃可以指定用于生成組成模型850的兩步過程首先，從部件802和806組成具有端口822的部件模型820；第二，從部件模型820和部件812組成組成模型850?；蛘撸鐖D8B中所示，組成計劃可以指定通過從部件806和810組成具有端口826的部件模型824，然后從部件824和部件802組成組成模型850來生成組成模型850。盡管在圖8A和8B中被示出為存在于實例層次，但是組成計劃可以存在于類型層次以及實例層次上。使用如參考圖8A和8B所描述的那樣的組成計劃，通過連續(xù)地從構(gòu)成部件組成復(fù)合部件，能夠生成復(fù)雜的組成。復(fù)合部件從多個單獨的部件組成，并且作為結(jié)果的部件模型合并單獨的部件被連接的端口，并獲取包括單獨的部件端口的屬性的接口描述。因此，在作為結(jié)果的部件中，通訊概念到部件屬性的映射一般和它們在單獨的部件中不同。例如，未包括涉及被合并的單獨部件之間的連接的屬性作為單獨部件的組成的組成計劃的一部分。為了確定對由單獨的部件組成的部件的通訊概念建模需要的屬性，必須考慮兩種情況。在第一種情況中，參考圖9A，具有端口902、904和906的單獨部件900可以與具有端口912、914和916的部件910組合。當(dāng)單獨的部件的相互鏈接的端口902和912只能綁定一個連接時，則通過共有構(gòu)成部件900和910的接口、排除用于綁定的端口來定義作為結(jié)果的合成部件920的接口端口的集合。因此，如圖9A中所示，作為結(jié)果的部件由端口904、906、914和916的屬性定義。在第二種情況中，如圖9B中所示，被連接的端口902和912可以處理多個連接。在這種情況下，端口912仍舊是從組成產(chǎn)生的部件920中的接口的一部分，不被組成所改變。相反，生成了復(fù)本端口912’，并在組成920中使用。端口912’僅在其標(biāo)識上和912不同，除此以外端口912’和912由相同的屬性定義。當(dāng)組成合成部件時，只生成在組成過程期間檢驗組成兼容性規(guī)則所確定的有效的組成。組成過程的額外驗證處理額外的良好形成性規(guī)則和應(yīng)用限制。當(dāng)將兩個部件鏈接在一起時，所有這些規(guī)則都被檢驗。因此，驗證是組成過程期間執(zhí)行的操作的一部分。兼容性規(guī)則確定兩個端口是否能夠被鏈接在一起。因此，為了在設(shè)備之間建立直接鏈接，在組成計劃中被鏈接的部件之間通訊所需的屬性必須存在于根據(jù)組成計劃要被鏈接的端口處。對于設(shè)備端口，這些屬性是較低的3層OSI層的屬性。因此，如果一個端口要求某個屬性的具體實現(xiàn)，則在其他端口這種實現(xiàn)也必須可用。在組成模型中，可以用兩種方法表示實現(xiàn)的可用性。在一種方法中，實現(xiàn)可以被通過關(guān)系明確地與部件相關(guān)。例如，在端口的元數(shù)據(jù)中定義的屬性可以指示端口在2.4GHz的載波頻率上通訊。在另一個方法中，各實現(xiàn)可以由部件所遵循的規(guī)范定義。例如，在端口的元數(shù)據(jù)中定義的屬性可以指明端口使用802.11(g)標(biāo)準(zhǔn)通訊。為了檢驗在組成計劃中被鏈接的兩個自反端口滿足這些兼容性規(guī)則并且因而在組成模型中能夠被鏈接，每一個通訊方面和被按端口需要表示的通訊方面的每一個被定義的實現(xiàn)必須被對應(yīng)的鏈接端口提供。在非自反兼容方面的情況下，可以通過考慮被鏈接的端口是否是彼此的有效對應(yīng)端口來驗證端口的兼容性。例如，提供“單向”、“進”通訊的端口可以是提供“單向”、“出”通訊的端口的有效對應(yīng)端口。因此，在一個實施方案中，單向廣播的無線電臺的端口可以是接收單向通訊的無線電接收機的端口的對應(yīng)端口。組成模型也可以要求組成中的兩個邏輯端點(即在相互鏈接的代表端口鏈中兩個最遙遠的端口)之間的鏈接要滿足的限制。例如，端到端鏈接的限制可以是保證被傳送的數(shù)據(jù)包處于正確的順序或者破壞檢驗發(fā)生作用。可以給對應(yīng)于組成計劃中的邏輯端點的部件端口設(shè)定這樣的限制，可以針對存在性來檢驗具有被要求的語義的方面。沿著組成計劃中每一個鏈接處的連接鏈，可以找到被要求的概念(例如針對數(shù)據(jù)破壞對連接進行檢驗)的實現(xiàn)。在組成模型中使用良好形成性規(guī)則來驗證合成應(yīng)用中的通訊得到充分的描述。因此，如果通訊概念c由與組成計劃中的部件相關(guān)聯(lián)的屬性定義，則通訊概念c所依賴的概念類別的其他屬性也必須被定義。例如，如果端口指定了TCP連接，對于要被良好定義的合成應(yīng)用，則部件為了通訊，網(wǎng)絡(luò)協(xié)議(例如IP)將不得不發(fā)生作用?？梢允褂米裱璒SI層202-214的類別中的層次結(jié)構(gòu)定義代表不同通訊概念的類別之間的關(guān)系。例如，可以將在OSI層204中被定義為數(shù)據(jù)鏈路類型的端口的屬性(例如TCP連接)定義成依賴于作為較高網(wǎng)絡(luò)OSI層206的一部分的屬性(例如用于網(wǎng)絡(luò)上的數(shù)據(jù)交換的IP協(xié)議)。然后，當(dāng)組成計劃的良好形成性被檢驗時，可以對照端口所依賴的屬性(即網(wǎng)絡(luò)的IP協(xié)議屬性)來檢驗其TP連接屬性的依賴性。除了在類型層次驗證組成模型以外，如果已知到被建模的部件的實例的具體映射，則也可以在實例層次驗證模型。為了允許在實例層次的這些檢驗，模型應(yīng)該描述關(guān)于應(yīng)用被預(yù)計在其中運行的物理條件和環(huán)境的細節(jié)。例如，設(shè)備的位置和其地點可以影響設(shè)備到設(shè)備的連接。在特定例子中，如果已知使用射頻通訊的兩個設(shè)備被金屬目標(biāo)分開，則在實例層次的驗證將指明兩個設(shè)備由于障礙所致不能彼此通訊，盡管若非如此它們彼此很好地匹配。在另一個具體例子中，兩個射頻通訊設(shè)備可能被分開大到以至于通訊無法發(fā)生的物理距離。當(dāng)在實例層次對合成應(yīng)用建模時，應(yīng)用的被實例化的模型是其處于類型層次的模型的細化。因此，它至少代表相應(yīng)的類型層次模型提供的相同信息。因此，在實例化的模型中，對于每一個映射m，在端口屬性和通訊概念之間存在映射mi，它表示實例層次上相同的關(guān)系。在實例化的模型中，對于相應(yīng)的類型層次組合模型中的每一個部件類型和端口，存在著實例，所述實例包括類型的全部信息加上額外的特定于實例的信息。被實例化的連接器標(biāo)記了兩個被選擇的設(shè)備之間的具體鏈接。因此，對組合模型的限制可以從應(yīng)用的目標(biāo)設(shè)定中的限制產(chǎn)生。例如，可以通過法律手段或者安全策略(例如，由于在不同的立法中關(guān)于詢問信號的可允許信號強度的不同規(guī)定，某些無線RFID讀取器在歐洲可以工作但是在美國不能工作)限制某個通訊信道，并且這種限制能夠影響可以被確認的連接器。這意味著在一個目標(biāo)設(shè)定中有效的組成計劃在另一個設(shè)定中可能無效。在實例層次上確認組成模型時，可以使用許多不同的規(guī)則來確認模型?？梢允褂靡?guī)則來檢驗在連接中使用的全部通訊概念是否都被明確地定義為在目標(biāo)設(shè)定中可行。例如，目標(biāo)設(shè)定可以要求設(shè)備使用802.11(g)標(biāo)準(zhǔn)通訊，并且這個規(guī)則可以驗證模型的部件遵守這個明確的定義?？梢允褂昧硪粋€規(guī)則檢驗針對在連接中使用的通訊概念指定的值是否被定義為在目標(biāo)設(shè)定中可行。例如，目標(biāo)設(shè)定可以要求設(shè)備使用特定的無線頻率通訊，并且這個規(guī)則可以驗證模型的部件能夠在這個頻率上工作。可以使用另一個規(guī)則在實例層次上檢驗連接器的具體實例使用的通訊概念是否被明確地指定為對于這個連接器可行。例如，目標(biāo)設(shè)定可以要求連接器是被UL_許可的，并且這個規(guī)則可以驗證連接器滿足這個要求?？梢允褂昧硪粋€規(guī)則在實例層次上驗證針對連接器的具體實例使用的通訊概念定義的值是否被明確地指定為對于這個連接器可行。例如，目標(biāo)設(shè)定可以要求使用某種標(biāo)準(zhǔn)線在兩個設(shè)備之間載運信號，并且這個規(guī)則能夠驗證模型的部件被這樣的標(biāo)準(zhǔn)線連接。此外，可以使用規(guī)則檢驗在連接中使用的全部通訊概念是否都被明確地定義為在目標(biāo)設(shè)定中不可行。例如，目標(biāo)設(shè)定可以要求設(shè)備不使用802.11(g)標(biāo)準(zhǔn)通訊，并且這個規(guī)則可以驗證模型的部件遵守這個明確的定義?？梢允褂靡?guī)則檢驗針對在連接中使用的通訊概念指定的值是否被定義為在目標(biāo)設(shè)定中不可行。例如，目標(biāo)設(shè)定可以要求設(shè)備不使用特定的無線頻率通訊，并且這個規(guī)則可以驗證模型的部件遵守這個明確的定義?？梢允褂昧硪粋€規(guī)則在實例層次上檢驗連接器的具體實例使用的通訊概念被明確地指定為對于這個連接器不可行。例如，目標(biāo)設(shè)定可以要求連接器不被放置在地下，并且這個規(guī)則可以驗證連接器滿足這個要求?？梢允褂昧硪粋€規(guī)則在實例層次上驗證針對連接器的具體實例使用的通訊概念定義的值是否被明確地指定為對于這個連接器不可行。例如，目標(biāo)設(shè)定可以要求使用不小于某個規(guī)格的線在兩個設(shè)備之間載運信號，并且這個規(guī)則能夠驗證模型的部件被這樣的標(biāo)準(zhǔn)線(gaugewire)連接。如圖10中所示，用于對由單獨的部件、端口和連接器組成的應(yīng)用建模并驗證模型的過程1000在步驟1002開始。驗證和組成算法可以施加作用的部件、端口和連接器的數(shù)據(jù)模型被生成(步驟1004)。數(shù)據(jù)模型描述了部件、端口和連接器的屬性，所述屬性代表了描述關(guān)于在應(yīng)用中需要的通訊技術(shù)的細節(jié)的通訊本體。數(shù)據(jù)模型可以在部件、端口和連接器的元數(shù)據(jù)中被公式化，并且可以使用任何一般的本體代表語言(例如RDF或者OWL)來產(chǎn)生元數(shù)據(jù)。在生成數(shù)據(jù)模型之后，產(chǎn)生組成計劃(步驟1006)，并且產(chǎn)生組成計劃的各個步驟(步驟1008)。在已經(jīng)定義了組成計劃以后，從兩個單獨的部件及其端口的模型組成復(fù)合部件(步驟1010)。對于每一個組成步驟，檢驗復(fù)合部件的良好形成性(步驟1012)，以便驗證通訊的所有方面都被充分地指定。被鏈接的端口的兼容性被檢驗(步驟1014)，并且導(dǎo)出作為結(jié)果的復(fù)合部件的端口描述(步驟1014)。接著，檢驗針對期望目標(biāo)設(shè)定定義的限制(步驟1016)，所述限制包括針對某個應(yīng)用可能使用的通訊信道定義的限制。而且，在這個步驟中的檢驗期間，將設(shè)備生態(tài)系統(tǒng)的全局策略或限制考慮在內(nèi)。如果復(fù)合部件被良好地建立，并且滿足目標(biāo)設(shè)定的限制(查詢1018)，則從單獨的部件產(chǎn)生復(fù)合部件(步驟1020)。如果查詢1018不滿足，則可以輸出錯誤和/或警告(步驟1026)，并且過程結(jié)束(終點1028)。但是，如果查詢1018被滿足，如果組成計劃的所有組成步驟沒有都被處理(查詢1022)，則允許組成計劃的下一個步驟的組成(步驟1010)。如果組成計劃的所有步驟都已經(jīng)被處理(查詢1022)，則輸出作為結(jié)果的組成模型(步驟1024)，并且過程結(jié)束。如圖11中所示，用于建模和驗證合成應(yīng)用的系統(tǒng)1100的部件包括應(yīng)用模型1102，應(yīng)用模型1102包含描述部件的元數(shù)據(jù)、關(guān)于應(yīng)用目標(biāo)設(shè)定的信息、應(yīng)用限制以及組成計劃。系統(tǒng)還可以包括描述在應(yīng)用模型1102中使用的端口之間的關(guān)系和通訊概念的概念本體的語義模型1104。關(guān)于通訊技術(shù)的規(guī)范的知識既可以存儲在應(yīng)用模型1102中，也可以存儲在語義模型1104中。應(yīng)用模型1102和語義模型1104可以被輸入解析器1106，它可以生成輸入數(shù)據(jù)的存儲器中的表示。在存儲器中(in-memory)的表示內(nèi)，不同種類的存儲器中的數(shù)據(jù)被存儲在知識庫1108、一個或更多個部件模型1110和一個或更多個組成計劃1112中。知識庫1108存有驗證所需的知識的可交換部分，即交互作用本體和包括相應(yīng)限制和規(guī)范的目標(biāo)設(shè)定的模型。規(guī)劃器1114從組成計劃1112接收輸入，并確定生成和檢驗合成部件的順序。規(guī)則檢驗器引擎1116從知識庫1108、部件模型1110和規(guī)劃器1114接收輸入，并且檢驗部件模型是否滿足某些一致性以及良好形成性和特定于目標(biāo)的限制。規(guī)則檢驗器1116生成的結(jié)果被模型生成器1118轉(zhuǎn)換為期望的輸出格式，該輸出格式可以適于被選擇的組成語言，例如和被用作模型輸入的部件的描述匹配的語言。此外，可以用最適合于所需目的的格式輸出驗證結(jié)果1120。例如，當(dāng)在開發(fā)環(huán)境中使用時，可以用人類可讀的錯誤消息輸出驗證結(jié)果1120，并且當(dāng)在自動組成工具中使用時，驗證結(jié)果1120必須被用機器可讀的格式輸出。可以在數(shù)字電子電路，或者在計算機硬件、固件、軟件或其組合中實施這里所描述的各種技術(shù)的實施方案。實施方案可以被實施為計算機程序產(chǎn)品，即有形地具體實施在信息載體中的計算機程序，例如具體實施在機器可讀的存儲設(shè)備或被傳播的信號中，供由數(shù)據(jù)處理裝置執(zhí)行，或者用于控制數(shù)據(jù)處理裝置的操作，所述數(shù)據(jù)處理裝置例如為可編程的處理器、計算機或多個計算機。計算機程序，例如上面描述的計算機程序，可以用任何形式的編程語言書寫，包括匯編或解釋語言，并且能夠以任何形式配備，包括作為獨立的程序或作為模塊、部件、子例程，或者其他的適于在計算環(huán)境中使用的單元。計算機程序可以被配備成在一個計算機上或在處于一個位置或跨越多個地點分布并通過通訊網(wǎng)絡(luò)互連的多個計算機上執(zhí)行。方法步驟可以由一個或更多個可編程的處理器執(zhí)行，所述處理器執(zhí)行計算機程序，以便通過操作輸入數(shù)據(jù)并產(chǎn)生輸出來執(zhí)行功能。方法步驟也可以由專用邏輯電路執(zhí)行，并且裝置可以被實施為專用邏輯電路，例如FPGA(現(xiàn)場可編程門陣列)或ASIC(專用集成電路)。例如，適于執(zhí)行計算機程序的處理器包括通用和專用微處理器，以及任何種類的數(shù)字計算機中的一個或更多個。一般來說，處理器將從只讀存儲器或隨機訪問存儲器或者兩者接收指令和數(shù)據(jù)。計算機的元件可以包括至少一個用于執(zhí)行指令的處理器和一個或更多個用于存儲指令和數(shù)據(jù)的存儲器設(shè)備。一般來說，計算機還可以包括或者被可操作地耦合成從一個或更多個用于存儲數(shù)據(jù)的海量存儲設(shè)備接收數(shù)據(jù)，或者將數(shù)據(jù)轉(zhuǎn)移到所述海量存儲設(shè)備，或者二者兼具，所述海量存儲設(shè)備例如磁盤、磁光盤，或光盤。適于具體實施計算機程序指令和數(shù)據(jù)的信息載體包括所有形式的非易失性存儲器，例如包括半導(dǎo)體存儲器設(shè)備，例如EPROM、EEPROM和快閃存儲器設(shè)備；磁盤，例如內(nèi)部硬盤或可移動磁盤；磁光盤；和CD-ROM和DVD-ROM盤。處理器和存儲器可以由專用邏輯電路補充或者被包含在專用邏輯電路中。為了提供與用戶的交互作用，實施方案可以被實施在具有給用戶顯示信息的例如陰極射線管(CRT)或液晶顯示(LCD)器顯示設(shè)備以及鍵盤和例如鼠標(biāo)或軌跡球的指針設(shè)備的計算機上，通過所述鍵盤和指針設(shè)備，用戶能夠給計算機提供輸入。也可以使用其他種類的設(shè)備提供與用戶的交互作用，例如視覺反饋、聽覺反饋或觸覺反饋；并且可以用任何形式從用戶接收輸入，包括聲音、語音或觸覺輸入。實施方案可以實施在包括后端部件，或包括中間件部件，或包括前端部件，或包括這些后端、中間件、或前端部件的任意組合的計算系統(tǒng)中，后端部件例如數(shù)據(jù)服務(wù)器；中間件部件例如應(yīng)用服務(wù)器；前端部件例如具有圖形用戶接口或網(wǎng)絡(luò)瀏覽器的客戶端計算機，用戶能夠通過所述接口或網(wǎng)絡(luò)瀏覽器與實施方案交互作用。部件可以用數(shù)字?jǐn)?shù)據(jù)通訊的任何形式或介質(zhì)互連，例如通訊網(wǎng)絡(luò)。通訊網(wǎng)絡(luò)的例子包括局域網(wǎng)(LAN)和廣域網(wǎng)(WAN)，例如國際互聯(lián)網(wǎng)。雖然如這里所描述的那樣，已經(jīng)示出了所描述的實施方案的某些特征，但是熟練技術(shù)人員現(xiàn)在將想得到很多修改、替換、變化和等同物。因此要理解，所附權(quán)利要求旨在覆蓋所有這些落入本發(fā)明的實施例的真實精神以內(nèi)的修改和變化。權(quán)利要求1.一種對基于部件的應(yīng)用建模的方法，所述方法包含對所述應(yīng)用的部件(704、706、712、802、806、810、812、900、910)的通訊能力(310、321、314、316、320、322、324、326、328、330、332、410、412、414、416、418、420、422、424、426、428、430、432、434、436、438、440、530、532、524、526、522、512、514、516、518、520、536、534、538、602、604、606)建模；對用于相互鏈接所述應(yīng)用的部件(704、706、712、802、806、810、812、900、910)的計劃建模；對由多個構(gòu)成部件(704、706、712、802、806、810、812、900、910)組成的復(fù)合部件(850、920)的通訊能力建模；和確定在所述應(yīng)用中被相互連接的部件(900、910、802、806、812)是否是兼容的以便能有效地通訊。2.如權(quán)利要求1所述的方法，其中，所述部件(704、706、712、802、806、810、812、900、910)包含軟件模塊。3.如權(quán)利要求1所述的方法，其中，所述部件(704、706、712、802、806、810、812、900、910)包含異構(gòu)的計算設(shè)備。4.如權(quán)利要求3所述的方法，其中，所述異構(gòu)的計算設(shè)備包含RFID設(shè)備(112)。5.如權(quán)利要求1所述的方法，還包含確定所述復(fù)合部件(920)是否被良好地形成。6.如權(quán)利要求1所述的方法，其中，對所述應(yīng)用的部件(704、706、712、802、806、810、812、900、910)的通訊能力建模包含將通訊概念(310、321、314、316、320、322、324、326、328、330、332、410、412、414、416、418、420、422、424、426、428、430、432、434、436、438、440、530、532、524、526、522、512、514、516、518、520、536、534、538、602、604、606)映射到與所述部件相關(guān)聯(lián)的屬性。7.如權(quán)利要求1所述的方法，還包含對處于通過相互鏈接的部件(900、910、802、806、812)的通訊路徑端點的部件(704、706、712、802、810、812、900、910)的端到端通訊概念(310、321、314、316、320、322、324、326、328、330、332、410、412、414、416、418、420、422、424、426、428、430、432、434、436、438、440、530、532、524、526、522、512、514、516、518、520、536、534、538、602、604、606)建模；和確定處于所述路徑的端點的所述部件(704、706、712、802、810、812、900、910)的所述端到端通訊概念是否是兼容的。8.如權(quán)利要求1所述的方法，其中，對所述應(yīng)用的部件(704、706、712、802、810、812、900、910)的通訊能力(310、321、314、316、320、322、324、326、328、330、332、410、412、414、416、418、420、422、424、426、428、430、432、434、436、438、440、530、532、524、526、522、512、514、516、518、520、536、534、538、602、604、606)建模包含產(chǎn)生所述部件的接口端口(708、710、720、756、758、804、808、810、814、822、826、902、904、906、912、912’、914、916)的模型。9.如權(quán)利要求8所述的方法，其中，對由多個構(gòu)成部件組成的復(fù)合部件(920)的通訊能力(310、321、314、316、320、322、324、326、328、330、332、410、412、414、416、418、420、422、424、426、428、430、432、434、436、438、440、530、532、524、526、522、512、514、516、518、520、536、534、538、602、604、606)建模包含合并所述構(gòu)成部件的接口端口(708、710、720、756、758、804、808、810、814、822、826、902、904、906、912、912’、914、916)的模型。10.如權(quán)利要求1所述的方法，其中對所述應(yīng)用的部件(704、706、712、802、810、812、900、910)的通訊能力(310、321、314、316、320、322、324、326、328、330、332、410、412、414、416、418、420、422、424、426、428、430、432、434、436、438、440、530、532、524、526、522、512、514、516、518、520、536、534、538、602、604、606)建模包含對部件的類型的通訊能力建模；和其中，確定在所述應(yīng)用中相互鏈接的部件(900、910、802、806、812)是否是兼容的以便能有效地通訊包含確定按部件的類型建模的通訊技術(shù)是否是兼容的。11.如權(quán)利要求1所述的方法，其中對所述應(yīng)用的部件(704、706、712、802、810、812、900、910)的通訊能力(310、321、314、316、320、322、324、326、328、330、332、410、412、414、416、418、420、422、424、426、428、430、432、434、436、438、440、530、532、524、526、522、512、514、516、518、520、536、534、538、602、604、606)建模包含對部件的實例的通訊能力建模；和確定在所述應(yīng)用中相互鏈接的部件是否是兼容的以便能有效地通訊包含確定部件的實例是否是兼容的。12.如權(quán)利要求1所述的方法，還包含將通訊能力(310、321、314、316、320、322、324、326、328、330、332、410、412、414、416、418、420、422、424、426、428、430、432、434、436、438、440、530、532、524、526、522、512、514、516、518、520、536、534、538、602、604、606)與OSI層相關(guān)聯(lián)。13.一種用于對基于部件的應(yīng)用建模的系統(tǒng)，所述系統(tǒng)包含存儲設(shè)備，包含所述應(yīng)用的部件(704、706、712、802、806、810、812、900、910)的通訊能力(310、321、314、316、320、322、324、326、328、330、332、410、412、414、416、418、420、422、424、426、428、430、432、434、436、438、440、530、532、524、526、522、512、514、516、518、520、536、534、538、602、604、606)的模型；和用于相互鏈接所述應(yīng)用的部件的計劃的模型，其中，所述處理器被配置為對由多個構(gòu)成部件(802、806、812、900、910)組成的復(fù)合部件(850、920、820、824)的通訊能力建模，和確定在所述應(yīng)用中被相互連接的部件是否是兼容的以便能有效地通訊。14.如權(quán)利要求13所述的系統(tǒng)，其中，所述部件包含異構(gòu)的計算設(shè)備。15.如權(quán)利要求14所述的系統(tǒng)，其中，所述異構(gòu)的計算設(shè)備包含RFID設(shè)備(112)。16.如權(quán)利要求13所述的系統(tǒng)，其中，所述處理器還被配置為確定所述復(fù)合部件(850、920、820、824)是否被良好地形成。17.如權(quán)利要求13所述的系統(tǒng)，其中所述存儲設(shè)備還包含處于通過相互鏈接的部件的通訊路徑的端點的部件(704、706、712、802、810、812、900、910)的端到端通訊概念(310、321、314、316、320、322、324、326、328、330、332、410、412、414、416、418、420、422、424、426、428、430、432、434、436、438、440、530、532、524、526、522、512、514、516、518、520、536、534、538、602、604、606)的模型，并且其中所述處理器還被配置為確定處于所述路徑的端點的所述部件的所述端到端通訊概念是否是兼容的。18.如權(quán)利要求13所述的系統(tǒng)，其中，所述處理器還被配置為產(chǎn)生所述部件的接口端口(708、710、720、756、758、804、808、810、814、822、826、902、904、906、912、912’、914、916)的模型，并且，其中，所述處理器還被配置為合并所述構(gòu)成部件的接口端口的模型，以便對所述復(fù)合部件的通訊能力(310、321、314、316、320、322、324、326、328、330、332、410、412、414、416、418、420、422、424、426、428、430、432、434、436、438、440、530、532、524、526、522、512、514、516、518、520、536、534、538、602、604、606)建模。19.如權(quán)利要求13所述的系統(tǒng)，其中，所述處理器被配置為對部件(704、706、712、802、810、812、900、910)的類型的通訊能力(310、321、314、316、320、322、324、326、328、330、332、410、412、414、416、418、420、422、424、426、428、430、432、434、436、438、440、530、532、524、526、522、512、514、516、518、520、536、534、538、602、604、606)建模，以便對所述應(yīng)用的所述部件的通訊能力建模；并且其中，所述處理器被配置為確定部件的類型是否是兼容的，以便確定在所述應(yīng)用中相互鏈接的部件是否是兼容的以便能有效地通訊。20.如權(quán)利要求13所述的系統(tǒng)，其中，所述處理器被配置為對部件(704、706、712、802、810、812、900、910)的實例的通訊能力(310、321、314、316、320、322、324、326、328、330、332、410、412、414、416、418、420、422、424、426、428、430、432、434、436、438、440、530、532、524、526、522、512、514、516、518、520、536、534、538、602、604、606)建模，以便對所述應(yīng)用的部件的通訊能力建模；并且其中，所述處理器被配置為確定相互鏈接的部件是否是兼容的以便能有效地通訊，從而確定部件的所述實例是否是兼容的。全文摘要對基于部件的應(yīng)用建模包括對所述應(yīng)用的部件(704、706、712、802、806、810、812、900、910)的通訊能力(310、321、314、316、320、322、324、326、328、330、332、410、412、414、416、418、420、422、424、426、428、430、432、434、436、438、440、530、532、524、526、522、512、514、516、518、520、536、534、538、602、604、606)建模，對用于相互鏈接所述應(yīng)用的部件(704、706、712、802、806、810、812、900、910)的計劃建模；對由多個構(gòu)成部件組成的復(fù)合部件(850、920)的通訊能力建模；和，確定在所述應(yīng)用中被相互連接的部件是否是兼容的以便能有效地通訊。文檔編號H04L29/08GK1975734SQ200610162799公開日2007年6月6日申請日期2006年11月23日優(yōu)先權(quán)日2005年12月1日發(fā)明者克里斯托弗·博恩霍夫德,阿汀·埃文斯,霍爾格·R·齊科夫申請人:Sap股份公司