形成之诉
摘要1：【形成权】是指依权利人一方意思表示，使权利发生、变更、消灭或者发生其他法律上效果的权利。
【形成之诉】法律规定权利人依诉的形式行使形成权，以判决形成法律关系的，称为形成之诉。形成之诉是原告请求法院变更其某一法律关系之诉，是指以基于一定法律要件的法律状态变动之主张以及请求法院作出宣告该变动之形成裁判为请求内容的诉（变更、创设形成之诉；程序、实体形成之诉）。
摘要2：【注解】通过诉讼程序行使形成权包括确认之诉和形成之诉两种情形：（１）确认之诉——形成权人已经在诉讼程序外以通知的方式行使形成权，因有异议提起诉讼，该诉讼在性质上属于确认之诉；（２）形成之诉——形成权人直接提起诉讼方式行使形成权，该诉讼的性质属于形成之诉。——参考：《民事审判实务问答》250.当事人通过诉讼程序行使形成权的诉讼类型