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

形成之诉，是依据判决使权利关系及法律关系发生变动之类型的诉讼。承认这种请求的判决被称为形成判决，而使权利关系及法律关系发生变动的效力就是形成力，在观念上这种判决并没有相对应的强制执行内容，不过，诸如户籍登记等广义的执行则另当别论，换言之，形成判决不具有“仅限于民事执行法讲义意义上”的强制执行之内容。