如果发包人违反合同，承包人可以选择合同中的索赔程序或诉讼程序。