A hybrid framework for the specification of automated material handling systems

This paper presents a hybrid framework that specifies and characterizes the capabilities of generic components in an automated material handling system (AMHS). The framework also provides rules and mechanism for binding these capabilities together so as to facilitate the process of task planning for AMHSs. As a hybrid framework, the formal mathematics of communicating sequential process (CSP) is tightly integrated to the unified modeling language (UML) to provide three important entities, namely, the object structure diagram, object communication diagram and CSP-based state chart to extend the capability of a UML model in specifying the key properties of AMHSs including synchronization, parallelism and communication. The results would bring us a step closer to the generation of a fully automated task-planning executive for AMHSs.