A Formal Framework for Automated Warehouse Task Planning

摘要

This paper presents a formal framework that integrates the object-oriented technique — Unified Modeling Language (UML) and the formal method — Communicating Sequential Process (CSP) to specify the capabilities of an automated material handling system(AMHS) and its components with a set of task-level primitives to facilitate the process of task planning, which results in the action plans for specific tasks. Such plans define the responsibilities of all AMHS components concerned from which the overall task can be achieved The results will bring us a step closer to the generation of a fully automated task-planning executive for warehousing systems.