Finished fixing compiling errors of abstraction_service.cpp