Abstract: A formal approach for integrating Computer-Aided Design (CAD), Computer-Aided Process Planning (CAPP), and shop floor control for rotational components is presented in this paper. It is assumed ...