




已閱讀5頁,還剩22頁未讀, 繼續(xù)免費閱讀
版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認(rèn)領(lǐng)
文檔簡介
軟件服務(wù)生態(tài)中的非確定性科學(xué)問題、互操作性的應(yīng)用基礎(chǔ)問題,何克清 SKLSE(WHU) 軟件工程國家重點實驗室(武漢大學(xué)) H 2003/12/27,計算機科學(xué)面臨的挑戰(zhàn),目 錄,1. 問題提出的背景 2. 軟件服務(wù)生態(tài)中的非確定性問題 3. 應(yīng)用基礎(chǔ)中的互操作性問題 4. 工作基礎(chǔ)-一個解決方案:本體元建模與自組織MDA理論方法 5. 小結(jié),網(wǎng)絡(luò)上的軟件工程:電子商務(wù)、電子政務(wù)、軟組件、軟件框架開發(fā)和服務(wù) ,系統(tǒng)集成,在瀏覽器上使用Web技術(shù)進行資料的參考和交流,軟件工程開放信息服務(wù)網(wǎng)格:軟件信息資源的最大化共享、組合服務(wù)與高效率開發(fā)、互操作、分布異構(gòu)、人性化。進行業(yè)務(wù)集成,適配性軟件的開發(fā),軟件信息資源庫的建設(shè)管理、服務(wù)、交易,等,下一代網(wǎng)絡(luò)技術(shù)應(yīng)用,第一代網(wǎng)絡(luò)技術(shù)應(yīng)用,互聯(lián)網(wǎng)技術(shù)的快速發(fā)展促進了軟件開發(fā)與服務(wù)形態(tài)的變更,第二代網(wǎng)絡(luò)技術(shù)應(yīng)用,1.問題提出的背景,開放信息網(wǎng)格時代的服務(wù)主導(dǎo)型軟件生產(chǎn)方式的變革,信息資源最大化共享與服務(wù) 信息的Discoverability & Coopratability 信息孤島與信息海洋的矛盾 分布協(xié)同的作業(yè)方式 網(wǎng)絡(luò)應(yīng)用的發(fā)展 共享交換與互操作協(xié)同 Internet從WWWGGG 以信息服務(wù)為中心的組合型軟件生產(chǎn)方式開放型信息系統(tǒng):異構(gòu)的、分布的、動態(tài)的、協(xié)同的、大規(guī)模的、自主成分等構(gòu)成的計算系統(tǒng); 開放信息系統(tǒng)計算生態(tài)學(xué)(廣義生態(tài)學(xué)) 開放信息系統(tǒng)的生態(tài)系統(tǒng),從協(xié)同的角度,計算過程可以看成是一種相變,是系統(tǒng)處在一種非線性結(jié)構(gòu)下產(chǎn)生更有序的時空結(jié)構(gòu)的過程。 服務(wù)也是一種計算:計算生態(tài)學(xué)-服務(wù)生態(tài)。,服務(wù)生態(tài)中互操作(相互作用)和協(xié)同問題在語義層上才能實現(xiàn),網(wǎng)格信息資源的組織和服務(wù)匹配存在巨大的語義鴻溝 難以確定信息資源的內(nèi)容和確切含義 信息表達不一致信息服務(wù)的供求雙方通常不能確切地在服務(wù)的時間、地點、提供方式和內(nèi)容上達成一致 信息的互操作方法不一致信息服務(wù)的供求雙方看待服務(wù)的角度和對服務(wù)的了解程度各不相同 現(xiàn)存的絕大多數(shù)基于XML的標(biāo)準(zhǔn)缺乏清晰的語義 對網(wǎng)格信息服務(wù)的語義,缺乏一套公共的本體的承諾 信息資源的服務(wù)匹配需要一個語義層上的互操作,需要為網(wǎng)格中的信息資源和服務(wù)定義一套公共的語義規(guī)范,需要一種統(tǒng)一的語義支撐的基礎(chǔ)理論與方法及其技術(shù)標(biāo)準(zhǔn),2. 軟件服務(wù)生態(tài)中的非確定性問題,信息資源的科學(xué)管理如何科學(xué)地分類、有效地組織與管理軟構(gòu)件的信息? 復(fù)雜的軟件屬性信息結(jié)構(gòu)的科學(xué)分類(Taxonomy)的非確定性問題 復(fù)雜的軟件屬性信息結(jié)構(gòu)的登記與注冊(Registering)的非確定性問題 軟件信息資源建設(shè)與管理:如何科學(xué)地建設(shè)資源庫(Repository),查找資源庫中的軟件信息? 信息資源的高效服務(wù) 如何有效地查詢軟構(gòu)件信息? 如何有效地綁定(Binding)軟構(gòu)件信息在應(yīng)用系統(tǒng)中,實現(xiàn)高效率的組合型軟件系統(tǒng)開發(fā)? 如何實現(xiàn)系統(tǒng)集成到業(yè)務(wù)集成(business integration)的進化,有效地進行業(yè)務(wù)集成?,服務(wù)請求者,資塬服務(wù)中心,查詢,綁定(binding)服務(wù),發(fā)布,服務(wù)生態(tài)模型,Registering,資源庫,資源的公 共注冊管 理MMF,Repository,業(yè)務(wù)集成服務(wù),語義web服務(wù)中信息資源描述與管理,RDF Schema,RDF,XML(+URI+Namespaces),WSDL,SOAP,UDDI,Semantic Web Services,Web Services,MMF Repository,Interface & Protocol描述 資源的描述 資源的管理,Ontology/OWL+,UDDI: Universal Description,Discovery and Integration WSDL: Web Service Description Language SOAP: Simple Object Access Protocol XML: extensible Markup Language OWL: Ontology Web Language RDF: Resource Description Framework MMF: MetaModel Framework,3. 應(yīng)用基礎(chǔ)中的互操作性問題,軟件的互操作性(Interoperability)、透明性(Transparency)、開放性(Openness)、可伸縮性(Scalability)問題中最核心的互操作性問題; 從傳統(tǒng)的系統(tǒng)集成(system integration)到業(yè)務(wù)集成(business integration)的服務(wù)轉(zhuǎn)變問題; 從互連、互通,到語義層面的互操作; 需要解決互操作性保證的軟件開發(fā)與服務(wù)的理論與方法及其技術(shù)標(biāo)準(zhǔn)。,4. 工作基礎(chǔ)-一個解決方案:本體元建模理論與自組織MDA方法,本體元建模理論與方法,即本體及其元模型承諾(commitment)的理論與方法 本體承諾是建立在某種語言和可以被稱為本體的某種事物之間的映射 以本體模型分類注冊(Registering)復(fù)雜的信息結(jié)構(gòu)、本體模型與元模型的映射 以元模型體系建設(shè)管理信息資源庫(Repository) 用戶接口:公共邏輯的本體模型 資源庫信息結(jié)構(gòu)的組織與管理:元模型框架MMF 核心:本體元建??蚣躆MF(Meta-Model Framework),基于本體元模型的軟件工程信息網(wǎng)格中的軟件服務(wù)與開發(fā),ontology 分類、注冊,標(biāo) 準(zhǔn) 元 模 型 CORE,公共的識別和分類的本體方法,Registering,模型映射 的元模型,領(lǐng)域模型構(gòu)筑,領(lǐng)域的公共軟構(gòu)件信息結(jié)構(gòu),國際標(biāo)準(zhǔn) MOF元建模的基本標(biāo)準(zhǔn)&ISO11179,擴充,UML & XML& MDA,基于本體 元模型的 分類與登記,Repository(庫管理),基于元模 型的映射,Ontology方法,UMM建模方法, UML,UML&XML&MDA,基于元模型的網(wǎng)格中軟構(gòu)件信息資源庫的建設(shè)與管理方法,領(lǐng)域元模型、框架及其規(guī)約,軟構(gòu)件信息結(jié)構(gòu)分類、登記的本體模型,元 模 型 框 架MMF,UOD,軟構(gòu)件屬性信息本體,公共的屬性本體 公共的軟構(gòu)件不同屬性本體(標(biāo)準(zhǔn)模板);定義本體接點的元屬性及其制約關(guān)系; 用戶定義和提交的軟構(gòu)件屬性本體必須繼承公共的軟構(gòu)件屬性本體的標(biāo)準(zhǔn) 使用屬性本體進行軟構(gòu)件分類、注冊,服務(wù)過程(動態(tài))本體:CIM過程本體模型;業(yè)務(wù)工作流本體模型;用戶提交的服務(wù)過程本體模型; 本體描述語言:DAML+OIL,OWL+ 過程(動態(tài))本體語義:分布操作語義,Petri網(wǎng); 綁定服務(wù)模型:BPEL4WS模型 + 服務(wù)過程(動態(tài))本體模型; WSDL模型 + 服務(wù)過程(動態(tài))本體模型,服務(wù)過程本體與綁定服務(wù),綁定服務(wù)模型,BPEL4WS Composition Model,綁定服務(wù)模型,Component Service Implementation with Process ontological Model,Binding Service,Web Services Description Language Component Model,元建模(Meta Modeling),元語言是描述語言的語言,元數(shù)據(jù)是描述數(shù)據(jù)的數(shù)據(jù),元模型是描述模型的模型 ; 元模型場體系(M3,M2,M1,M0)結(jié)構(gòu)形成的自組織法則、交互作用關(guān)系及反射、變換的內(nèi)在統(tǒng)一性、廣泛的適應(yīng)性; 滿足結(jié)構(gòu)主義的結(jié)構(gòu)的三屬性:整體性、轉(zhuǎn)換性、自身調(diào)整性,元模型層次的停止問題,“元的層次”,是表示“描述的”與“被描述的”對象間的關(guān)系的層次,兩者之間的關(guān)系可以無限的重復(fù)。所以,往往需要強制地停止。而且,基于什么標(biāo)準(zhǔn)來確定元的層次?往往也沒有絕對的基準(zhǔn) 作為構(gòu)成元層次的基準(zhǔn),一般來說考慮上層對象的描述內(nèi)容。常見的基準(zhǔn)有:,泛化型(類型和實現(xiàn)值) 生成與操作規(guī)則 抽象類型,管理屬性 解釋描述等,軟件工程中,我們往往采用基準(zhǔn)來確定“元的層次”。例如IRDS采用了“類型和實現(xiàn)值”強制停止“元的層次” UML,MOF(Meta Object Facility)也基本上采用了“類型和實現(xiàn)值”的基準(zhǔn):,MOF的元層次,承擔(dān)的ISO國際標(biāo)準(zhǔn)項目內(nèi)容,武漢大學(xué)承擔(dān)的部分,(MOF1.4 + ISO11179(MDR),MMF (Meta-Model Framework),基于本體元模型方法的軟構(gòu)件R&R平臺(原型)的開發(fā),自組織MDA,PIM,PSM,PSM,PSM,業(yè)務(wù)要件,每個平臺的映射,實現(xiàn)的映射,實現(xiàn),實現(xiàn),實現(xiàn),業(yè)務(wù)領(lǐng)域的分析建模,CIM(Computing Independent Models) 領(lǐng)域的建模,業(yè)務(wù)過程本體,靜態(tài)本體 PIM與PSM PIM是不依賴于平臺的模型 PSM是使用了平臺固有功能的模型 模型編譯、映射、轉(zhuǎn)換: - CIM-PIM (過程本體與元模型) - PIMPSM (元模型與基本模型) - PSM實現(xiàn) 自組織體系 - CIM PIMPSM PIMPIM自組織: PIM軟構(gòu)件的相互作 用與集成 PIM有序行為; PSMPSM自組織: PSM軟構(gòu)件的相互 作用與集成 PIM有序行為;,CIM,從系統(tǒng)集成到業(yè)務(wù)(Business)集成; 基于CIM過程本體的業(yè)務(wù)集成; 三個級別(CIM,PIM,PSM)的互操作性 保證與測評;,Model Driven Architecture, OMG,2001,業(yè)務(wù)系統(tǒng)的分析設(shè)計標(biāo)準(zhǔn)模型,UML Modeling Tool,Metamodel Framework,Model Driven Execution Engine,Common MMF(Meta-model Frameworks),Metamodel Framework,SC Patterns,Control Patterns,Components,Model and Software Constructs,Platform Independent Models,Platform Specific Models,Metamodel Instance,Metamodel Instance,基于元模型的模型編譯: PIM-PSM,本體元模型支持MDA軟件開發(fā),基于元建模型的互操作性測評,互操作性是網(wǎng)格時代系統(tǒng)的基本 的、核心的技術(shù)指標(biāo) 成立中國互操作性測評中心 (2002.12 武漢大學(xué)) 參加亞洲ebXML互操作性測 評工作委員會 完成了ebXML互操作性的MSH, CPP,BPSS標(biāo)準(zhǔn)的測試 (亞洲國家與地區(qū)聯(lián)網(wǎng)測試) 獲得亞洲ebXML互操作性測評資格證書,本體元建模理論與方法在一定程度上解決軟件服務(wù)生態(tài)中的非確定性問題 元模型體系、MDA一定程度上解決互操作性標(biāo)準(zhǔn)的問題 今后研究的課題: 服務(wù)過程本體與服務(wù)模型的形式化 軟件服務(wù)的本體體系與領(lǐng)域的元模型體系 MDA 模型編譯的原理與方法 業(yè)務(wù)集成與語義互操作方法 互操作性保證技術(shù)與標(biāo)準(zhǔn) 新型中間件:反射中間件;基于CWM的元信息服務(wù)中間件。,5.小結(jié),謝謝大家! 敬請指導(dǎo)!,WSCI,HTTP,FTP,SMTP,etc,ebXML CPA,BPML,BTP,ebXML BPSS,ebXML CPP,ebXML Messaging,ebXML Registries,DAML-S Service Grounding,RDF,DAML-S Service Profile,DAML-S Service Model,DAML-S Service Model,
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025如何強化合同監(jiān)管功能促進企業(yè)信用體系建設(shè)
- 《2025年個人租賃企業(yè)汽車合同》
- 2025投資者應(yīng)警惕合同中的隱含風(fēng)險
- 2024年復(fù)合管道項目資金申請報告代可行性研究報告
- 2025臨時勞動合同模板
- 2025景觀設(shè)計與施工承包合同
- 2025全面汽車租賃合同范本
- 2025房屋租賃拆遷合同模板
- 2025年履行合同勞動的基本原則
- 2025的勞動合同范本
- (二模)2025年深圳市高三年級第二次調(diào)研考試歷史試卷(含標(biāo)準(zhǔn)答案)
- 婦產(chǎn)科課件-早產(chǎn)臨床防治指南(2024)解讀
- 2024年湖北省中考地理生物試卷(含答案)
- 2024年無錫市錫山環(huán)保能源集團招聘筆試參考題庫附帶答案詳解
- 輸液泵/微量注射泵使用技術(shù)操作考核評分標(biāo)準(zhǔn)
- 文體學(xué)eecummings詩歌分析
- 針織毛衫實例
- 安全生產(chǎn)知識匯總——五一勞動節(jié)前安全教育培訓(xùn)(176頁)
- 套絲機簡介ppt課件
- 副詞講義 Adverbs
- 貴州省各縣風(fēng)向玫瑰圖
評論
0/150
提交評論