面向服務(wù)的語(yǔ)義互操作性技術(shù)及其標(biāo)準(zhǔn)

摘要:面向服務(wù)的軟件工程面臨新的挑戰(zhàn)。促進(jìn)互聯(lián)網(wǎng)環(huán)境中松耦合式服務(wù)資源之間的互操作性行為協(xié)作，是實(shí)現(xiàn)服務(wù)資源深度共享與按需服務(wù)的關(guān)鍵。文章對(duì)服務(wù)虛擬化的關(guān)鍵技術(shù):可用資源的服務(wù)互操作性封裝方法、虛擬化服務(wù)組織的互操作性聚合的基于本體的RGPS元建模方法、虛擬化服務(wù)管理的互操作性元模型框架及其注冊(cè)與存儲(chǔ)管理、虛擬化服務(wù)本體及其與RGPS關(guān)聯(lián)呈現(xiàn)等進(jìn)行了研究。對(duì)研究的互操作性元模型框架(MFI)及ISO系列標(biāo)準(zhǔn)工作新進(jìn)展進(jìn)行了介紹。

[關(guān)鍵詞]互操作性元模型框架;按需服務(wù);服務(wù)聚合

Abstract:Service-oriented software engineering (SOSE) faces new challenges; in particular， how to promote interoperability and cooperation among loose coupling service resources. This is critical for service resource sharing and for implementing on-demand Internet services. This paper discusses key technologies of service virtualization—including the interoperable package approach of available resources; interoperable aggregation and ontology-based element modeling RGPS in virtualization services; the framework， storage management， and registration of the interoperable element model; virtualization service ontology; and the appearance associate with RGPS (role， goal， process and service). Recent progress of the Metamodel Framework for Interoperability (MFI) and ISO series standards are also discussed.

Key words: metamodel framework for interoperability; service on demand; service aggregation

軟件的架構(gòu)、發(fā)布與使用方式正在發(fā)生顛覆性的變化，軟件與服務(wù)相關(guān)技術(shù)的相互融合的速度增長(zhǎng)迅猛，而理論方法的創(chuàng)新進(jìn)程卻明顯滯后。

盡管利用信息技術(shù)提升當(dāng)今現(xiàn)代服務(wù)產(chǎn)業(yè)已成為社會(huì)發(fā)展的主要推動(dòng)力之一，可是在以信息技術(shù)為基礎(chǔ)的計(jì)算機(jī)和信息管理等學(xué)科領(lǐng)域，軟件、硬件和組織系統(tǒng)仍是傳統(tǒng)的基礎(chǔ)知識(shí)體系，沒有正式的學(xué)科體系來(lái)填補(bǔ)信息技術(shù)領(lǐng)域的一個(gè)巨大空白——服務(wù)[1]。

以用戶為中心，面向按需服務(wù)的目標(biāo)，促進(jìn)了面向服務(wù)的軟件工程(SOSE)新時(shí)代的到來(lái)[2]。從產(chǎn)業(yè)發(fā)展的角度來(lái)看，越來(lái)越多的信息技術(shù)公司正致力于從硬件產(chǎn)品為核心向計(jì)算機(jī)軟件與服務(wù)為中心的業(yè)務(wù)模式的轉(zhuǎn)型。例如，云計(jì)算已成為一個(gè)為服務(wù)提供者與消費(fèi)者從事服務(wù)交付與使用的可擴(kuò)展平臺(tái)與營(yíng)運(yùn)模式。云計(jì)算的目標(biāo)是在云價(jià)值鏈上讓云的消費(fèi)者、合作伙伴與服務(wù)提供者進(jìn)行資源共享服務(wù)。無(wú)論說是軟件即服務(wù)(SaaS)、平臺(tái)即服務(wù)(PaaS)，還是基礎(chǔ)設(shè)施即服務(wù)(IaaS)，云計(jì)算實(shí)際上是一種服務(wù)!作為云計(jì)算的技術(shù)基礎(chǔ)，也迫切需要SOSE理論與方法的創(chuàng)新。

