诉讼程序属于程序性法律程序中的公力救济型程序。一般而言，诉讼程序可以解释为司法机关和案件当事人在其他诉讼参与人的配合下为解决案件而分阶段又相连贯地顺次进行的全部活动以及由此产生的诉讼关系的总和。

诉讼中止是指在诉讼过程中，诉讼程序因特殊情况的发生而中途停止的一种法律制度。

当事人违反约定将仲裁协议范围内的争议提起诉讼，法院应拒绝受理或中止诉讼程序，以支持仲裁。但是，法院是应主动中止诉讼程序，还是只能应对方当事人的请求中止诉讼程序，以及法院基于何种理由中止或拒绝中止诉讼程序，都是需要加以研究和明确的问题。

根据仲裁国际立法、国内立法以及实践，一方当事人就仲裁协议范围内的争议提起诉讼，只有在另一方当事人提出执行该仲裁协议的请求时，法院才能中止诉讼程序。换言之，法院一般只依据当事人的申请中止诉讼程序，而不主动依职权中止诉讼程序。在起草1958年《关于承认及执行外国仲裁裁决的公约》(以下简称《纽约公约》)的过程中，英国代表曾经建议，法院不仅可以依当事人的申请而且可以自行决定将争议交付仲裁。英国的建议遭到了以土耳其、以色列为代表的多数国家的反对，他们认为，仲裁协议的双方当事人愿意将争议交给法院审理时，法院不应享有强制仲裁的权力。最后，《纽约公约》采纳了当前的条文，不允许法院自行中止诉讼程序。

延伸阅读：

什么是刑事诉讼中止

发生诉讼时效中止的时间

不允许法院主动依职权或自行中止诉讼程序，无疑是有其理论依据和现实基础的。因为根据意思自治原则，既然当事人有协商订立仲裁协议，选择以仲裁方式解决其争议的自由，那么当事人也应有通过明示或默示方式放弃仲裁的自由，只要他们彼此之间能就此达成一致。一方当事人不顾仲裁协议的存在而提起诉讼，已表明该方当事人放弃仲裁协议的意愿，另一方当事人在此情况下，如果没有援引仲裁协议就法院的管辖权提出抗辩，而是实质性地参与诉讼，进行答辩甚至提出反诉，则亦表明其对仲裁协议的放弃。也就是说，双方当事人已通过其提起诉讼和参与诉讼的行为，默示地达成了放弃仲裁协议的一致。对此，法院理应予以尊重，并及时行使其已经合法取得的管辖权，为当事人提供司法救济。否则，将可能陷当事人于打仲裁不愿、打诉讼不能的尴尬境地。

当事人以仲裁协议的存在请求法院中止诉讼程序，法院是否准许，往往还需视仲裁协议及当事人的有关情况而定。例如，在仲裁国际立法、国内立法以及实践中，通常会有关于仲裁协议不是无效的、失效的、不可执行的，或申请方当事人未实质性地参与诉讼程序等方面的要求，否则法院可以拒绝当事人的请求，而继续诉讼程序。在有的国家，还曾有过区分国内仲裁协议和国际仲裁协议，适用宽、严不同的标准来决定是否中止诉讼程序的做法。