## Memo ## Abstract OASIS TOSCAは、異種クラウド間で複雑なアプリケーションを管理する問題を解決することを目的としており、アプリケーションを記述するためのベンダーにとらわれない標準的な言語を提供する。TOSCAは、型付けされたコンポーネントのオーケストレーションとしてクラウドアプリケーションを定義することを可能にし、他のTOSCAアプリケーションとマッチングすることでインスタンス化することができる。 本稿ではまず、シミュレーションの概念に基づく、アプリケーションの振る舞いを考慮した2種類のマッチング（完全マッチングとプラグインマッチング）を紹介する。次に、シミュレーションの概念を緩和することで、プラグイン・マッチングの概念を拡張し、ある操作と一連の操作のマッチングを可能にする。また、このような緩和されたシミュレーションを計算するためのコイン帰納的手続きを提示し、その手続きの終了性、健全性、完全性を正式に証明する。