概要 メタモデル/サロゲートモデルはモデルのモデル、つまり回路、システム、またはソフトウェアのようなエンティティの実際のモデルの簡略化されたモデルです。[ 3 ] [ 4 ] メタモデルは、入力と出力の関係を表す数学的な関係またはアルゴリズムです。モデルは 現実世界 の現象の抽象化であり、メタモデルはモデル自体の特性を強調する別の抽象化です。モデルは、コンピュータプログラムが記述されたプログラミング言語の文法に準拠するのと同じように、メタモデルに準拠します。さまざまな種類のメタモデルには、多項式方程式、ニューラルネットワーク、クリギング などがあります。「メタモデリング」とは、特定のドメイン内の「概念」(物、用語など)の集合を構築することです。メタモデリングは通常、出力と入力の関係を研究し、その動作を表す適切なメタモデルを適合させることを含みます。
メタモデルの一般的な用途は以下のとおりです。
交換または保存する必要のある意味 データのスキーマ として 特定の方法やプロセスをサポートする言語として 既存情報の追加的な意味を表現するための言語として 実行時に幅広い種類のモデルと連携するツールを作成するためのメカニズムとして 言語の文をモデル化し、自動的に探索するためのスキーマとして、自動テスト合成への応用も視野に入れている。 時間、コスト、または計算負荷を削減する必要がある場合に使用する、より高精度のモデルの近似値として メタモデリングは「メタ」な性質を持つため、メタモデルの実践と理論は、 メタ サイエンス、メタ哲学 、メタ理論 とシステム 論、そしてメタ意識といった分野と関連があります。この概念は数学 において有用であり、コンピュータサイエンス やコンピュータ工学 /ソフトウェア工学 において実用的な応用例があります。本稿では、後者の分野に焦点を当てます。
トピック メタオブジェクト機能の 図解米国FEA ビジネス参照モデル [ 5 ] オントロジー の例DoDAFメタ モデル
オントロジーとの関係 メタモデルはオントロジー と密接に関連しています。どちらも概念間の関係を記述および分析するためによく使用されます。[ 7 ]
オントロジー:語彙を使用するための文法を利用して、特定の宇宙または談話領域 内で意味のある何かを表現する。文法は、オントロジーの統制語彙の用語をどのように組み合わせて使用できるかについて、整形式のステートメント、主張、クエリなどとは何かを規定する(形式的制約)。[ 8 ] メタモデリング:ドメイン固有のモデルがどのように構築されるかの明示的な記述(構成要素とルール)と考えることができます。特に、これはドメイン固有の表記法の形式化された仕様を含みます。通常、メタモデルは厳密なルールセットであり、常にそれに従うべきです。 [ 9 ] 「有効なメタモデルはオントロジーですが、すべてのオントロジーがメタモデルとして明示的に モデル化されているわけではありません。」[ 8 ]
ソフトウェアエンジニアリングにおいては、いくつかの種類 のモデル(およびそれに対応するモデリング活動)を区別することができる。
参考文献 ↑ David R. Soller 他 (2001)国立地質図データベース第 3 段階の進捗報告: 地図情報のオンラインデータベースデジタルマッピング技術 '01 -- ワークショップ議事録 米国地質調査所オープンファイルレポート 01-223。 ↑ Saraju Mohanty 、第12章 メタモデルに基づく高速AMS-SoC設計手法、「 ナノエレクトロニクス混合信号システム設計 」、 ISBN 978-0071825719 および0071825711、第1版、マグロウヒル、2015年。↑ Oleg Garitselov、 Saraju Mohanty 、Elias Kougianos、「ナノCMOS回路の高速かつ正確なシミュレーションのためのメタモデルの比較研究( 2015年9月23日にWayback Machine に アーカイブ)」、IEEE Transactions on Semiconductor Manufacturing (TSM)、第25巻、第1号、2012年2月、pp. 26–36。 ↑ Saraju Mohanty メタモデリングによるナノスケール回路の超高速設計探索、 Wayback Machine に 2015 年 9 月 23 日に アーカイブ 、招待講演、Semiconductor Research Corporation (SRC)、Texas Analog Center for Excellence (TxACE)、2012 年 4 月 27 日。 ↑ FEA (2005) FEA 記録管理プロファイル、バージョン 1.0。2005年 12 月 15 日。 ↑ 国際標準化機構 / 国際電気標準会議、2007 年。ISO /IEC 24744。ソフトウェア エンジニアリング - 開発方法論のメタモデル。 ↑ E. Söderström 他 (2001)「プロセスモデリング言語を比較するためのフレームワークに向けて」、 Lecture Notes In Computer Science 、第 2348 巻、第 14 回国際先端情報システム工学会議議事録、600 – 611 ページ、2001 年 1 2 ピドコック、ウッディ (2003)、「 語彙、分類体系、シソーラス、オントロジー、メタモデルの違いは何ですか?」 、 2009年10月14日に オリジナル からアーカイブ 、 2009年 10月10日に取得 ↑ Ernst, Johannes (2002), What is metamodeling, and what is it good for? , 2011年10月9日に オリジナル からアーカイブ済み、 2009年 10月9日 取得 ↑ Saraju Mohanty および Elias Kougianos、「 ナノ CMOS 発振回路の多項式メタモデルに基づく高速最適化( 2014 年 8 月 10 日 Wayback Machine に アーカイブ )」、Springer Analog Integrated Circuits and Signal Processing Journal、第 79 巻、第 3 号、2014 年 6 月、pp. 437–453。 ↑ Jean-Marie Favre: Towards a Basic Theory to Model Driven Engineering. Wayback Machine に 2006 年 10 月 15 日に アーカイブされました。 ↑ AtlanticZoo 2006年4月29日にWayback Machine に アーカイブされました。
さらに読む Saraju Mohanty (2015). 「第12章 メタモデルに基づく高速AMS-SoC設計手法」『ナノエレクトロニクス混合信号システム設計 』 McGraw-Hill。ISBN 978-0071825719 。Booch, G.、Rumbaugh, J.、Jacobson, I. (1999)、『統一モデリング言語ユーザーガイド』 、カリフォルニア州レッドウッドシティ:Addison Wesley Longman Publishing Co., Inc. JP van Gigch 、『システム設計モデリングとメタモデリング』 、プレナムプレス、ニューヨーク、1991年Gopi Bulusu、hamara.in、2004年モデル駆動型変革 PC Smolik、「Mamboメタモデリング環境」 、博士論文、ブルノ工科大学、2006年 ゴンザレス=ペレス、C. および B. ヘンダーソン=セラーズ、2008 年。『ソフトウェアエンジニアリングのためのメタモデリング』チチェスター(英国):ワイリー。210 ページ。ISBN 978-0-470-03036-3 MA Jeusfeld、M. Jarke、J. Mylopoulos 、2009年。『メソッドエンジニアリングのためのメタモデリング』。ケンブリッジ(米国):MIT Press。424ページ。ISBN 978-0-262-10108-0 オープンアクセスはhttps://conceptbase.sourceforge.net/2021_Metamodeling_for_Method_Engineering.pdfから可能です。 G. Caplat Modeles & Métamodeles 、2008 - ISBN 978-2-88074-749-7 (フランス語) Fill, H.-G.、Karagiannis, D.、2013年。「ADOxxメタモデリングプラットフォームを使用したモデリング手法の概念化について」 、エンタープライズモデリングと情報システムアーキテクチャ、第8巻、第1号、4-25ページ。