形成之诉是指原告请求法院以判决改变或消灭既存的某种民事法律关系的诉。根据不同的分类标准，形成之诉可以分为以下几类：

实体法上形成之诉

只向将来形成实体法上效果的：例如撤销婚姻之诉、离婚之诉、撤销收养之诉、终止收养之诉、宣告终止侵权或撤销其宣告之诉、分割共有物之诉等。

溯及既往形成实体法上效果的：例如撤销认领子女之诉、撤销股东会决议之诉、债权人请求法院撤销债务人诈害行为之诉等。

诉讼法上形成之诉

再审之诉：请求法院重新审理已经发生法律效力的判决、裁定。

撤销除权判决之诉：请求法院撤销已经发生法律效力的除权判决。

撤销商务仲裁之诉：请求法院撤销已经发生法律效力的商务仲裁裁决。

其他形成之诉

第三人撤销之诉：非因自身原因没有参加到他人之间的审判程序，针对双方当事人之间生效判决对其不利部分予以撤销的请求。

这些形成之诉的目的在于通过法院的判决来改变或消灭既存的法律关系，从而产生相应的法律效力。形成之诉通常涉及法律关系的重大调整，如合同的解除、婚姻的撤销等，并且需要遵循法律规定的程序和条件。

建议在提起形成之诉时，当事人应当充分了解相关法律法规，明确诉讼请求和理由，并提供充分的证据支持其主张。