2010年1月中國(guó)計(jì)算機(jī)學(xué)會(huì)成立了服務(wù)計(jì)算專委會(huì)，標(biāo)志著中國(guó)在服務(wù)計(jì)算研發(fā)和教育方面已經(jīng)取得了一定的發(fā)展成就，其中特別是在服務(wù)組合及其優(yōu)化方面的軟件方法上成果突出。但是，軟件工程角度的系統(tǒng)性研究還有待于深入探討和創(chuàng)新。本文結(jié)合我們開展的國(guó)家“973”計(jì)劃項(xiàng)目以及自然科學(xué)基金等項(xiàng)目的研究工作，從SOSE中SaaS模型的角度，介紹我們的學(xué)術(shù)觀點(diǎn)及研究的主要進(jìn)展。

1 服務(wù)的松耦合式互操作

互聯(lián)網(wǎng)計(jì)算中自主分布異構(gòu)的服務(wù)之間通過網(wǎng)絡(luò)呈現(xiàn)松耦合。文獻(xiàn)[3]給出了SaaS模型中服務(wù)的松耦合與傳統(tǒng)面向?qū)ο?OO)軟件設(shè)計(jì)中以消息傳遞為代表的緊耦合的區(qū)別。本地或桌面OO軟件之間呈現(xiàn)預(yù)先設(shè)計(jì)的緊耦合。松耦合只能動(dòng)態(tài)延遲綁定、異地異步運(yùn)行，緊耦合實(shí)現(xiàn)級(jí)連接、固定綁定、集成運(yùn)行;松耦合追求行為的動(dòng)態(tài)獲取與協(xié)作，緊耦合追求無(wú)縫連接。因此，松耦合服務(wù)計(jì)算軟件的功能結(jié)構(gòu)動(dòng)態(tài)變化、沒有確定的邊界;緊耦合的OO軟件具有確定邊界、結(jié)構(gòu)和功能。

文獻(xiàn)[4]認(rèn)為，所謂語(yǔ)義互操作性能力，一般來(lái)說，是指兩個(gè)服務(wù)單元或者系統(tǒng)間交換具有精確含意數(shù)據(jù)的能力，并且接收方能夠準(zhǔn)確地翻譯或轉(zhuǎn)換數(shù)據(jù)所攜帶的信息、信息所攜帶的知識(shí)，即信息、知識(shí)能夠被理解，最終產(chǎn)生有效的行為協(xié)作結(jié)果，而且結(jié)果的有效性確認(rèn)是由互操作雙方來(lái)協(xié)定的。進(jìn)一步將語(yǔ)義互操作性能力劃分為3個(gè)層次:

(1)含意互操作性。亦稱深度語(yǔ)義互操作或者完全語(yǔ)義互操作，即雙方完全理解協(xié)定的語(yǔ)義。

(2)部分語(yǔ)義互操作性。服務(wù)實(shí)體之間，僅僅能夠理解相互協(xié)定的部分語(yǔ)義。

(3)無(wú)語(yǔ)義互操作性。當(dāng)服務(wù)實(shí)體之間的部分語(yǔ)義互操作性能力低于一定的閾值時(shí)，將會(huì)出現(xiàn)無(wú)語(yǔ)義互操作，其中也包括語(yǔ)法(或結(jié)構(gòu))互操作。

部分語(yǔ)義互操作是一個(gè)相當(dāng)大的研究空間。我們應(yīng)該研究部分語(yǔ)義互操作性能力刻畫的理論與方法。松耦合服務(wù)之間的語(yǔ)義互操作問題是一個(gè)挑戰(zhàn)性研究難題。作為基礎(chǔ)，應(yīng)該研究公共的互操作性交互框架(如統(tǒng)一的信息描述方式:可擴(kuò)展標(biāo)記語(yǔ)言XML)。可是，XML提供的僅僅是語(yǔ)法交互框架。ISO/IEC 19763標(biāo)準(zhǔn)給出了語(yǔ)義支持的互操作性元模型框架(MFI)[5]，其核心模型為松耦合式服務(wù)之間的語(yǔ)義互操作性管理。

