仕様記述言語とかどうだろう。