WLMにおいて、キュー内の作業項目を処理するために複数のBot Runnerをグループ化したものを何と呼ぶか。

デバイスプールは、ワークロードを並列処理するためにグループ化された複数のBot Runnerデバイスの集合である。