2 服務(wù)聚合

面向服務(wù)的軟件提供了一種以“只為滿意的服務(wù)付費(fèi)”為核心理念的商業(yè)模式。在這種模式下，人人都是用戶、人人都是開發(fā)者。對(duì)各類用戶而言是“按需使用，計(jì)量付費(fèi)，不求所有，只求所用”;對(duì)服務(wù)提供者而言，所提供的服務(wù)必須質(zhì)量更精、粒度更細(xì)、方式更靈活，以適應(yīng)多元化和個(gè)性化的用戶需求。為實(shí)現(xiàn)以用戶為中心、滿足涉眾服務(wù)的高體驗(yàn)質(zhì)量(QoE)需求，不僅要提供給用戶一個(gè)或幾個(gè)離散的服務(wù)，而且要提供一組具有語(yǔ)義互操作性聚合能力的服務(wù)集作為解決方案。例如，以采購(gòu)食品材料滿足自炊服務(wù)為例。如果我們不僅僅是采購(gòu)到一些食品(如面條、肉魚、蔬菜、輔料等)材料及其使用說明(服務(wù))，而且商店還提供給用戶包括個(gè)性化偏好(辣、甜味道等)服務(wù)目標(biāo)、指導(dǎo)用戶自炊的流程及其中應(yīng)使用的食品材料等服務(wù)方案，用戶就能夠在最短時(shí)間內(nèi)、得到高質(zhì)量的自炊服務(wù)體驗(yàn)。因此，按需服務(wù)需要服務(wù)聚合。

對(duì)于服務(wù)聚合，軟件理論上需要研究需求主導(dǎo)的服務(wù)的部分語(yǔ)義互操作性聚類。本文提出一種涉眾服務(wù)需求的角色(Role)、目標(biāo)(Goal)、業(yè)務(wù)流程(Process)及可用Web服務(wù)(Service)的RGPS元模型描述框架及模型[6-7]。元模型基于本體元建模理論與方法，采用基于本體的RGPS元模型來(lái)組織服務(wù)的聚合，形成面向領(lǐng)域群體需求的服務(wù)資源聚合建模(服務(wù)聚合的規(guī)模化定制)理論與方法及其軟件工具套件的開發(fā)。實(shí)現(xiàn)了基于領(lǐng)域服務(wù)功能本體的部分語(yǔ)義互操作性服務(wù)聚合及其可調(diào)可控的設(shè)計(jì)技術(shù)。服務(wù)虛擬化的軟件技術(shù)層次化體系如圖1所示。服務(wù)聚合的一個(gè)形象描述是“葡萄串”，其中葡萄串的蒂相當(dāng)于描述用戶社會(huì)角色和服務(wù)目標(biāo);徑路描述相當(dāng)于過程/可操作過程(如供應(yīng)鏈、工作流等等)。當(dāng)然實(shí)際上不僅僅是樹結(jié)構(gòu)，還應(yīng)包括并行、循環(huán)等復(fù)雜控制結(jié)構(gòu)。葡萄描述相當(dāng)于“即服務(wù)或原子服務(wù)”，本體標(biāo)注RGPS間的語(yǔ)義關(guān)聯(lián)。一個(gè)領(lǐng)域往往有多種服務(wù)功能，對(duì)應(yīng)多個(gè)服務(wù)聚合的葡萄串。

3 服務(wù)虛擬化

