次世代デザイン・メソドロジー

Activity by Contract

IDEF0に基づき、事前条件（Input/Control）と事後条件（Output/Mechanism）を契約として定義する、堅牢なプロセスモデリング手法。

ABCとは何か？

各アクティビティは、その実行に必要な条件と保証される成果物を「契約」として定義します。これにより、責任範囲が明確になり、システムの信頼性が向上します。

伝統的なIDEF0（ICOM）をベースに、現代のシステム開発に最適化。制約（Control）と資産（Mechanism）を上下のハンドルとして明示的にモデル化します。

プロセスは必ず「成果物（Artifact）」と紐づきます。何を作るか、何が必要かというデータの流れを中心にプロセスを組み立てることが可能です。

ABC手法で構築されたプロセスのイメージを視覚的に理解しましょう

１つのアクティビティを中心に、Input（入力）、Output（出力）、Control（制約）、Mechanism（資産/手段）を明確に定義します。これがプロセス設計の最小単位となり、強固な契約（Contract）となります。

複数のアクティビティを繋ぎ、情報の流れを可視化します。各ステップで何が必要で何が生み出されるかが一目で分かり、ボトルネックの発見やプロセスの体系化に役立ちます。

3つのステップでモデルを作成しましょう

サイドバーから「アクティビティ」や「アーティファクト」をキャンバスにドラッグ＆ドロップします。

アクティビティを選択し、プロパティパネルから事前・事後条件、制約、資産の数を調整し、名称を付けます。

関連するハンドル同士をマウスで繋ぎます。青は入力系（受動）、赤は出力系（能動）の色分けとなっています。

サインインなしでも基本的な操作を試すことができます。