甲建筑公司与业主签订的施工合同中约定由甲建筑公司先修建工程，然后按照工程量结算进度款。如果甲建筑公司没有按约定去修建工程，则业主可以行使( )。