1959年Christopher Strachey等提出了計(jì)算機(jī)硬件的虛擬化技術(shù)，其核心是“去緊耦合”。50年來(lái)計(jì)算機(jī)陣列、服務(wù)器等硬件的虛擬化技術(shù)已經(jīng)取得了長(zhǎng)足的發(fā)展。傳統(tǒng)軟件的虛擬化概念并不陌生，如操作系統(tǒng)(OS)中內(nèi)存的虛擬化管理技術(shù)、作業(yè)的虛擬化調(diào)度等，在計(jì)算機(jī)科學(xué)與工程的發(fā)展中，起到了重要的作用。

服務(wù)虛擬化的軟件理論與方法研究是SOSE中的一個(gè)核心問題，是實(shí)現(xiàn)服務(wù)資源高可動(dòng)員性、深度共享、按需服務(wù)的關(guān)鍵。其核心問題是辯證統(tǒng)一“去緊耦合”與“互操作性協(xié)作”的矛盾。它能夠?qū)崿F(xiàn)支撐服務(wù)和可用資源之間去緊耦合、需求和服務(wù)資源之間去緊耦合、通過網(wǎng)絡(luò)松耦合式服務(wù)的行為動(dòng)態(tài)獲取與互操作性協(xié)作、互操作性云服務(wù)構(gòu)造，以及支撐面向按需服務(wù)體系架構(gòu)(ODSOA)的軟件服務(wù)解決方案。我們主要研究了4個(gè)層次的服務(wù)虛擬化計(jì)算方法及其軟件工具套件:

(1)可用資源的服務(wù)互操作性封裝方法。

(2)虛擬化服務(wù)組織中互操作性聚合基于本體的RGPS元建模方法。

(3)虛擬化服務(wù)管理的互操作性元模型框架及其注冊(cè)與存儲(chǔ)管理(RR)元建模。

(4)虛擬化服務(wù)本體及其與RGPS關(guān)聯(lián)的呈現(xiàn)，涉眾需求的服務(wù)本體生成方法及其和服務(wù)本體的本體對(duì)齊技術(shù)研究。

4 互操作性元模型框架

互聯(lián)、互通、互操作是網(wǎng)絡(luò)技術(shù)在整個(gè)發(fā)展過程中所必須具備的基本特性。各種局域網(wǎng)和廣域網(wǎng)協(xié)議讓計(jì)算設(shè)備互通，傳輸控制協(xié)議/網(wǎng)間協(xié)議(TCP/IP)實(shí)現(xiàn)了網(wǎng)際互聯(lián)。在萬(wàn)維網(wǎng)時(shí)代，超文本傳輸協(xié)議(HTTP)和超文本鏈接標(biāo)記語(yǔ)言(HTML)協(xié)議實(shí)現(xiàn)了終端與Web網(wǎng)站間的互操作，使得任何遵從這些協(xié)議的Web瀏覽器都能自由無(wú)縫地訪問萬(wàn)維網(wǎng);Web服務(wù)與面向服務(wù)的體系架構(gòu)(SOA)開啟了服務(wù)計(jì)算的大門。基于服務(wù)的互操作成為新的挑戰(zhàn)。信息資源的互操作性管理的基礎(chǔ):互操作性元模型框架，如圖2所示。

