一、解除合同属于形成之诉吗?

解除合同属于形成之诉，属于对双方的合同进行变更处理的诉讼行为。形成之诉，又称为变更之诉或者创设之诉，是原告请求法院变更某一法律关系之诉。法律设立形成之诉的目的主要是使法律状态的变动效果不仅对当事人发生效力，而且对第三人也发生法律效力，所以形成之诉必须在法律有特别规定的情形下才可以提起。形成之诉大多集中在人事诉讼和公司诉讼领域，人事诉讼关涉人类社会生活基本身份关系，有关公司的形成之诉则涉及人数众多的利害关系，因此法律规定由法院以形成判决予以统一变更。

二、形成之诉的相关认定条件是什么?

在形成之诉中，当事人对于现存的法律关系并无争议，而对于现存的法律关系应否变更存在争议。原告胜诉的形成判决在确定时，无需强制执行就自动发生法律关系变动的效果，通常是原告与被告之间既存的法律关系解除或消失，比如解除婚姻关系、解除共有关系等。形成之诉因其形成效果不同，分为实体法上形成之诉与诉讼法上形成之诉。

实体法上形成之诉，是有关实体法上法律状态的变动。形成之诉的形成效果，有只向将来形成实体法上效果的，例如撤销婚姻之诉、离婚之诉、撤销收养之诉、终止收养之诉、宣告终止侵权或撤销其宣告之诉，分割共有物之诉等;有溯及既往形成实体法上效果的，例如撤销认领子女之诉、撤销股东会决议之诉、债权人请求法院撤销债务人诈害行为之诉等。诉讼法上形成之诉，例如再审之诉、撤销除权判决之诉、撤销商务仲裁之诉等。

对于解除合同的行为，与签订合同的情况都是需要由双方协商达成一致意见的，在司法实践中，由于合同的形成和处理是基于实际的合同义务和权利而产生的，所以对于相关事项的处理上，应当严格依据协商一致的原则来进行处理。