Abstraction of abstraction - an outline of general scheduling platform for space missions, part II

For designing a general scheduling platform, this part of paper discusses logic and process abstraction that can be implemented to different kind of space missions. A logic model extension solution is given to allow defining specific mission related data patterns with custom manipulation methods. The scheduling elements, requirement, inputs and outputs are organized in one solution for estimation and verification. All the scheduling constrains are abstracted into expressions for simplification. A protocol is proposed for reinforcement heuristic algorithms besides internal ones, with which the process of problem solving is controllable. With the basic abstraction methods, a common framework capable for general space mission scheduling is set up, ensuring the general mission scheduling platform with great flexibility and extensibility.