By using linear operator semigroup theory, it is shown that the solution obtained by the model is well-posedness. 对模型进行了分析，运用线性算子半群理论研究了模型的解的适定性。
In this paper, by using C0-semigroup theory the existence of a unique positive time-dependent solution of a bulk service queue with finite waiting space is proved. 应用有界线性算子半群理论证明一类成批服务系统的解的存在唯一性和非负性。
