唐朝勝 +劉世洪 段玉聰

摘要：在已知決策支持系統(tǒng)（DSS）模型表達(dá)形式的基礎(chǔ)上，探索其計(jì)算機(jī)實(shí)現(xiàn)過程中的自動(dòng)化。針對(duì)目前模型驅(qū)動(dòng)工程中有關(guān)DSS模型的研究集中于領(lǐng)域模型構(gòu)建機(jī)制及平臺(tái)的搭建，而對(duì)模型復(fù)合及求解等生成機(jī)制方面的研究關(guān)注不足，本研究提出了一種基于WF工作流等技術(shù)來完成DSS模型從創(chuàng)建到復(fù)合運(yùn)行的自動(dòng)化策略，并實(shí)現(xiàn)了相應(yīng)的框架原型。該框架提供了人性化的模型生成環(huán)境，所有實(shí)現(xiàn)細(xì)節(jié)對(duì)模型研究者而言均為黑盒抽象，使用者無(wú)需編程即可完成模型的生成。此策略為DSS模型構(gòu)建的工程化、智能化提供了一種新的思路。

關(guān)鍵詞：決策支持系統(tǒng)（DSS）模型；模型驅(qū)動(dòng)；WF工作流；框架

中圖分類號(hào)： TP311.52；S126文獻(xiàn)標(biāo)志碼： A

文章編號(hào)：1002-1302（2016）12-0397-05

收稿日期：2015-10-16

基金項(xiàng)目：國(guó)家自然科學(xué)基金（編號(hào)：61363007）。

作者簡(jiǎn)介：唐朝勝（1975—），男，湖南資興人，副教授，主要從事軟件工程、作物信息化研究。E-mail：tcsjk@163.com。

通信作者：劉世洪，研究員，主要從事農(nóng)業(yè)信息化研究。E-mail：liushihong@caas.cn。

決策支持系統(tǒng)（Decision Support System，DSS）是以計(jì)算機(jī)技術(shù)為基礎(chǔ)的對(duì)決策支持的知識(shí)信息系統(tǒng)，用于處理決策過程中的半結(jié)構(gòu)化和非結(jié)構(gòu)化問題[1]。一般而言，決策者使用DSS不是直接依靠數(shù)據(jù)進(jìn)行決策，而是依靠模型庫(kù)中的模型進(jìn)行決策，所以DSS是由“模型驅(qū)動(dòng)”的[2]。因此有關(guān)模型的表達(dá)、存儲(chǔ)及執(zhí)行等模型生成方面的研究顯得尤為重要。良好的模型生成環(huán)境有助于高質(zhì)量DSS模型的構(gòu)建及運(yùn)行，如通過配置Hadoop云環(huán)境，可實(shí)現(xiàn)模型的并行計(jì)算[3]；或以面向服務(wù)為架構(gòu)，設(shè)計(jì)作物模型區(qū)域應(yīng)用Web服務(wù)組合框架等來解決作物模型與GIS集成環(huán)境問題[4]。

近年來，將模型驅(qū)動(dòng)工程等新興開發(fā)方法應(yīng)用于DSS模型綜合生成環(huán)境的研究成為新熱點(diǎn)。如有學(xué)者提出基于問題求解的模型表示方法[5]、定性定量相結(jié)合的綜合集成模型構(gòu)造方法[6]、基于模型驅(qū)動(dòng)開發(fā)理論的設(shè)計(jì)流程建模工具[7]或作物生長(zhǎng)模型可視化設(shè)計(jì)工具[8]，以及綜合作物系統(tǒng)模擬技術(shù)、知識(shí)工程及自適應(yīng)軟件開發(fā)方法，運(yùn)用系統(tǒng)分析和知識(shí)建模手段，采用模型描述腳本功能構(gòu)建作物生長(zhǎng)模型來設(shè)計(jì)智能化作物集成建模輔助系統(tǒng)[9]。

