属于。形成之诉是指原告请求法院运用判决变动已成立或既存的民事关系（或民事权利）或者特定的法律事实之诉，所以上诉也属于形成之诉。