元建模是一 種在特定 領域 內 構建 「概念 」(如事件、 條件等)集合的 過程。它涉及建立用以刻 畫某 種建模 語言的元模型, 並提供支持 該建模 語言的建模工具。元模型是另一 種抽象, 關注模型本身的 屬性,可以看作是 對模型的抽象。模型 應 該服 從它元模型的定 義, 類 似於 電腦程式服 從 程式語言 語法定 義。
元建模的 套用 包括作 為需要交 換或存 儲的 語 義 數 據的概要、支持特定的方法或 過程的 語言、表 達 現有信息 額外的 語 義的 語言。此外,元建模的 「元 」特性使其 實 踐和理 論 與科 學 學、元哲 學、超理 論和系 統 學以及元意 識相 關。
在 軟體工程中,模型的使用越 來越普遍,相 對於 傳 統的以代 碼 為基 礎的 發展技 術。模型 應 於 一個元模型保持一致。目前模型 驅 動工程(MDE)的最活 躍分支是Object Management Group(OMG)提出的模型 驅 動架 構(MDA)解 決方案。 該解 決方案 基於 語言的使用,描述被 稱 為元 對象 機制或MOF的元模型。OMG提出的典型元模型是UML,SysML,SPEM或CWM。 國 際 標準化 組 織(ISO)也 發表了元模型的 標準ISO/IEC 24744。
元 數 據建模是元建模的一 種,在 軟體工程和系 統工程中 用於分析、 構建 適 用於 問 題的 預定 義 類的模型。模型 驅 動工程(MDE) 一個重要的里程是系 統使用模型 轉 換 語言,如OMG提出的QVT 標準,查 詢/ 視 圖/ 變 換模型。QVT 基於元 對象 機制或MOF。
此外,元模型 與本 體密切相 關, 兩個 經常被用 來描述和分析的概念之 間的 關係。本 體:在特定事物 範圍或 論述 領域 內,使用 詞彙、利用 語法表述一些有意 義事情。 語法指定 一個完整的 聲明, 斷言,查 詢等是 什麼意思。