《民法典》第580条第2款之“司法终止”在满足履行不能致使合同目的落空的情形下,赋予了违约方诉请合同解除之权利。除违约方外,该条款的适用主体亦包括守约方,守约方依《民法典》第580条第2款申请合同解除之形成诉权与第563条第1款合同解除之形成权产生了择一性竞合。当事人诉请司法终止应当满足履行不能致使合同目的落空的构成要件。履行不能既包括客观不能也包括主观不能,因履行不能的限制,“金钱债务”以及“双方均不享有解除权”的情形均不属于司法终止的范畴。此时,若认为“合同不值得继续履行”因而应当解除的,可通过基本原则判决/裁决合同解除。就“合同目的落空”这一要件,应以诉请终止一方的合同目的落空为准,合同目的包括典型交易目的和特殊交易目的,在特殊交易目的落空时,即使典型交易目的仍旧可以实现,也可认定为“合同目的落空”。在守约方“迟延”（Gl?ubigerverzug）或应当承担风险导致履行不能的情形中应当否定其终止诉请。若无其他值得保护的利益,在“效率价值体现较少”以及“恶意违约”的情形中,应当否定违约方的终止诉请。依《民法典》第580条第2款合同终止后,当事人就损害赔偿的计算方法有约定的,以约定为先,损害赔偿的计算亦应适用违约金不“过分”高于实际损失的规定。在当事人没有约定时,可采取“替代交易”标准。在过失相抵与损益相抵规则均应适用时,应当先适用损益相抵。为体现对违约行为之否定,同时保证损害赔偿的充分性,损害赔偿的证明标准在违约方诉请合同解除时应从“确定性”这一严格证明标准降至“合理确定性”标准。