ビジネスモデルイノベーションの形式的記述と検証

抄録

ビジネスモデルイノベーションを形式的に記述し、その実現性を検証するための手法を提案する。

この手法では、モデル化の枠組みとしてビジネスモデルキャンバス(BMC)を、形式的な記述には形式的仕様記述言語の代数的仕様を、また、実現性の検証には等式論理の定理証明器CafeOBJを使用する。

BMCの中でリソースの流れを定型化して記述し、ビジネスモデルパターンを、その記述を組み合わせて、テンプレートとして用意する。

企画・立案段階で、パターンを組み合わせてイノベーションの構想を練る中で、テンプレートを利用して形式的な記述を完成させ、CafeOBJで実現性を検証する。