許多企業(yè)、組織和個(gè)人已經(jīng)采用特定的語(yǔ)法規(guī)范和格式創(chuàng)建了大量的信息資源，并遵循特定的注冊(cè)元模型將其存儲(chǔ)在各種注冊(cè)庫(kù)中，以特定的方式在互聯(lián)網(wǎng)上進(jìn)行發(fā)布，以便用戶查詢和使用。隨著云計(jì)算等新型計(jì)算模式的出現(xiàn)，網(wǎng)絡(luò)資源的發(fā)布方式統(tǒng)一為服務(wù)，從IaaS、PaaS到SaaS，網(wǎng)絡(luò)環(huán)境中任何可用的信息資源都以服務(wù)的形態(tài)存在，以按用付費(fèi)的方式提供給用戶。因此，需要對(duì)這些分布、異構(gòu)、自治的信息資源進(jìn)行統(tǒng)一的管理，屏蔽信息資源本身的細(xì)節(jié)和物理位置信息。與此同時(shí)，大眾用戶需求正逐漸呈現(xiàn)出多樣性和個(gè)性化的特征，可能涉及多個(gè)領(lǐng)域的知識(shí)，這使得滿足大眾用戶需求的服務(wù)定制也需要跨領(lǐng)域/組織的資源和服務(wù)通過互操作、協(xié)作等方式共同完成。但這些企業(yè)和組織提供的數(shù)據(jù)和服務(wù)在語(yǔ)法和語(yǔ)義上的差異阻礙了它們之間有效的信息共享和交換。如何利用開放的標(biāo)準(zhǔn)實(shí)現(xiàn)服務(wù)之間的互操作顯得十分重要。這種開放的互操作標(biāo)準(zhǔn)不會(huì)顛覆現(xiàn)有的標(biāo)準(zhǔn)，而是在保持其獨(dú)立性的基礎(chǔ)上，實(shí)現(xiàn)部分語(yǔ)義互操作性兼容。

根據(jù)IEEE的定義，互操作性指的是“兩個(gè)或多個(gè)系統(tǒng)或組成部分之間交換信息以及對(duì)所已經(jīng)交換的信息加以使用的能力”。“交換”意味著信息系統(tǒng)在數(shù)據(jù)格式、通信協(xié)議以及接口描述等方面有約定。“使用”意味著交互雙方能夠一致地理解信息的含義。所以，為了實(shí)現(xiàn)軟件系統(tǒng)之間的互操作，需要對(duì)軟件系統(tǒng)間交換的信息所遵循的語(yǔ)法、語(yǔ)義給予明確的記錄，即注冊(cè)。同時(shí)，對(duì)于交互雙方在語(yǔ)法、語(yǔ)義方面的對(duì)應(yīng)關(guān)系也需要準(zhǔn)確地說明，即建立語(yǔ)法和語(yǔ)義方面的映射。注冊(cè)也是一種虛擬化聚合服務(wù)的技術(shù)，是SOA架構(gòu)中的關(guān)鍵一環(huán)。基于這一理念，ISO/IEC JTC1 SC32制訂了MFI系列標(biāo)準(zhǔn)，從模型注冊(cè)、本體注冊(cè)、模型映射的角度對(duì)注冊(cè)信息資源的基本管理信息提供參考，能夠在一定程度上促進(jìn)軟件系統(tǒng)之間的互操作。

2003年受國(guó)際標(biāo)準(zhǔn)化組織(ISO)的委托，在我們研制的語(yǔ)義互操作性注冊(cè)與存儲(chǔ)管理的本體元建模理論和技術(shù)基礎(chǔ)上，主持研制ISO/IEC 19763-3:本體注冊(cè)元模型。2008年3月該標(biāo)準(zhǔn)被ISO國(guó)際組織公開頒布，并推廣應(yīng)用，為服務(wù)資源的互操作性注冊(cè)提供了語(yǔ)義支撐。2008年我們向ISO國(guó)際組織提交了新的標(biāo)準(zhǔn)提案[8]。經(jīng)ISO主權(quán)國(guó)家的專家評(píng)審，2009年被批準(zhǔn)立項(xiàng)，隨后委托我們主持4個(gè)相應(yīng)的ISO標(biāo)準(zhǔn)系列(ISO/IEC 19763-5，7，8，9)研究。MFI系列標(biāo)準(zhǔn)可以從以下兩個(gè)方面來(lái)進(jìn)行說明:

(1)面向按需服務(wù)選擇的互操作性管理的基本模式

MFI-1，2，3，4，6描述了支撐語(yǔ)義互操作性注冊(cè)與存儲(chǔ)管理的基本模型，其中包含SCIS核心模型，提供語(yǔ)義支撐的本體注冊(cè)元模型、語(yǔ)義映射元模型等。這些標(biāo)準(zhǔn)主要致力于從抽象的元模型層為大量異構(gòu)信息資源和服務(wù)提供統(tǒng)一的注冊(cè)標(biāo)準(zhǔn)，并能為它們之間的互操作提供語(yǔ)義和語(yǔ)法層面的支持。

