MERODE [ 1 ]は、ベルギーのルーヴェン・カトリック大学で開発されたオブジェクト指向エンタープライズモデリング手法です。その名前は、モデル駆動、存在依存性関係、オブジェクト指向開発の頭文字をとったものです。MERODEは、クラス図と状態図という2つの主要な UML 図作成手法を利用して情報システムを構築するための基盤としてドメインモデル(概念モデルとも呼ばれる)を作成する手法です。高レベルの PIM (計算独立モデル ( CIM ) に近い) から始めることで、概念モデリングのビューに関係のない詳細を削除または非表示にすることができ、アプローチを理解しやすくなります。この手法はプロセス代数に基づいており、モデルに対する数学的推論を可能にします。これにより、モデルの内部一貫性と相互完全性、つまりモデル間/モデル内の一貫性と構文品質をチェックできます。自動推論 (「構築による一貫性」) [ 2 ]はオートコンプリート機能にも対応しており、正しいモデルをより迅速に作成できます。
典型的な MERODE 分析または概念化は、 UML クラス図に似た存在依存グラフ (EDG) 、独自の概念であるオブジェクト イベント テーブル (OET)、および有限状態機械のグループという3 つのビューまたは図で構成されます。
MERODEは、ソフトウェア開発においてモデル駆動型エンジニアリングアプローチを推進します。プラットフォームに依存しないドメインモデルを対象とし、実行に十分な完成度、すなわちプラットフォーム固有のモデルおよびコードへの変換を目指します。モデルの自動変換を実現するために、MERODEはUMLの使用を明確な意味論を持ついくつかの明確に定義された構成要素に限定し、「存在依存性」[ 3 ]の概念とオブジェクト相互作用モデリングへの独自のアプローチでこれを補完します。
MERODEモデルは、オープンソースのケースツールJMermaidを使用して作成できます。[ 4 ]このツールでは、モデルの一貫性と変換の準備状況を確認することもできます。
付属のコードジェネレーター[ 5 ] [ 6 ] [ 7 ]を使用すると、完全に動作するプロトタイプを生成できます。ワンクリックでプロトタイプを作成できるため、実用的なアプリケーションに必要なスキルセットが低くなります。モデルをアプリケーションに組み込むことで、プロトタイプの動作をモデルに遡って追跡できるため、モデルの意味的品質を検証できます。MERODEプロトタイプには、テスト結果をモデル内の原因にリンクするフィードバック(テキストとグラフィカル) [ 8 ]が追加されています。