Towards Model-Integrated Service-Oriented Manufacturing Execution System