民法上的形成之诉是什么

形成之诉是指原告请求法院运用判决变动已成立或既存的民事关系或民事权利或者特定的法律事实之诉。

民法学概念，指某些形成权的行使，需要提其诉讼，由法院作成判决才能使法律关系发生、内容变更或消灭，该类诉讼即为形成之诉。

形成之诉，是依据判决使权利关系及法律关系发生变动之类型的诉讼。承认这种请求的判决被称为形成判决，而使权利关系及法律关系发生变动的效力就是形成力，在观念上这种判决并没有相对应的强制执行内容，形成判决不具有"仅限于民事执行法讲义意义上"的强制执行之内容。

形成之诉对应实体法的形成权，如离婚之诉，撤销收养关系之诉。