プログラムは元のモデルのすべてのプロセッサ機能を持っていない別のシステムモデルに移動するときに正しく動作し続けるために与えられたシステムのモデルのプロセッサ機能を使用するプログラムを可能にする技術。