模型驅(qū)動(dòng)工程的優(yōu)點(diǎn)是采用相關(guān)領(lǐng)域的建模語(yǔ)言，構(gòu)建可視化模型，使領(lǐng)域?qū)＜液驮O(shè)計(jì)人員專注于業(yè)務(wù)邏輯而無(wú)需過早考慮平臺(tái)相關(guān)的實(shí)現(xiàn)細(xì)節(jié)。然而領(lǐng)域模型構(gòu)建后，最終還需要通過自動(dòng)（半自動(dòng)）的層層轉(zhuǎn)換完成從設(shè)計(jì)到實(shí)現(xiàn)的過渡。雖然采用模型驅(qū)動(dòng)工程開發(fā)方法將有助于構(gòu)建領(lǐng)域模型PIM（平臺(tái)無(wú)關(guān)模型），但目前針對(duì)將PIM轉(zhuǎn)化為PSM（平臺(tái)相關(guān)模型）的代碼框架構(gòu)建以及模型的復(fù)合和運(yùn)行方面的研究仍顯不足。從系統(tǒng)的計(jì)算機(jī)實(shí)現(xiàn)角度看，仍存在模型轉(zhuǎn)換過程中過度依賴于程序代碼等現(xiàn)象，缺乏自動(dòng)化和智能化、面向建模人員的模型構(gòu)建、復(fù)合及運(yùn)行的系統(tǒng)環(huán)境。

由于微軟的WF提供了良好的工作流建模環(huán)境，可以在此平臺(tái)上進(jìn)行二次開發(fā)，內(nèi)嵌的WF工作流引擎可完成工作流的解析，因此設(shè)想DSS子模型的復(fù)合和求解過程即為一個(gè)工作流模型構(gòu)建及運(yùn)行的過程：（1）DSS子模型可視為一個(gè)包含求解算法的活動(dòng)；（2）子模型的復(fù)合即為在工作流平臺(tái)下將多個(gè)活動(dòng)按照規(guī)則構(gòu)建工作流模型的過程；（3）復(fù)合模型的運(yùn)行則是這些活動(dòng)在工作流引擎的調(diào)度下完成的運(yùn)算。

為此，本研究在已知模型表達(dá)形式的基礎(chǔ)上，提出一個(gè)面向建模人員、無(wú)需編程即可覆蓋模型從構(gòu)建到復(fù)合運(yùn)行過程的模型自動(dòng)生成策略，并采用WF工作流及動(dòng)態(tài)編譯等技術(shù)實(shí)現(xiàn)相應(yīng)的原型框架。最后以作物生長(zhǎng)模型為例，對(duì)模型的生成過程進(jìn)行了驗(yàn)證。

1系統(tǒng)總體設(shè)計(jì)

1.1系統(tǒng)設(shè)計(jì)策略及流程

模型自動(dòng)生成策略的基本思想是首先提供一個(gè)模型構(gòu)建環(huán)境，支持多種算術(shù)表達(dá)式符號(hào)的創(chuàng)建；其次完成模型運(yùn)算的自動(dòng)解析及存儲(chǔ)表達(dá)；最后創(chuàng)建WF自定義工作流設(shè)計(jì)器，實(shí)現(xiàn)模型程序集的構(gòu)建、導(dǎo)入、復(fù)合和運(yùn)行。綜合以上思路，得到如下設(shè)計(jì)流程圖（圖1）。

[TPTCS1.tif]

1.2系統(tǒng)架構(gòu)

本框架設(shè)計(jì)主要包括系統(tǒng)架構(gòu)設(shè)計(jì)以及模塊設(shè)計(jì)兩大部分。架構(gòu)設(shè)計(jì)是基礎(chǔ)，模塊設(shè)計(jì)是核心。體系架構(gòu)設(shè)計(jì)的目的是根據(jù)設(shè)計(jì)目標(biāo)，確定總體結(jié)構(gòu)中各模塊的分工、任務(wù)邊界以及協(xié)作機(jī)制。根據(jù)設(shè)計(jì)流程，確定整體架構(gòu)3個(gè)層次：（1）獨(dú)立開放的模型創(chuàng)建環(huán)境；（2）自動(dòng)快捷的模型文件轉(zhuǎn)換環(huán)境；（3）操作簡(jiǎn)便的模型復(fù)合及運(yùn)行環(huán)境。

1.3模塊設(shè)計(jì)