MFI-1是整個(gè)MFI標(biāo)準(zhǔn)族的參考模型，用于說明其研究范疇和各部分之間的關(guān)系。

MFI-2是核心模型，定義了待注冊(cè)模型、元模型和本體之間的關(guān)系，是實(shí)現(xiàn)模型間映射和軟件系統(tǒng)間互操作的基礎(chǔ)。

MFI-3是本體注冊(cè)元模型，為各種語(yǔ)言描述的本體提供了一個(gè)公共的注冊(cè)機(jī)制，能在一定程度上促進(jìn)本體之間的互操作，并為軟件系統(tǒng)之間基于語(yǔ)義的互操作提供基礎(chǔ);同時(shí)，由于信息資源和服務(wù)都在不斷演化以適應(yīng)不斷變化的用戶需求，MFI-3在后續(xù)研究中還考慮了本體演化對(duì)信息系統(tǒng)之間互操作的影響，為注冊(cè)本體的演化信息進(jìn)行了一定程度的擴(kuò)展。

MFI-4是模型映射元模型，主要用于注冊(cè)和管理元模型和模型之間的映射信息，為不同語(yǔ)言定義的元模型/模型之間的轉(zhuǎn)換提供支持。

MFI-6是注冊(cè)規(guī)程，定義了在注冊(cè)各類模型的過程中必需要遵從的規(guī)程。

(2)面向按需服務(wù)的RGPS注冊(cè)元模型標(biāo)準(zhǔn)

以用戶為中心，且計(jì)算資源以服務(wù)的形式提供要求，不僅需要數(shù)據(jù)資源的管理，還需要服務(wù)資源、用戶需求及其之間關(guān)聯(lián)信息的管理。這種背景下，需要有一套合理描述用戶需求和服務(wù)的方法。我們認(rèn)為，用戶角色、業(yè)務(wù)目標(biāo)、業(yè)務(wù)流程以及服務(wù)資源是這種描述的4個(gè)要素[9]。

我們?cè)诮鼛啄觋P(guān)于RGPS研究的基礎(chǔ)上，向ISO/IEC JTC1 SC32提交了MFI-5， 7， 8， 9標(biāo)準(zhǔn)提案，獲得ISO組織通過，并立項(xiàng)研制MFI-5流程模型注冊(cè)元模型、MFI-7服務(wù)注冊(cè)元模型、MFI-8角色和目標(biāo)注冊(cè)元模型。這幾項(xiàng)標(biāo)準(zhǔn)為網(wǎng)絡(luò)中的業(yè)務(wù)流程、服務(wù)、目標(biāo)等不同層次、不同粒度的信息資源提供了一個(gè)標(biāo)準(zhǔn)的注冊(cè)方法，對(duì)其呈現(xiàn)給大眾用戶的表現(xiàn)方式進(jìn)行了統(tǒng)一。此外，MFI-9提供了一套完整的方法學(xué)，詳細(xì)闡述了上述標(biāo)準(zhǔn)所提供的注冊(cè)信息之間的關(guān)系，并說明了如何使用基于上述標(biāo)準(zhǔn)提供的注冊(cè)信息、通過多次迭代的模型映射過程幫助用戶完成按需的按需服務(wù)選擇和定制。

5 結(jié)束語(yǔ)

