传统的诉的类型理论将诉划分为给付之诉、确认之诉和形成之诉，在大陆法系国家占通说地位，但该理论试图将所有的诉讼形态不加区分地归入给付之诉、确认之诉和形成之诉是不科学的，会导致诉的类型理论的动摇。其根源在于，将“实体法上的形成之诉”与“诉讼法上的形成之诉”进行机械并列。追溯形成之诉的历史，其本身只解决因实体法的形成权而产生的纠纷。在新的诉的类型理论下，形成之诉回归这一本原。由此，剥离出原属于所谓“诉讼法上的形成之诉”的诸多诉讼形态，给付之诉、确认之诉和“实体法上的形成之诉”构成了原生之诉体系。从更高一个层次对原属于所谓“诉讼法上的形成之诉”的诸多诉讼形态归类，即次生之诉。