模塊是從用戶需求角度，對(duì)體系結(jié)構(gòu)功能和任務(wù)有機(jī)地劃分。模塊設(shè)計(jì)時(shí)，需根據(jù)各模塊任務(wù)、邊界和工作流程，構(gòu)建清晰的數(shù)據(jù)結(jié)構(gòu)，完成模塊菜單以及人機(jī)交互界面設(shè)計(jì)，同時(shí)完成模塊的輸入輸出等功能[10]。結(jié)合框架的核心功能，設(shè)計(jì)了模型創(chuàng)建模塊、模型解析模塊、模型轉(zhuǎn)換模塊、模型復(fù)合及運(yùn)行模塊等4個(gè)模塊。模塊之間可獨(dú)立運(yùn)行，但又相互協(xié)作，無(wú)縫銜接，貫穿整個(gè)生成周期。

1.3.1模型創(chuàng)建模塊

微軟的VS2010開發(fā)環(huán)境下，結(jié)合第三方控件MathMLControl實(shí)現(xiàn)模型創(chuàng)建模塊。建模用戶可借助其數(shù)學(xué)公式編輯功能以及可視化工具箱，有效地完成較復(fù)雜的數(shù)學(xué)表達(dá)形式。保存后自動(dòng)將模型表達(dá)轉(zhuǎn)換為符合MathML語(yǔ)法格式的XML類型文件。

1.3.2模型解析模塊

針對(duì)文檔數(shù)學(xué)公式中所涉及的MathML各種符號(hào)表達(dá)，如標(biāo)志符、操作符、數(shù)字、文本等，模塊將依據(jù)后述的文法規(guī)則，采用遞歸下降語(yǔ)法和語(yǔ)義分析方法，結(jié)合標(biāo)準(zhǔn)的C#函數(shù)將其解析成C#中間代碼。解析程序使用的核心類（圖2）對(duì)應(yīng)算術(shù)和代數(shù)運(yùn)算符、分式和根式運(yùn)算符、上下標(biāo)等符號(hào)的表示以及相應(yīng)的語(yǔ)義解析。

1.3.3模型轉(zhuǎn)換模塊

該模塊提供將C#中間代碼轉(zhuǎn)化為標(biāo)準(zhǔn)XAML工作流文件的轉(zhuǎn)換環(huán)境。為實(shí)現(xiàn)轉(zhuǎn)換過程的通用化，采用了VS2010中的T4文本模板。所設(shè)計(jì)的模板可以根據(jù)模型公式左右兩邊的變量自動(dòng)生成輸入及輸出參數(shù)。最后采用動(dòng)態(tài)編譯執(zhí)行技術(shù)將包含模型參數(shù)及運(yùn)算流程的中間代碼序列化為XAML文件。

1.3.4模型復(fù)合及運(yùn)行模塊

此模塊提供工作流文檔復(fù)合和運(yùn)行的環(huán)境，其核心就是一個(gè)內(nèi)嵌WF工作流引擎[11]、能獨(dú)立運(yùn)行、界面友好的可承載自定義流程設(shè)計(jì)器。包括如下功能：

（1）模型導(dǎo)入。模型導(dǎo)入的過程即為動(dòng)態(tài)加載工作流文件的過程，其實(shí)質(zhì)是將帶自定義輸入?yún)?shù)的XAML文檔進(jìn)行反序列化，并將文件中的對(duì)象轉(zhuǎn)換為工作流活動(dòng)實(shí)例，最后以圖形方式呈現(xiàn)在設(shè)計(jì)器畫布中。

（2）模型保存。模型保存過程是將設(shè)計(jì)器中的工作流定義序列化為XAML文件。這些已序列化的定義內(nèi)容可以重新加載以便編輯或檢測(cè)，也可以傳遞給生成系統(tǒng)以供編譯，加載并調(diào)用。

（3）模型動(dòng)態(tài)編譯和復(fù)合設(shè)計(jì)。模塊具備動(dòng)態(tài)編譯當(dāng)前已加載的工作流模型并保存為程序集的功能。進(jìn)行模型復(fù)合設(shè)計(jì)時(shí)，設(shè)計(jì)者可以將多個(gè)模型程序集加載至活動(dòng)工具箱，并結(jié)合WWF內(nèi)置的Flowchart、Sequence、Parallel等活動(dòng)一起完成工作流程的設(shè)計(jì)。