本文從SOSE角度列舉了關(guān)于服務(wù)計(jì)算的軟件理論與方法研究的若干重要問題，介紹我們的學(xué)術(shù)觀點(diǎn)及其開展的研究工作新進(jìn)展。SOSE理論與方法包括多方面研究，但是實(shí)現(xiàn)的核心目標(biāo)是:促進(jìn)互聯(lián)網(wǎng)環(huán)境中松耦合式服務(wù)資源之間的互操作性行為協(xié)作，實(shí)現(xiàn)服務(wù)資源深度共享、按需服務(wù)。我們將進(jìn)一步研究服務(wù)云的互操作性構(gòu)造方法和管理與服務(wù)的關(guān)鍵技術(shù)及其標(biāo)準(zhǔn)化，促進(jìn)中國(guó)云計(jì)算時(shí)代的軟件工程學(xué)科和現(xiàn)代服務(wù)業(yè)的快速發(fā)展。

6 參考文獻(xiàn)

[1] ZHANG Liangjie， ZHANG Jia， CAI Hong. Services Computing， Core Enabling Technology of the Modern Services Industry [M]. Berlin， Germany: Springer/Beijing， China: Tsinghua University Press， 2007.

[2] 金芝，何克清，王青. 軟件需求工程:部分研究工作進(jìn)展 [J]. 計(jì)算機(jī)學(xué)會(huì)通訊， 2007(11).

[3] HE Keqing， WANG Jian， LIANG Peng. Towards Semantic Interoperability Aggregation in Service Requirements Refinement [J]. Journal of Computer Science and Technology， 2010， 25(3).

[4] 何克清， 何揚(yáng)帆， 王， 等. 本體元建模理論與方法及其應(yīng)用 [M]. 北京: 科學(xué)出版社， 2008.

[5] 李兵， 黃永峰. 贏在需求:按需服務(wù)的網(wǎng)絡(luò)化軟件開發(fā) [J]. 計(jì)算機(jī)學(xué)會(huì)通訊， 2009(12).

[6] ISO/IEC 19763-3:2007. International Standard: Information Technology-Metamodel Framework for Interoperability (MFI)-3: Metamodel for Ontology Registration [S]. 2007.

[7] WANG Jian， HE Keqing. RGPS: A Unified Requirements Meta-Modeling Frame for Networked Software [C]//Proceedings of the 3rd International Workshop on Advances and Applications of Problem Frames (IWAAPF'08)Co-Located with 30th International Conference on Software Engineering (ICSE’08)， May 10-18， 2008， Leipzig， Germany. 2008:29-35.

[8] WANG Jian， HE Keqing， HE Yangfan， et al. RGPS Metamodel Based on Demand Model Selection [C]//Workshop of ISO/IEC SC32 WG2. Wuhan， China.2008.

[9] 何克清， 彭蓉， 劉瑋，等.網(wǎng)絡(luò)式軟件 [M]. 北京: 科學(xué)出版社， 2008.

收稿日期:2010-05-05

何克清，日本北海道大學(xué)工學(xué)博士畢業(yè);武漢大學(xué)軟件工程國(guó)家重點(diǎn)實(shí)驗(yàn)室教授，武漢大學(xué)軟件工程研究所所長(zhǎng)，湖北軟件評(píng)測(cè)中心主任，IEEECCF高級(jí)會(huì)員，SO/IEC中國(guó)代表，CCF服務(wù)計(jì)算專委會(huì)副主任;從事面向服務(wù)的軟件工程、語(yǔ)義互操作性技術(shù)等方向的科研工作;已發(fā)表學(xué)術(shù)論著70余篇。

李兵，華中科技大學(xué)工學(xué)博士畢業(yè);武漢大學(xué)計(jì)算機(jī)學(xué)院、軟件工程國(guó)家重點(diǎn)實(shí)驗(yàn)室教授、博士生導(dǎo)師，中國(guó)計(jì)算機(jī)學(xué)會(huì)高級(jí)會(huì)員，中國(guó)電子學(xué)會(huì)高級(jí)會(huì)員，中國(guó)電子學(xué)會(huì)云計(jì)算專委會(huì)委員;長(zhǎng)期從事網(wǎng)絡(luò)化軟件工程、復(fù)雜網(wǎng)絡(luò)與云計(jì)算等方向的科研工作;已發(fā)表學(xué)術(shù)論著50余篇。