Theory of AI-driven scheduling (TAIS): a service-oriented scheduling framework by integrating theory of constraints and AI | Synapse