（4）模型運(yùn)行。一旦模型復(fù)合設(shè)計(jì)完畢，內(nèi)置的WF工作流引擎將根據(jù)設(shè)計(jì)的流程運(yùn)行。

2系統(tǒng)關(guān)鍵問題及實(shí)現(xiàn)

2.1模型表達(dá)及轉(zhuǎn)換

生成過程的不同階段，模型的表達(dá)形式有所不同。因此，如何將不同階段模型的表達(dá)形式進(jìn)行轉(zhuǎn)換是系統(tǒng)框架設(shè)計(jì)中優(yōu)先考慮的問題。

2.1.1模型符號(hào)表達(dá)及存儲(chǔ)

在模型構(gòu)建環(huán)境中，引入了第三方控件MathMLControl。它是一個(gè)數(shù)學(xué)公式可視化控件，不僅包含了大量的數(shù)學(xué)相關(guān)符號(hào)，如算術(shù)運(yùn)算符號(hào)、導(dǎo)數(shù)符號(hào)、積分符號(hào)等，還提供了強(qiáng)大的數(shù)學(xué)公式編輯功能，可有效進(jìn)行諸如上標(biāo)、下標(biāo)等形式的組合，從而完成較復(fù)雜的數(shù)學(xué)表達(dá)形

[FK（W20][TPTCS2.tif]

式。此外，模型存儲(chǔ)采用了基于XML標(biāo)準(zhǔn)的MathML（MathMarkupLanguage，數(shù)學(xué)標(biāo)記語(yǔ)言）作為模型存儲(chǔ)形式，主要基于：（1）XML作為一種標(biāo)準(zhǔn)的、可擴(kuò)展的、半結(jié)構(gòu)化的標(biāo)記語(yǔ)言，目前已經(jīng)成為許多領(lǐng)域內(nèi)常見的數(shù)據(jù)表示和交換的標(biāo)準(zhǔn)，為模型系統(tǒng)功能的擴(kuò)展提供支持。（2）MathML作為計(jì)算機(jī)之間交換數(shù)學(xué)信息的一種標(biāo)準(zhǔn)，是由W3C（萬(wàn)維網(wǎng)聯(lián)盟）在XML的基礎(chǔ)上制定而成的。利用它可以解決同一數(shù)學(xué)模型在不同平臺(tái)的差異性。由于它提供一個(gè)可視化的模型構(gòu)建環(huán)境，幫助我們顯示、操作和共享數(shù)學(xué)表達(dá)式，有力地支撐了模型的集成與開發(fā)，降低了統(tǒng)一管理各領(lǐng)域模型的難度[12]。其正則文法公式如下所示：

$\to \{Exp\}$

Exp→Term{BinocularOp Term}||BiMark

BinocularOp→-LogicMo-DualMo

LogicMo→Not

DualMo→Abs|Lb|Rb

Term→Factor{BinocularOp Factor}|

Factor→||LogicMo Factor|Func Lb Exp Rb|Abs Exp Abs

BiMark→|||

→LbSeparatorRb

→Exp

通過分析，可以發(fā)現(xiàn)XML文件內(nèi)部不僅包含了基本模型符號(hào)的表達(dá)，也包含了模型數(shù)值或邏輯運(yùn)算符號(hào)的組織形式，是模型表達(dá)的結(jié)構(gòu)形式與模型運(yùn)算推理過程的有機(jī)結(jié)合。

2.1.2工作流模型表達(dá)

工作流文件XAML（eXtensible Application Markup Language，可擴(kuò)展應(yīng)用程序標(biāo)記語(yǔ)言）是微軟為構(gòu)建應(yīng)用程序用戶界面而創(chuàng)建的一種新的描述性語(yǔ)言，提供了一種便于擴(kuò)展和定位的語(yǔ)法來定義和程序邏輯分離的用戶界面，用戶可在創(chuàng)建過程中添加代碼，同時(shí)也可將文件保存到數(shù)據(jù)庫(kù)中。在實(shí)際運(yùn)行時(shí)利用工作流引擎對(duì)文件所包含的工作流活動(dòng)進(jìn)行解析。在模型復(fù)合及運(yùn)行階段，包含模型運(yùn)算過程的XAML文件既能被可承載的自定義工作流設(shè)計(jì)器所識(shí)別和解析，也能快捷地轉(zhuǎn)換為模型程序集，方便模型的復(fù)合。

