基本的なモデリングの概念

基本モデリング概念( FMC ) は、ソフトウェア集約型システムを記述するためのフレームワークを提供します。簡単に理解できる 半形式的なグラフィカル表記法を使用して、ソフトウェア集約型システムに関するコミュニケーションを重視します。

FMC は、ソフトウェア システムを見る際に 3 つの視点を区別します。

• システムの構造
• システム内のプロセス
• システムの価値領域

FMC は、各観点に専用の図の種類を定義します。FMC 図では、シンプルで無駄のない表記法が使用されています。FMC 図の目的は、技術専門家間だけでなく、技術専門家とビジネスまたはドメインの専門家の間でも、ソフトウェア システムに関するコミュニケーションを容易にすることです。FMC 図は理解しやすいため、支持者の間で人気を博しています。

FMC を使用する場合の一般的なアプローチは、システムの構成構造の高レベル図から始めることです。この「全体像」図は、プロジェクトのすべての関係者とのコミュニケーションの参考資料として役立ちます。その後、高レベル図はシステムの技術的な詳細をモデル化するために繰り返し改良されます。必要に応じて、システムで観察されるプロセスやシステムで見つかった価値ドメインの補足図が導入されます。

FMC は、システムのさまざまな側面をモデル化するために 3 種類の図表を使用します。

• 構成構造図は、システムの静的構造を表します。この図の種類は、FMCブロック図とも呼ばれます。
• 動的構造図は、システム内で観察できるプロセスを表します。この図の種類は、FMCペトリネットとも呼ばれます。
• 値範囲構造図は、システム内の値の構造を表します。この図の種類は、FMC E/R図とも呼ばれます。

すべての FMC 図は二部グラフです。各二部グラフは、頂点が同じセット内の別の頂点に接続されていないという条件で、 2 つの互いに素な頂点セットで構成されます。FMC 図では、一方のセットのメンバーは角張った形で表され、もう一方のセットのメンバーは曲線で表されます。結合されたグラフも二部グラフである場合、FMC 図の各要素は同じタイプの別の図によって洗練できます。このメカニズムにより、関連するすべての抽象化レイヤーを同じ表記法でモデル化できます。

構成構造図は、システムの静的構造と、システム コンポーネント間の関係を表します。システム コンポーネントはアクティブまたはパッシブです。エージェントはアクティブなシステム コンポーネントです。エージェントはシステム内でアクティビティを実行します。ストレージとチャネルは、情報を保存または送信するパッシブ コンポーネントです。

右の画像は、構成構造図の例です。この図には、エージェントOrder Processor、Supplier Manager、Supplier、Online Shopおよび名前のないヒューマン エージェントが含まれています。エージェントは四角形で表されます。エージェントSupplierの点と影は、このエージェントに複数のインスタンスがあることを示しています。つまり、Supplier Manager は1 つまたは複数のサプライヤーと通信します。いわゆるヒューマン エージェントは、システムと対話するユーザーを表します。

この図には、ストレージのOrders、Purchase Order、およびProduct Catalog が含まれています。ストレージは曲線で表されます。エージェントは、ストレージから読み取り、ストレージに書き込み、またはストレージの内容を変更することができます。矢印の方向は、エージェントによって実行される操作を示しています。この図では、Supplier Manager はProduct Catalogの内容を変更することができますが、Order Processor はProduct Catalogの内容を読み取ることしかできません。

エージェントはチャネルを介して通信します。情報フローの方向は、矢印 (図には示されていません)、要求応答シンボル (例:サプライヤー マネージャとサプライヤーの間)、または省略 (例:注文プロセッサとサプライヤー マネージャの間) で示されます。

動的構造はペトリネットから派生します。

「それらは、エージェントによって実行されるアクションを描写し、時間の経過に伴うシステムの動作を表現するために使用されます。したがって、システムがどのように機能しているか、異なるエージェント間でどのように通信が行われるかを明確にします。」^[1]

値範囲構造図 (FMC エンティティ リレーションシップ図とも呼ばれます) は、エンティティ リレーションシップ モデルと比較できます。

「[それらは]値の範囲構造またはトピックを数学的構造として表すために使用されます。値の範囲構造はシステム内の場所における観測可能な値を記述しますが、トピック図は興味深いポイント間のすべての相関関係をカバーするために、はるかに幅広い用途を可能にします。」^[1]

• Knoepfel, Andreas、Bernhard Groene、Peter Tabeling (2005)。「基本的なモデリング概念 - IT システムの効果的なコミュニケーション」Wiley。0-470-02710-X。

• FMCホームページ
• MS-Visio 用 FMC ステンシル
• FMC-コーチングとトレーニング
• [1]