In this paper, a component-based system design method is introduced for modeling and optimizing the job-shop scheduling (JSS) system. Several operators are presented for handling the integration of JSS modules and resource sharing. For each operator, the partial schedule and makespan of each component are obtained. The optimal scheduling of a JSS system can be derived from these theoretical results step by step. With the component-based system design methodology, one can not only design a correct system model that is live, bounded, reversible, and terminates properly, but one can also find the optimal scheduling of JSS in a formal way.
展开▼