2.1.3不同模型表達(dá)形式的轉(zhuǎn)換

由于XML文件不能直接轉(zhuǎn)為XAML格式，必須借助一種中間過渡形式完成轉(zhuǎn)換。由于MathML符合上下文無(wú)關(guān)文法，當(dāng)給定一個(gè)表達(dá)式句子，就可以得到一棵相應(yīng)的語(yǔ)法樹，這也為MathML的數(shù)學(xué)語(yǔ)義轉(zhuǎn)換（如映射到其他數(shù)學(xué)系統(tǒng)中的表達(dá)式）、解析以及動(dòng)態(tài)編譯提供了方便。因此首先將MathML語(yǔ)法結(jié)構(gòu)解析轉(zhuǎn)化為包含C#運(yùn)算函數(shù)的程序代碼，然后采用T4模板以及動(dòng)態(tài)編譯技術(shù)將該中間代碼形式轉(zhuǎn)換為包含程序執(zhí)行流程的工作流文件。其中所有的轉(zhuǎn)換細(xì)節(jié)均采用黑盒抽象，對(duì)建模用戶而言是透明的，實(shí)現(xiàn)了轉(zhuǎn)換過程的自動(dòng)化。

2.2WF工作流設(shè)計(jì)器構(gòu)建

為了方便創(chuàng)建、修改、監(jiān)視工作流以及動(dòng)態(tài)生成和加載程序集，設(shè)計(jì)器需解決如下問題：（1）可創(chuàng)建一個(gè)空的應(yīng)用程序作為宿主；（2）提供GUI環(huán)境，包括工作流設(shè)計(jì)、工具箱和屬性等窗格，滿足良好的人機(jī)交互，即一旦將工具箱中的活動(dòng)拖動(dòng)到設(shè)計(jì)畫布上時(shí)，屬性網(wǎng)格可根據(jù)突出顯示的活動(dòng)進(jìn)行更新，從而保證了呈現(xiàn)于不同窗口中的活動(dòng)類、活動(dòng)類實(shí)例對(duì)象以及對(duì)象屬性之間的聯(lián)動(dòng)；（3）內(nèi)嵌WF工作流引擎。

2.3模型程序集編譯、復(fù)合運(yùn)行

雖然DSS子模型對(duì)應(yīng)的XAML文件可以在不被編譯成為程序集的情況下動(dòng)態(tài)地被加載和運(yùn)行，但我們更希望模型能夠以程序集的形式被包含，以方便更多的應(yīng)用程序共享和使用（尤其在模型的復(fù)合階段）。此外，模塊還可以導(dǎo)入已有的程序集，加載其中包含模型的工作流活動(dòng)類至活動(dòng)工具箱。這樣DSS模型的復(fù)合也變成了按需將這些自定義的活動(dòng)拖拽至設(shè)計(jì)器形成復(fù)合鏈的過程。

復(fù)合模型的運(yùn)行一般離不開模型之間數(shù)據(jù)的交換。為解決參數(shù)數(shù)據(jù)的傳遞問題，即讓一個(gè)模型的輸出成為另一個(gè)模型的輸入，在最初設(shè)計(jì)模型工作流參數(shù)類型時(shí)將它們定義為輸入/輸出雙向類型。由于設(shè)計(jì)器內(nèi)嵌的WF工作流引擎支持運(yùn)行時(shí)動(dòng)態(tài)創(chuàng)建新的雙向參數(shù)，這樣可將原本運(yùn)行于不同進(jìn)程之間相互隔離的模型參數(shù)通過這些中間參數(shù)串接起來，從而實(shí)現(xiàn)了數(shù)據(jù)的交流。

3框架應(yīng)用案例

3.1作物模型特征及模型選取

作物生長(zhǎng)模擬模型簡(jiǎn)稱作物模型，是作物科學(xué)中引進(jìn)系統(tǒng)分析方法和應(yīng)用計(jì)算機(jī)后興起的新型研究領(lǐng)域[13]。它是對(duì)作物生長(zhǎng)發(fā)育生理生態(tài)過程基本規(guī)律及其相互關(guān)系的量化表達(dá)，因此具有基礎(chǔ)性、量化性及一般性的特征[14]。已知影響作物產(chǎn)量重要的因素之一是凈光合率（作物生長(zhǎng)率）[15]。包含如下子模型：

