解除合同通常属于形成之诉，但并非在所有情况下都是如此，需要结合具体情况判断。以下从不同角度为您详细分析：

形成之诉角度

形成之诉，是指当事人请求法院变动现存的某种法律关系的诉讼。在合同纠纷中，当一方当事人请求法院判决解除合同，以改变合同双方原有的权利义务关系时，这符合形成之诉的特点。例如，一方严重违约，另一方请求法院判决解除合同，使合同关系归于消灭。这种情况下，法院的判决具有决定性作用，一旦判决生效，合同即被解除，双方原本依据合同所享有的权利和承担的义务状态也会发生根本性改变。

非形成之诉的例外情况

1. 确认之诉：在某些情况下，解除合同可能是确认之诉。即当事人请求法院确认合同是否已经解除。比如，双方对合同是否已经解除存在争议，一方请求法院予以确认。这种情况下，法院的判决主要是对合同状态的一种确认，而非直接变动法律关系。
2. 给付之诉：解除合同还可能涉及给付之诉。例如，请求对方返还因合同解除而产生的相关财物等。这种情况下，当事人的诉求主要是要求对方履行一定的义务，如返还财物，而非直接变动合同关系。

判断依据

判断解除合同是否属于形成之诉，不能一概而论，需要综合合同约定、解除事由、法律规定等因素。如果有法律明确规定的解除情形，并且也符合法定的程序，那么一般可以认定它是形成之诉。但如果合同里面有对解除的特别约定，或者出现了一些比较有争议的问题，那么可能就需要做更深入的法律分析和判断。

法律建议

• 在涉及解除合同的诉讼中，当事人应明确自己的诉求类型，以便选择合适的诉讼策略。
• 如果对合同解除的法律性质或诉讼类型有疑问，建议及时咨询专业律师，以确保自己的权益得到妥善维护。

如有任何关于合同纠纷的法律问题，欢迎直接向我咨询。我会根据您的具体情况，提供专业、全面的法律建议。