【正文】 出現(xiàn)了三個有代表性的學(xué)派，以 Geoffrion 為代表的結(jié)構(gòu)建模，以 Jones 為代表的圖建模和以 Kimbrough 等為代表的邏輯建模。在 DecisionNet 中有多種決策技術(shù)如數(shù)據(jù)集、模型實例、模型模板、算法、求解器、模型語言、建模系統(tǒng)和環(huán)境。而東方的傳統(tǒng)思維有獨特之處 [2427]。這種方法克服了因難于獲得一個標準的系統(tǒng)架構(gòu)而帶來的模型集成上的限制。還有基于三種模型表達而發(fā)展的模型語言如結(jié)構(gòu)建模語言有 SML，邏輯建模語言 TEFA [17]和圖建模語言NETWORKS [8]。如果類型(45)的研究沒有顯著的進展時，類型(6)的研究也是很難深入的。而實現(xiàn)視角則關(guān)注于面向?qū)ο蟮募墒浇－h(huán)境。結(jié)構(gòu)建模允許用戶在不同的抽象層面上以圖形、文本或代數(shù)形式察看模型。關(guān)于知識與模型的爭論始終持續(xù)著，這也反映在決策支持系統(tǒng)的發(fā)展上。299 / 9面向系統(tǒng)建模的模型集成 *唐錫晉 **（中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院系統(tǒng)科學(xué)研究所， 100080）摘要 本文簡述了模型集成有關(guān)的問題。DSS 最初是基于模型的，有優(yōu)化模型、仿真模型、啟發(fā)式模型、其它的描述型模型、預(yù)測模型等等。邏輯建模(logic modeling)是人工智能和數(shù)學(xué)規(guī)劃的一種結(jié)合，主要是應(yīng)用一階邏輯表達模型知識 [7]。不過目前大多數(shù)的理論研究集中于技術(shù)角度。文[14]給出了各種類型的例子。它們的設(shè)計發(fā)展也努力遵循模型實現(xiàn)的四原則。分布式模型集成可能會有兩種不同的形式：分布的建模者對集中的資源，和分步的建模者對分布的資源。而技術(shù)上的進步特別是分布式人工智能領(lǐng)域的成果支持了這方面的深入。供方主要提供兩類技術(shù)：獨立技術(shù)和獨占技術(shù)。這三種表達在發(fā)展中互相融合，也反映了運籌管理與計算機科學(xué)研究的合作態(tài)勢。在過去的 20 多年間，模型集成的主要成就在模型表達。圖 2 為 DecisionNet 的架構(gòu)。軟化的趨勢越來越顯著；人、群體、其世界觀、文化觀等越來越成為系統(tǒng)建模中需要著重分析的因素。自下而上體現(xiàn)系統(tǒng)建模和模型集成實現(xiàn)上的分布式或分散性的活動。這種方式最顯著的優(yōu)點是采用數(shù)據(jù)字典獲得一些元信息，以支持元推理。在這樣的前提下，Geoffrion 認為應(yīng)當更關(guān)注類型(47) 。當一個組織有模型集成的動機時一般立足于戰(zhàn)略性建模，因為有效的戰(zhàn)略規(guī)劃需要集成有關(guān)特定功能和操作的各種模型，如后勤管理系統(tǒng)中的復(fù)雜操作。結(jié)構(gòu)建模(structured modeling)是一種基于圖論的標準的描述型模板，它擴充了數(shù)據(jù)庫技術(shù)中的語義數(shù)據(jù)模型以描述數(shù)學(xué)模型中的復(fù)雜性 [6]。從其他領(lǐng)域，特別是運籌與管理領(lǐng)域，則持相反的觀點，認為模式是一種特殊形式的模型 [1]。模型集成是為了系統(tǒng)建模，其研究始于模型管理，但前者擴展了后者的范圍，特別是在對復(fù)雜的社會經(jīng)濟或環(huán)境問題建模時。模型的增多，就有一個管理以提高效率的問題。圖建模(graph grammars)將模型比喻為圖，從而提供了一種形象化的模型表達方式 [8]。Geoffrion 從結(jié)構(gòu)建模的角度對應(yīng)于結(jié)構(gòu)/過程集成對模型集成方式作了一種劃分：縱深301 / 9(deep)集成和功能 (functional)集成 [12]。 集成建模環(huán)境自 1988 年以來集成建模環(huán)境(integrated modeling environment)就是夏威夷國際系統(tǒng)科學(xué)會議知識與決策支持系統(tǒng)主題中的一個分主題，討論包括模型管理方面所有的論題并圍繞決策支持建模有關(guān)的不同的理論與實踐問題。模型集成支持工具的發(fā)展緊隨技術(shù)進步，如軟件集成提高了支持模板集成的建模環(huán)境的可行程度，互聯(lián)網(wǎng)技術(shù)特別是分布式計算觸發(fā)了新一代的模板集成，還有軟件工程領(lǐng)域基于面向?qū)ο蟮姆治雠c設(shè)計的統(tǒng)一建模語言(unified modeling language –UML)等等。分散式指建模者之間的協(xié)調(diào)不是中央控制的。下面介紹幾個目前有代表性的模型集成的工具。獨立技術(shù)主要是供方開發(fā)的基于 web 的應(yīng)用，它們亦可以獨立于 DecisionNet 運行。模型集成的實現(xiàn)一般采用自上而下或自下而上，而系統(tǒng)方法的導(dǎo)入更體現(xiàn)對問題本身的全面思考從而有助于綜合系統(tǒng)建模，特別是越來越多地關(guān)注于社會組織等“剪不斷，理還亂”的復(fù)雜因素。但這很快變成瓶頸，因為關(guān)系型模型表達和操縱機制上的精巧遮掩了系統(tǒng)建模的復(fù)雜的領(lǐng)域背景，而后者正是系統(tǒng)建模的主要關(guān)注點。它得到美國陸軍研究辦、陸軍人工智能研究中心和 DAPRA 的資助。系統(tǒng)思考即不再僅以還原論的觀點分析問題，而是采用系統(tǒng)的觀點。顯然即使有模型集成工具，一個GEM 的生成是極為費時的。關(guān)系型建模語言則根據(jù)一些數(shù)學(xué)規(guī)劃模型擴展了數(shù)據(jù)庫中常用 SQL 語言。類型(810)可能沒有多少意義，因為多數(shù)基于模型的工作更多地關(guān)注模型的類。文[11]則是過程集成方面的先驅(qū)性的工作，其中也討論了從組織視角和實現(xiàn)視角等方面的考察。本文集中討論模型集成，它源于考慮這樣的問題：面對新問題沒有現(xiàn)成模型時，系統(tǒng)建模者如何利用已有資源（模型和經(jīng)驗）而構(gòu)建一個關(guān)于問題的描述模型，以深入探索？2 模型集成與集成式建模環(huán)境 模型表達在過去的十幾年間模型管理的主要成就體現(xiàn)在模型表達，有三個主要流派：結(jié)構(gòu)建模、邏輯建模和圖建模。知識表達可以是專家系統(tǒng)知識庫中的邏輯形式，亦可以是各種分析形式的表達。怎樣實現(xiàn)模型集成？本文總結(jié)了 3 種方法，自上而下，自下而上和系統(tǒng)方法。20 世紀 70 年代中期數(shù)據(jù)庫技術(shù)發(fā)展開始成熟，人們借鑒數(shù)據(jù)管理上的方法實現(xiàn)模型管理。這種描述和操縱模型的方式在使用可視化程序設(shè)計技術(shù)時特別有利于模型的實現(xiàn)?？v深集成合成兩個以上的模型以創(chuàng)建一個新的模型；新模型采用同樣的表達方式。IME 可加快模型集成的過程，主要用于模型集成的快速實現(xiàn)。Agent 技術(shù)為系統(tǒng)建模和 IME 的發(fā)展提供了新的契機?；ヂ?lián)網(wǎng)具備這兩種特色。4 一些模型集成的工具及應(yīng)用實踐 DOME (Distributed Objectbase