（1）總有效光吸收模型

[JZ]Iabs=0.5·（1-ρ）·I0·（1-e-k·L）；

（2）CO2總同化量模型

[JZ]Ag=E·Iabs；

（3）維持呼吸消耗量模型

[JZ]Rm=TC·MC·W；

（4）溫度校正系數(shù)TC

[JZ]TC=Q10[JB（[][SX（]T-Tref10[SX）][JB）]]；

（5）凈光合率-作物生長(zhǎng)率

[JZ][SX（]dwdt[SX）]=CVF·[JB（（][SX（]3344[SX）]·Ag-Rm[JB））]。

3.2模型生成過程驗(yàn)證

根據(jù)設(shè)計(jì)流程，這些作物模型對(duì)應(yīng)的工作流活動(dòng)應(yīng)由前述的4個(gè)模塊相互協(xié)作共同完成。以總有效光吸收模型為例，模型從創(chuàng)建、解析、轉(zhuǎn)換以及活動(dòng)生成的整個(gè)過程如圖3所示。其他模型活動(dòng)的生成過程類似，這里不再贅述。

活動(dòng)創(chuàng)建后，下一步就是構(gòu)建工作流模型，即如何組織這些活動(dòng)形成有效的工作流程。工作流的定義方式一般可采用腳本語(yǔ)言（如ESP、ECA規(guī)則）、圖形（擴(kuò)展的Petri-net）以及混合模式等[16]。如有學(xué)者采用ESP規(guī)則定義了DSS模型集成過程[17]，或采用ECA規(guī)則[18]描述企業(yè)工作流過程，以及利用ECA規(guī)則和模糊Petri-net來定義工作流異常流程等[19]。我們采用了ECA規(guī)則與WF-net混合形式對(duì)工作流模型進(jìn)行定義以及實(shí)現(xiàn)（限于篇幅，另文詳述）。通過模型公式可以看出，總有效光吸收模型Iabs輸出結(jié)果為CO2總同化量的輸入，構(gòu)成串行順序。同理，溫度校正系數(shù)TC的輸出為維持呼吸消耗量的輸入?yún)?shù)之一，它們之間也是串行關(guān)系。兩條串行線運(yùn)行的結(jié)果分別又作為凈光合率的兩個(gè)參數(shù)輸入，且由于它們之間相互獨(dú)立，故又構(gòu)成并行關(guān)系（圖4）。輸入相關(guān)參數(shù)值后，工作流模型運(yùn)行結(jié)果如圖5所示，與預(yù)期結(jié)果一致。

4結(jié)論

基于已知模型的表達(dá)形式，通過建模控件完成模型的創(chuàng)建，將模型的運(yùn)算過程轉(zhuǎn)化為可處理的工作流模型，并在模型實(shí)例化和復(fù)合階段為模型動(dòng)態(tài)創(chuàng)建數(shù)據(jù)交換所需的輔助參數(shù)，最后完成模型的執(zhí)行。從模型工程的角度看，側(cè)重于PIM的物理實(shí)現(xiàn)，其框架原型具備了良好的智能性和可擴(kuò)展性，經(jīng)過實(shí)踐檢驗(yàn)，其最大特點(diǎn)是：

（1）人機(jī)界面友好。提供了方便、人性化的模型創(chuàng)建以及運(yùn)行環(huán)境，具備豐富的數(shù)學(xué)符號(hào)表達(dá)以及支持拖拽功能來完成模型的復(fù)合。

（2）通用性強(qiáng)。采用了通用的XML文件作為存儲(chǔ)中介，并能方便地轉(zhuǎn)化為工作流專用文件XAML。

（3）自動(dòng)化程度高。模型參數(shù)類型及個(gè)數(shù)能自動(dòng)識(shí)別。能在復(fù)合階段動(dòng)態(tài)地創(chuàng)建輔助參數(shù)。

（4）透明性好。建模過程不依賴于程序代碼，避免了建模者與程序代碼的直接接觸。

