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