Research on Modeling of Satellite On-orbit Operation Procedure