王志寶 劉 麗 常原飛 喬彥友 文必龍
(中國科學(xué)院遙感應(yīng)用研究所,北京,100101) (東北石油大學(xué))
林業(yè)有害生物是我國森林資源、國土生態(tài)安全的三大危害之一,其危害程度甚于森林火災(zāi)、亂砍濫發(fā)。近年來,我國林業(yè)有害生物發(fā)生形式嚴(yán)峻,不但常發(fā)病蟲種類的發(fā)生面積居高不下,外來有害生物入侵日趨嚴(yán)重。2011年,全國主要林業(yè)有害生物發(fā)生面積為1 168.13 萬hm2,與2010年同期發(fā)生面積基本持平,其中重度發(fā)生面積71.26 萬hm2[1]。為減少災(zāi)害損失,保護國土生態(tài)安全,保障國家森林面積與森林蓄積量的雙增目標(biāo),我國已初步建立起林業(yè)有害生物防治體系,實施國家、省、市和縣四級管理體系。在該體系中,監(jiān)測預(yù)警體系是及時、準(zhǔn)確、全面地掌握有害生物發(fā)生、成災(zāi)、防治信息的基礎(chǔ),是林業(yè)有害生物災(zāi)情合理分析、方案科學(xué)決策、防治有效實施的前提。
在2009年初和2011年初,國家林業(yè)局相繼頒發(fā)了《全國林業(yè)信息化建設(shè)綱要》和《全國林業(yè)信息化發(fā)展“十二五”規(guī)劃》,要求逐步建立起功能齊備、互通共享、高效便捷、穩(wěn)定安全的林業(yè)信息化體系,提升林業(yè)信息化建設(shè)的水平[2-3]。林業(yè)有害生物災(zāi)害監(jiān)測預(yù)警體系是其重點建設(shè)內(nèi)容之一。省級林業(yè)有害生物災(zāi)害監(jiān)測與預(yù)警系統(tǒng)在全省范圍內(nèi)實現(xiàn)林業(yè)有害生物災(zāi)害信息的采集、傳輸、處理、分析、評價、發(fā)布與共享,是該體系的重要組成。
省級森防機構(gòu)依托省級林業(yè)有害生物災(zāi)害監(jiān)測與預(yù)警系統(tǒng),負(fù)責(zé)收集縣級森防機構(gòu)組織森林病蟲害情況調(diào)查信息,審核下轄單位測報數(shù)據(jù),發(fā)布轄區(qū)內(nèi)短、中、長期趨勢預(yù)報,并提出防治執(zhí)行方案,并向國家級部門報告調(diào)查情況。為有效支撐這個業(yè)務(wù)過程,系統(tǒng)應(yīng)具備如下功能:基于流程的有害生物災(zāi)害信息匯交子系統(tǒng),滿足省、市、縣、鄉(xiāng)多級的災(zāi)害信息交流與共享;基于WebGIS 的災(zāi)害信息空間可視化分析、預(yù)測子系統(tǒng),有害生物災(zāi)害信息具有明顯的時空特性,表現(xiàn)為寄主性、擴散性、動態(tài)性,傳統(tǒng)的數(shù)據(jù)表格管理手段無法形象表達(dá)這些特性;通用動態(tài)的表單子系統(tǒng),滿足不同地區(qū)異構(gòu)業(yè)務(wù)數(shù)據(jù)的錄入與查詢。實際調(diào)研發(fā)現(xiàn)共性的需求顯現(xiàn)出諸多差異化的需求,甚至同一省份在不同的階段也會提出新的需求,這是由于各地森防部門管理模式的差異造成。例如,在流程上,福建省是按照“鄉(xiāng)—縣—市—省”三級災(zāi)情上報模式,而海南省則是“縣—省”兩級上報模式;由于各地有害生物種類的差異,使用的預(yù)測模型也不同,松材線蟲采用分類與回歸樹模型,而美國白蛾使用元胞自動機模型;不同的地區(qū)會采用不同的地圖等級模型、配色方案、專題圖類型。
從空間角度看,各省森防機構(gòu)對系統(tǒng)有不同的需求;從時間看,單一省份森防部門隨著業(yè)務(wù)的調(diào)整也會提出更多的需求。傳統(tǒng)的信息系統(tǒng)開發(fā)模式中,業(yè)務(wù)流程邏輯、功能處理邏輯、業(yè)務(wù)信息展現(xiàn)邏輯等沒有進行合理隔離和描述[4],各類邏輯和處理規(guī)則以代碼形式固化在軟件系統(tǒng)中,造成應(yīng)用系統(tǒng)可定制性、可演化性較差,軟件難以重用,維護不能敏捷,不能快速滿足用戶不斷變化的需求。造成這種局面的原因是系統(tǒng)構(gòu)建時缺乏一個合理的建模體系。針對上述問題,借鑒OMG 的MDA 模型制導(dǎo)的軟件開發(fā)方式,采用元數(shù)據(jù)模型驅(qū)動架構(gòu)開發(fā)面向省級林業(yè)有害生物災(zāi)害監(jiān)測的業(yè)務(wù)基礎(chǔ)平臺,利用該平臺可通過定制開發(fā)方式,按需搭建不同省份林業(yè)有害生物災(zāi)害監(jiān)測系統(tǒng)。
模型驅(qū)動架構(gòu)(MDA)是對象管理組OMG 提出的新一代軟件開發(fā)范型,提升了模型在軟件開發(fā)中的地位,使模型成為軟件開發(fā)的基本工件。一個經(jīng)典的基于MDA 的軟件開發(fā)過程分為4 個步驟[5]:①由業(yè)務(wù)人員建立計算無關(guān)模型(CIM),CIM 從計算無關(guān)的視角表達(dá)系統(tǒng)相關(guān)的業(yè)務(wù)模型。②依據(jù)映射規(guī)則將CIM 轉(zhuǎn)換為計算相關(guān)平臺無關(guān)模型(PIM),PIM 更具體地表示系統(tǒng)結(jié)構(gòu)和功能,表達(dá)如何用軟件來實現(xiàn)業(yè)務(wù),但是不涉及具體的技術(shù)平臺。③依據(jù)映射規(guī)則將PIM 轉(zhuǎn)換為平臺相關(guān)模型(PSM),PSM 的表達(dá)中會使用某一具體技術(shù)平臺的語法和語義,如J2EE 平臺或者.NET 平臺。④最后將PSM 轉(zhuǎn)換為代碼、測試框架和部署腳本。從這個過程中可以看出,通過建立不同層級上模型及其映射關(guān)系,以“模型制導(dǎo)”驅(qū)動系統(tǒng)從無到有,再通過若干迭代過程驅(qū)動系統(tǒng)完善。
MDA 通過分層建立CIM、PIM 和PSM 模型體系,明晰了各類模型的作用,解耦了傳統(tǒng)軟件模型的復(fù)雜性,保護了軟件開發(fā)各個階段的工作成果,使軟件模型不依賴于具體的技術(shù)平臺。當(dāng)技術(shù)平臺遷移時,CIM 和PIM 可以復(fù)用;當(dāng)業(yè)務(wù)需求發(fā)生變化時,可以通過模型間的映射關(guān)系,增量的驅(qū)動系統(tǒng)重建,無需重復(fù)編碼。因此,MDA 一經(jīng)推出,就成為國內(nèi)外學(xué)術(shù)界和軟件工業(yè)界研究和實踐的熱點。
在應(yīng)用MDA 方法指導(dǎo)軟件開發(fā)中,總結(jié)有以下3 種模式:①模型轉(zhuǎn)換方式。遵循OMG 的MOF、UML、XMI 系列規(guī)范,進行建模及模型轉(zhuǎn)換方法、集成環(huán)境的研究,軟件組織在這些方法與環(huán)境的支持下開展PIM、PSM 建模及轉(zhuǎn)換,進行應(yīng)用軟件開發(fā)。例如:王赟華等[6]采用MDA 環(huán)境Tau Developer,進行了熱控系統(tǒng)建模,實現(xiàn)了大部分代碼生成;侯金奎等[7]通過對UML 進行擴展引入Web 建模視圖,在J2EE 平臺中實現(xiàn)了Web 應(yīng)用程序的生成;周東岱等[8]提出建立利用GIS 平臺提供的UML Profile 將平臺無關(guān)模型影射到平臺相關(guān)模型,使GIS 開發(fā)不依賴于具體的ArcGIS、SupperMap 等GIS 平臺。②可執(zhí)行UML(Executable UML):UML 的語義精度只能支持靜態(tài)代碼(類結(jié)構(gòu)、代碼文件等)生成,可執(zhí)行UML 提高了UML 的語義精度,彌補在動作語義描述的不足,目標(biāo)是建立可執(zhí)行、可驗證的PIM,實現(xiàn)模型轉(zhuǎn)化與代碼生成的全自動化。這方面的研究集中在對現(xiàn)有UML 標(biāo)準(zhǔn)的擴展和標(biāo)準(zhǔn),如文獻[9]—[11];還有可執(zhí)行模型的建模、轉(zhuǎn)換、運行、測試支撐環(huán)境的研制,例如文獻[12]和[13]。③元建模方式。軟件開發(fā)涉及多個領(lǐng)域,不同的領(lǐng)域需要不同的建模語言及其建模工具,這些工作探索建立領(lǐng)域元模型。與UML 元模型相比,領(lǐng)域元模型更接近問題域,建模人員容易掌握,在限定范圍條件下,也更容易支持代碼的生成[14]。這3 種模型驅(qū)動的時效在軟件開發(fā)期,面向軟件開發(fā)人員,以模型制導(dǎo)生成的代碼模型為最終目標(biāo),統(tǒng)稱為開發(fā)期模型驅(qū)動(MDD)。實際上,在軟件運行期引入模型驅(qū)動機制(MDR),通過模型的建模、執(zhí)行、演化實現(xiàn)系統(tǒng)的構(gòu)造、運行和演化,這個過程可以由軟件人員完成,也可以由業(yè)務(wù)人員直接實施。MDR 求解目標(biāo)不是代碼模型,而是與需求一致的業(yè)務(wù)模型,是“所見即所得”的業(yè)務(wù)模型。在MDR 過程中,從需求模型向代碼模型的轉(zhuǎn)換是自動的,對終端用戶是透明的。與開發(fā)期的模型驅(qū)動相比,MDR 更適合需求個性、易變的情況,因為由業(yè)務(wù)人員直接建模方式的定制系統(tǒng),避免了需求在轉(zhuǎn)達(dá)過程中的失真效應(yīng),提高了系統(tǒng)的可演化性及維護的敏捷性。圖1給出了開發(fā)期模型驅(qū)動與運行期模型驅(qū)動在開發(fā)過程上的差異。從圖1可以看出,林業(yè)業(yè)務(wù)人員可直接使用建模工具描述自己的需求,得到與需求一致的可執(zhí)行軟件模型,表現(xiàn)為一種定制軟件的過程。這個過程需要模型驅(qū)動運行時環(huán)境的支撐,元模型是基礎(chǔ)設(shè)施,建模工具和執(zhí)行引擎在元模型的基礎(chǔ)上研發(fā),完備的領(lǐng)域元模型是MDR 過程實現(xiàn)的關(guān)鍵。文獻[15]給出了MDR 思想開發(fā)企業(yè)Web 應(yīng)用的框架。
本研究在前期工作基礎(chǔ)上面向業(yè)務(wù)的軟件集成平臺[16],進行林業(yè)有害生物災(zāi)害監(jiān)測與預(yù)警的本質(zhì)需求分析,建立該業(yè)務(wù)領(lǐng)域的支撐元模型,解決省級系統(tǒng)建設(shè)中各省需求不一致、單省需求變化快與系統(tǒng)可演化性差的矛盾。
圖1 模型驅(qū)動機制的2 種過程模型
采用元數(shù)據(jù)作為模型的載體,建模就是生成元數(shù)據(jù),模型執(zhí)行就是對元數(shù)據(jù)的解釋執(zhí)行,由于林業(yè)有害生物災(zāi)害監(jiān)測與預(yù)警業(yè)務(wù)涉及多類元數(shù)據(jù),筆者借鑒OMG 的MOF 提出的4 層元數(shù)據(jù)模型體系結(jié)構(gòu)來管理異種異構(gòu)的元數(shù)據(jù)。
圖2為平臺元數(shù)據(jù)模型體系結(jié)構(gòu),從信息層到元元模型層,是從具體到抽象逐步過渡的,相鄰的底層和頂層之間等同于面向?qū)ο笾蓄惻c超類之間的關(guān)系。
圖2 面向林業(yè)有害生物監(jiān)測的元數(shù)據(jù)模型體系結(jié)構(gòu)
信息層:模型實例化的結(jié)果,也是業(yè)務(wù)人員最關(guān)心的各類信息。例如“遼寧省本溪市美國白蛾2012年第3 季度發(fā)生情況”。
模型層:模型就是元數(shù)據(jù)的聚合,一個模型描述的是一類對象。林業(yè)業(yè)務(wù)用戶通過建模描述需求,通過執(zhí)行模型形成直接可用的功能。例如遼寧省美國白蛾發(fā)生情況采集模式。傳統(tǒng)的信息系統(tǒng)代碼與這個層次綁定,導(dǎo)致系統(tǒng)不能在運行期動態(tài)改變。
元模型層:描述了模型的基本結(jié)構(gòu)和語義。一個元模型負(fù)責(zé)對一類模型進行統(tǒng)一的描述,實現(xiàn)對一類資源的集成和管理,根據(jù)林業(yè)有害生物災(zāi)害監(jiān)測與預(yù)警的本質(zhì)需求,提出FPM-BPM 業(yè)務(wù)過程元模型、FPM-GIS 空間可視與分析元模型、FPM-Form通用表單元模型,這些元模型是有害生物信息采集、存儲、分析、預(yù)測、共享、展示的支撐。建模工具與執(zhí)行引擎的代碼實現(xiàn)與該層綁定,需求變化不易波及到該層。
元元模型層:描述了元模型的基本結(jié)構(gòu)和語義。相比MOF 元元模型,F(xiàn)PM 元元模型是一個輕型的元元模型,可實現(xiàn)自描述,管理元實體、元屬性和邏輯數(shù)據(jù)類型等元元對象。理論上,通過元層次之間的映射關(guān)系,針對該層實現(xiàn)的軟件框架可管理所有元數(shù)據(jù)。
林業(yè)病蟲害監(jiān)測與預(yù)警業(yè)務(wù)涉及3 個核心元模型:FPM-BPM 元模型用來支撐有害生物發(fā)生防治信息再各級林業(yè)組織中的流轉(zhuǎn)過程,F(xiàn)PM-GIS 元模型用來支撐有害生物發(fā)生信息的空間可視化以及災(zāi)害預(yù)測服務(wù),F(xiàn)PM-Form 用來支撐各種有害生物信息的錄入與查詢功能。元建模語言采用UML 2.0,元模型建模一方面參考已有的相關(guān)標(biāo)準(zhǔn),另一方面從林業(yè)有害生物監(jiān)測業(yè)務(wù)需求中抽象。
參考WMFC 工作流元模型,采用面向?qū)ο髾C制,提出可擴展的FPM-BPM 元模型,如圖3所示。Process Type 描述過程名、版本號、開始時間、結(jié)束時間等屬性;Activity 描述活動名、活動類型(原子活動或者子流程)、前置條件、后置條件調(diào)度約束;Transition 描述條件名、條件類型、條件轉(zhuǎn)移規(guī)則;Process Relevant Object 描述對象名、對象路徑、對象屬性、對象操作;Role 描述流程中涉及的組織機構(gòu)、參與角色;Service 描述活動中使用的軟件名稱、功能參數(shù);Data 描述活動使用的數(shù)據(jù)集、數(shù)據(jù)類型(空間數(shù)據(jù)或者屬性數(shù)據(jù))、數(shù)據(jù)操作。Role、Service 和Data也繼承Process Relevant Object 的屬性。FPM-BPM元模型的實例是林業(yè)業(yè)務(wù)流程模板。例如福建省2013年馬尾松毛蟲災(zāi)害信息匯交流程。
圖3 FPM-BPM 元模型
FPM-GIS 元模型支持地圖模式的定制,如圖4所示。Map 描述地圖模式名稱、地圖目的、地圖等級;Operation 描述操作名稱(縮放、漫游、選擇、圖層)、是否掛接;Style 描述頁面布局、頁面樣式、樣式資源路徑;Geographical Phenomenon 描述地圖中涉及地理現(xiàn)象名稱、現(xiàn)象表達(dá)優(yōu)先級、是否可視、對象過濾表達(dá)式;Feature Type 描述離散型地理對象,例如林班、小班、細(xì)班;Field Type 描述連續(xù)分布的地理現(xiàn)象,例如地表溫度、地表濕度、地表高程;Spatial Data Model 描述使用的空間數(shù)據(jù)模型、空間數(shù)據(jù)類型、空間數(shù)據(jù)庫物理位置、坐標(biāo)參考系統(tǒng);Symbol 描述地理現(xiàn)象符號化信息:符號化類型(點、線、面、標(biāo)注、柵格)、符號化規(guī)則、符號ID;Analysis Model 描述使用的基于空間的災(zāi)害統(tǒng)計與預(yù)測模型:模型類別、模型名稱、模型URL、輸入?yún)?shù)、返回參數(shù)。FPMGIS 元模型的實例是一個較完備的地圖模式。例如,海南省松材線蟲預(yù)測專題圖模式。
FPM-Form 支撐動態(tài)的錄入和查詢表單,如圖5所示。Data Model 描述數(shù)據(jù)模型名稱、模型類型、模型版本;Data Type 描述數(shù)據(jù)類型名稱、數(shù)據(jù)類型代碼;Entity 描述實體名稱、實體代碼;Attribute 描述屬性代碼、屬性名稱、數(shù)據(jù)類型、所屬實體、引用數(shù)據(jù)元素;Data Element 描述數(shù)據(jù)元素名稱、數(shù)據(jù)元素代碼、計量單位、域范圍、數(shù)據(jù)類型、數(shù)據(jù)長度、數(shù)據(jù)精度;Form 描述界面類型(錄入或者查詢)、表單部件、錄入質(zhì)量約束、查詢條件;Form Style 描述表單布局、控件樣式;DataMapping 描述實體表單映射關(guān)系:映射名稱、表單與實體映射關(guān)系、屬性與表單元素映射關(guān)系、映射順序。
圖4 FPM-GIS 元模型
圖5 FPM-Form 元模型
在各個元模型的基礎(chǔ)上,采用Web 方式開發(fā)建模工具和執(zhí)行引擎,方便功能集成和平臺部署。為保證用戶體驗,前端用戶交互均使用Visual Studio Ajax 組件實現(xiàn),后端元數(shù)據(jù)和業(yè)務(wù)數(shù)據(jù)的存取使用Web Services 實現(xiàn),前后端通信采用XML HTTP 進行異步的消息傳遞。FPM-BPM 建模工具與執(zhí)行引擎的表現(xiàn)層參考了開源項目ccFlow,底層針對FPMBPM 元模型做了改造,流程可視化建模采用微軟的Silverlight 技術(shù)實現(xiàn),實現(xiàn)順序、異或分支、異或合并、與分支、與結(jié)合、循環(huán)及復(fù)合類型的路由結(jié)構(gòu),同時對模型的提供合理性驗證,避免死動作、死鎖、活鎖,實際中滿足了各省林業(yè)有害生物監(jiān)測計劃、調(diào)查任務(wù)下達(dá)、信息匯總核查、災(zāi)害預(yù)警、信息發(fā)布等流程化的業(yè)務(wù)需求。FPM-GIS 建模工具和執(zhí)行引擎則是在前期研究工作基礎(chǔ)[17]上,針對FPM-GIS 元模型改造完成,實現(xiàn)了空間數(shù)據(jù)源、地圖級別、地圖符號、統(tǒng)計模型、預(yù)測模型的靈活定制。FPM-Form表單建模與執(zhí)行引擎,則完全從底層開發(fā),支持錄入和查詢雙向數(shù)據(jù)流,獨立的數(shù)據(jù)元模型不僅支持SQL Server、Oracle、MySQL 等異構(gòu)的物理數(shù)據(jù)模型,還支持異構(gòu)的邏輯數(shù)據(jù)模型,數(shù)據(jù)元素的應(yīng)用可有效控制數(shù)據(jù)錄入質(zhì)量,不同省級林業(yè)森防部門可根據(jù)當(dāng)?shù)厍闆r,選購物理數(shù)據(jù)庫,設(shè)計有害生物信息邏輯數(shù)據(jù)庫。此外,還開發(fā)了通用軟件框架將定制的各種流程、表單、GIS 模塊等資源組裝起來,形成一體化的業(yè)務(wù)系統(tǒng)。由于每個子系統(tǒng)均采用Web 技術(shù)實現(xiàn),可以直接在界面層集成,模塊之間的通信采用Ajax 框架容易解析JSON 格式。軟件框架針對元元模型層編程實現(xiàn)。
從實現(xiàn)角度看,將程序代碼與元模型綁定,通過多級抽象,用戶的需求變化被控制在模型層面上,變化的波及效應(yīng)無法沖擊到代碼層,這就使系統(tǒng)具有了運行期動態(tài)改變的能力。圖6和圖7分別給出了采用本平臺通過定制的方式實現(xiàn)海南省和福建省林業(yè)有害生物災(zāi)害監(jiān)測與預(yù)警的運行效果。其中,海南省為省級用戶登錄節(jié)點,正在完成馬尾松毛蟲災(zāi)情的預(yù)報任務(wù),預(yù)測模型使用神經(jīng)網(wǎng)絡(luò),預(yù)報的尺度是縣級,同時使用GIS 模塊進行了空間可視化;福建省為福州市級用戶登錄節(jié)點,正在審核所轄縣級單位上報的當(dāng)月有害生物災(zāi)害的發(fā)生情況,等到轄區(qū)各縣級用戶都完成上報蟲情,再將本市情況匯總上報福建省林業(yè)廳,蟲情信息也支持GIS 空間可視化。
圖6 海南省FPM 系統(tǒng)
針對省級林業(yè)有害生物災(zāi)害監(jiān)測與預(yù)警系統(tǒng)建設(shè)中,各省需求不一致,單省需求變化快的問題,借鑒OMG 的MDA 軟件開發(fā)方法,提出了軟件運行期元數(shù)據(jù)模型驅(qū)動的定制開發(fā)模式,該模式支持軟件人員為用戶維護系統(tǒng),也支持業(yè)務(wù)用戶按需定制系統(tǒng)。建立了FPM-BPM 元模型、FPM-GIS 元模型、FPM-Form 元模型3 個支撐元模型,開發(fā)了相應(yīng)的建模工具、執(zhí)行引擎,采用模型組裝的方式實現(xiàn)業(yè)務(wù)系統(tǒng)構(gòu)造。本研究成果已經(jīng)應(yīng)用于遼寧省、海南省、福建省等省級林業(yè)有害生物災(zāi)害監(jiān)測與預(yù)警系統(tǒng)建設(shè),實際應(yīng)用證明,與傳統(tǒng)的針對模型層的開發(fā)相比,系統(tǒng)具有良好的適應(yīng)性和可擴展性,具備了軟件運行期適應(yīng)需求變化的能力,只有小部分特殊需求無法定制,滿足了各省林業(yè)部門林業(yè)有害生物災(zāi)害監(jiān)測需求。在未來的工作中,將進一步提高3 個元模型的復(fù)雜模型描述能力,同時增加報表元模型,提高元模型的描述能力,提升平臺的定制能力。
圖7 福建省FPM 系統(tǒng)
致謝:感謝遼寧省林業(yè)有害生物防治檢疫局、福建省森林病蟲害防治檢疫總站、海南省森林病蟲害防治檢疫站為本平臺的研發(fā)提供了寶貴的意見,謹(jǐn)此致謝。
[1] 國家林業(yè)局.2012年全國主要林業(yè)有害生物仍呈偏重發(fā)生趨勢[EB/OL]. 中央政府門戶網(wǎng)站,2012[2013-4-22]. http://www.gov.cn/gzdt/2012-01/12/content_2042719.htm.
[2] 國家林業(yè)局.全國林業(yè)信息化建設(shè)綱要[EB/OL].國家林業(yè)局政府網(wǎng),2009[2013-4-22].http://www.forestry. gov. cn//portal/zfs/s/799/content-105973.html.
[3] 國家林業(yè)局.全國林業(yè)信息化發(fā)展“十二五”規(guī)劃[EB/OL].國家林業(yè)局政府網(wǎng),2011[2013-4-22]. http://www. forestry.gov.cn//portal/main/s/195/content-470883.html.
[4] 仲琴,吳士亮.業(yè)務(wù)導(dǎo)向及模型驅(qū)動MIS 軟件構(gòu)建的模型體系研究[J].計算機應(yīng)用研究,2009,26(7):2579-2582.
[5] Object Manage Group. MDA guide version 1.0.1[EB/OL]. Object manage group,2003[2013-4-22]. http://www. omg. org/mda/.
[6] 王赟華,陳蔚薇.模型驅(qū)動開發(fā)方法的應(yīng)用研究[J].計算機工程,2006,32(13):63-65.
[7] 侯金奎,萬建成,張玉艷.一種支持MDA 的PIM 建模方法[J].計算機工程,2007,33(8):71-73.
[8] 周東岱,葉育鑫,胡光道,等.基于模型驅(qū)動架構(gòu)的GIS 應(yīng)用開發(fā)研究[J]. 吉林大學(xué)學(xué)報:地球科學(xué)版,2006,36(4):653-658.
[9] Michelle L C,Juergen D. Towards a formal account of a foundational subset for executable UML models[C]//Krzysztof C,Ileana O,Jean-Michel B,et al. Model driven engineering languages and systems:MoDELS’08 proceedings of the 11th international conference on model driven engineering languages and systems. Berlin:Springer Berlin Heidelberg,2008:675-689.
[10] Object Manage Group. Semantics of a foundational subset for executable UML models (fUML),v1.0[EB/OL]. Object Manage Group,2011[2013 - 4 - 22]. http://www. omg. org/spec/FUML/1.0/.
[11] Lazǎr C L,Lazǎr I,Parv B,et al. Using a fUML action language to construct UML models[C]//Symbolic and numeric algorithms for scientific computing:synasc’09 proceedings of the 2009 11th international symposium on symbolic and numeric algorithms for scientific computing. New York:IEEE,2009:93-101.
[12] Damian C. SPARK annotations within executable UML[C]//Luís M P,Michael G H. Reliable software technologies-ada-europe 2006:11th ada-europe international conference on reliable software technologies. Berlin:Springer Berlin Heidelberg,2006:83-93.
[13] Lazǎr I,Motogna S,Parv B. Behaviour-driven development of foundational UML components[J]. Electronic Notes in Theoretical Computer Science,2010,264(1):91-105.
[14] 劉輝,麻志毅,邵維忠.元建模技術(shù)研究進展[J]. 軟件學(xué)報,2008,19(6):1317-1327.
[15] Chondanrongkul N,Hewett R. Application runtime framework for model-driven development[J]. Communications in Computer and Information Science,2011,257:256-264.
[16] 文必龍,王志寶,王琳琳,等. 基于模型驅(qū)動的軟件集成平臺研究與實現(xiàn)[J]. 計算機工程與設(shè)計,2007,28(23):5733-5735,5738.
[17] Qiao Liuli,YanYou,F(xiàn)ei Changyuan. Design and realization of provincial forest pest information system based on WebGIS and Ajax[C]//Remote sensing,environment and transportation engineering:2012 2nd international conference on remote sensing,environment and transportation engineering. NewYork:IEEE,2012:1-4.