【正文】 d Modeling and Evaluation)DOME 是 MIT 的 CAD 實驗室自 1995 年開始的 W. David 教授主持的最早由美國國家科學(xué)基金和福特公司資助的一個項目，它提供了一個分布式建模環(huán)境，其中包括異質(zhì)數(shù)據(jù)圖 1 DOME 的架構(gòu)304 / 9庫、模型和工具，注冊用戶可從中獲得或提供與其領(lǐng)域相關(guān)的仿真資源，進行協(xié)同工作，評價不同方案 [28]。獨占技術(shù)是DecisionNet agent 提供的界面和動態(tài)控制等技術(shù)。對這些復(fù)雜議題或論題進行綜合系統(tǒng)的思考是建立系統(tǒng)概念模型或形成設(shè)想的必經(jīng)之路，也是系統(tǒng)論證過程的起點。類似于數(shù)據(jù)管理，在模型集成的理論研究和集成建模環(huán)境長期充斥著數(shù)據(jù)管理的思想，這體現(xiàn)在模型集成在上個世紀 80 年代到 90 年代初期迅速發(fā)展期中。該項目旨在李用戶聯(lián)網(wǎng)技術(shù)的優(yōu)勢增進決策技術(shù)的可用性、可重用性和相互操作性 [30]。正如著名系統(tǒng)科學(xué)家阿可夫所講：“形成問題、解決問題、采取行動是同時進行的三個交互過程” [23]。在TOVE 中有關(guān)于活動、狀態(tài)、時間、資源、庫存、定貨需求和部件等的本體，有關(guān)本體的知識視為原子知識，可用于演繹推理時回答常識問題。沒有一種代數(shù)建模語言支持元表達或推理。它更適合處理更難研究的集成類型，所以功能集成比縱深集成更實際些。給定模型結(jié)構(gòu)變化的范圍，人們怎樣才能判定集成的模型是有效的？在這方面最著名的工作是Geoffrion 的結(jié)構(gòu)建模。另一方面，互聯(lián)網(wǎng)技術(shù)自 90 年代以來的迅猛發(fā)展為模型集成與管理帶來了新的機遇和挑戰(zhàn)，如分布式技術(shù)。從知識工程來看，知識可定義為一種模式(pattern)，而模型是一種特殊形式的模式。文章最后并例舉目前比較常用的模型集成平臺和一些典型的模型集成的例子。由于數(shù)學(xué)模型的結(jié)構(gòu)不能顯性表達，簡單套用數(shù)據(jù)管理的方法實現(xiàn)模型管理有很大的局限，因為建模是復(fù)雜的、迭代的過程，于是發(fā)展了支持建模過程的模型管理。這三種模型表達方式相互借鑒，相互融合也是模型表達重要的研究領(lǐng)域 [9,10]。功能集成并不產(chǎn)生同樣表達方式的新模型。在模型實現(xiàn)過程中需要考慮 4 個原則：①模型數(shù)據(jù)的獨立性；②模型求解器的獨立性；③模型模板的獨立性；④元表達和元推理。馬里蘭大學(xué)開發(fā)的集成建模工具箱(integrating modeling toolkit – IMT)是一個功能全面可擴展的集成建模環(huán)境，其中可定義并能共同使用模型組件，建模者可創(chuàng)建由 IMT agent 組成的 IMT 世界，這些 agent 在建模過程中完成各自的任務(wù)。在最近的一項研究中，Dolk 的分布式集成建模思路是將一個包含決策矩陣的數(shù)據(jù)倉庫、包含結(jié)構(gòu)化的決策模型的模型倉303 / 9庫和運用 UML 和基于組件的插件等相結(jié)合，以增強包括優(yōu)化、統(tǒng)計和其他建模模板的模型求解器的交叉表分析功能 [20]。圖 1 為的 DOME 的體系結(jié)構(gòu)。 Bhargava 等實現(xiàn)了分別以 AMPL 和GAMS 建模環(huán)境的兩類 agent，包括了有關(guān)供方與用戶間談判的不同設(shè)計 [31]。信息技術(shù)的進步對近期模型集成的發(fā)展起到了加速的作用，但復(fù)雜系統(tǒng)建模仍然需要新的視角。作為 DSS 核心的模型管理的擴展，模型集成的研究因信息技術(shù)的進步和人們探索復(fù)雜問題的深入而演化得更豐富多彩，成為名副其實的活躍交叉研究領(lǐng)域。 DecisionNet DecisionNet 是一個 4 年（9599）的研究項目，由美國海軍研究生院的 ，卡內(nèi)基梅隆大學(xué)的 和德國 Humboldt 大學(xué)的 合作進行。重要的是弄清模型集成的目的（所要分析的系統(tǒng)） ，這需要對問題或系統(tǒng)的更深入和更廣泛的了解。以企業(yè)集成為背景，多倫多虛擬企業(yè) TOVE (TOronto Virtual Enterprise)就是一個試圖包括企業(yè)集成眾多議題的一個項目 [19]，探討了許多問題，如是否存在一個通用企業(yè)模型(generic enterprise model)？它能否準確定義？所有的知識都可以明確表達嗎？如何判別好的企業(yè)模型？組織會接受它們嗎？TOVE 的可重用表達是關(guān)于工業(yè)概念的本體化工程。AMPL 支持模型數(shù)據(jù)和求解器獨立，但不支持模板獨立。這樣的偏序關(guān)系用于指導(dǎo)研究投入的分配是很謹慎的，因為功能集成不必像縱深集成那樣協(xié)調(diào)不同的模型類或?qū)嵗?。目前有關(guān)研究主要在化解沖突和模型表達上。實際上，深入的研究走向?qū)⒗碚撗芯砍晒麘?yīng)用于現(xiàn)實的復(fù)雜性，涌現(xiàn)了一批面向特定領(lǐng)域或問題的建模支持軟件。關(guān)于模型集成的研究因領(lǐng)域人員對模型的理解而有所不同，尤其體現(xiàn)在運籌/管理科學(xué)和信息系統(tǒng)領(lǐng)域人員對此問題的認識上，實際表現(xiàn)為對模型與知識的區(qū)別。關(guān)鍵詞 模型 系統(tǒng)建模 模型集成1 引言使用模型就像找專家咨詢來幫助解決問題。建模過程包括識別問題、創(chuàng)建、實現(xiàn)、驗證、求解、分析和維護模型等任務(wù)，支持建模過程即提供相應(yīng)的工具，這些工具有任務(wù)表達的語言并能執(zhí)行完成任務(wù)的操作。 集成方式模型集成有兩類廣泛的議題，即結(jié)構(gòu)(scheme)集成和過程(process )或求解器的集成 [11]。通過疊加一個計算議程而協(xié)調(diào)模型的運算，議程規(guī)定了如何實現(xiàn)功能集成。電子數(shù)據(jù)表和計劃系統(tǒng)是很流行的模型實現(xiàn)工具；但它們不支持模型數(shù)據(jù)的獨立性，因為每個電子數(shù)據(jù)表模型是一個模型實例。IMT agent 的核心集合可以描述一般性的、模塊化的、分布式的模型組件，它們分別完成諸如簡單計算、仿真、優(yōu)化、GIS 分析和高級的統(tǒng)計分析，這些agent 很容易與上一層的仿真粘合起來，從而集成了不同的模型模板和工具集(基于 agent 技術(shù)的專用 IME[18]。文[21]總結(jié)了自上而下方法在企業(yè)集成遇到的問題，并推薦了自底向上的集成方法。采用 DOME 建模，主要采用自上而下的策略。敏捷的AMPL agent 可為雙方提供重要的知識和推理的需求，GAMS agent 封裝了 GAMS 語言和建模環(huán)境協(xié)調(diào)供方注冊模型并為用戶創(chuàng)建一個運行界面。模型