除了進(jìn)一步優(yōu)化集成系統(tǒng)框架外，還需從以下幾個(gè)方面進(jìn)行探索：①支持更復(fù)雜的模型復(fù)合以及求解算法的改進(jìn)；②模型的持久化及數(shù)據(jù)庫(kù)的管理；③有效地將PIM設(shè)計(jì)與實(shí)現(xiàn)對(duì)接；④支持網(wǎng)絡(luò)服務(wù)應(yīng)用的擴(kuò)展。

[HS2*2]參考文獻(xiàn)：

[1]Er M C. Decision Support Systems：a summary，problems and future trends [J]. Decision Support Systems，1988，4（3）：355-363.

[2]張治. DSS模型庫(kù)管理系統(tǒng)設(shè)計(jì)[J]. 河南科技大學(xué)學(xué)報(bào)：自然科學(xué)版，2004，25（5）：38-42.

[3]趙青松，陳林，孫波，等. 基于Hadoop 的云環(huán)境下作物生長(zhǎng)模型算法的實(shí)現(xiàn)與測(cè)試[J]. 農(nóng)業(yè)工程學(xué)報(bào)，2013，29（8）：179-184.

[4]姜海燕，茅金輝，胥曉明，等. 基于面向服務(wù)架構(gòu)和 WebGIS 的小麥生產(chǎn)管理支持系統(tǒng)[J]. 農(nóng)業(yè)工程學(xué)報(bào)，2012，28（8）：159-166.

[5]胡東波. 模型驅(qū)動(dòng)的決策支持系統(tǒng)研究[D]. 長(zhǎng)沙：中南大學(xué)，2009.

[6]陳雪龍. 面向復(fù)雜決策問題的模型構(gòu)造與管理方法研究[D]. 大連：大連理工大學(xué)，2008.

[7]唐文煒，沈備軍，陳德來. 模型驅(qū)動(dòng)的業(yè)務(wù)流程建模工具[J]. 計(jì)算機(jī)工程，2009，35（24）：262-264.

[8]趙鑫. 基于ECore的作物生長(zhǎng)模型構(gòu)建及模型設(shè)計(jì)工具研究[D]. 南京：南京農(nóng)業(yè)大學(xué)，2013.

[9]姜海燕. 基于生長(zhǎng)模型的智能化作物集成建模輔助系統(tǒng)研究[J]. 中國(guó)農(nóng)業(yè)科學(xué)，2008，41（3）：695-703.

[10]張維理. 智能化海量空間信息分析與地圖制圖軟件包IMAT設(shè)計(jì)及構(gòu)建[J]. 中國(guó)農(nóng)業(yè)科學(xué)，2014，47（16）：3250-3263.

[11]Bukivics B. Pro WF：Windows workflow in .net 4[M]. Apress，2010.

[12]王晨亮. 基于工作流的資源環(huán)境建?？蚣艿脑O(shè)計(jì)與實(shí)現(xiàn)[D]. 濟(jì)南：山東科技大學(xué)，2010.

[13]高亮之. 農(nóng)業(yè)模型學(xué)基礎(chǔ)[M]. 香港：天馬圖書有限公司，2004.

[14]薛林，鄭國(guó)清，戴廷波. 作物生長(zhǎng)模擬模型研究進(jìn)展[J]. 河南農(nóng)業(yè)科學(xué)，2011，40（3）：19-24.

[15]曹衛(wèi)星，羅衛(wèi)紅. 作物系統(tǒng)模擬及智能管理[M]. 北京：高等教育出版社，2003.

[16]Chen L，Li M L，Cao J，et al. An ECA rule-based workflow design tool for shanghai grid[C]//2013 IEEE international conference on services computing. IEEE Computer Society，2005：325-328.

[17]劉松. 事件和參數(shù)雙因素驅(qū)動(dòng)的智能模型集成機(jī)制[J]. 計(jì)算機(jī)工程與應(yīng)用，2012，48（8）：28-31.

[18]Yongchareon S，Liu C，Yu J，et al. A view framework for modeling and change validation of artifact-centric inter-organizational business processes [J]. Information Systems，2015，47：51-81.

[19]Ye Y，Jiang Z，Diao X，et al. Extended event-condition-action rules and fuzzy Petri nets based exception handling for workflow management [J]. Expert Systems with Applications，2011，38（9）：10847-10861.