ここでは特に、相互作用と簡約とよばれる二つの基本的な概念を中心に設計さ れています。また、抽象度の高いアーキテクチャ、機械であり、理論的な解析 もできるようにする示す必要があります。実用的な側面としては、いくつかの アプローチが考えられます。その数々のアプローチに対し研究が行なわれています。