Dataflow Model。一般的に、データの流れに着目してデータフローダイアグラム(図)を使い、視覚的に記述するモデリング方法のことを言います。 SCADEでは、入力変数、出力変数、その両者の関係(振舞い)をブロックダイアグラムを用いて記述します。この時、入出力変数の型を厳密に定義し、型チェックや整合性のチェックを行い、設計時のミスを削除します。これは、形式仕様言語を用いているため、型チェックや整合性のチェックが厳密に行われます。図1は、SCADEデータフローモデルの例で、PI制御をブロックダイアグ